This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While a complete type is omissible in some model of a countable complete...

We prove a strong dichotomy for the number of ultrapowers of a given model of cardinality ≤ 2ℵ0 associated with nonprincipal ultrafilters on ℕ. They are either all isomorphic, or else there are 22ℵ0 many nonisomorphic ultrapowers. We prove the analogous result for metric structures, including C*-algebras and II1 factors, as well as their relative commutants and include several applications. We also show that the CAF001-algebra [Formula: see text] always has nonisomorphic relative commutants in its ultrapowers associated with nonprincipal ultrafilters (...) on ℕ. (shrink)

The purpose of this communication is to survey a theory of liftings, as developed in author's thesis. The first result in this area was Shelah's construction of a model of set theory in which every automorphism of P/ Fin, where Fin is the ideal of finite sets, is trivial, or inother words, it is induced by a function mapping integers into integers. Soon afterwards, Velickovic, was able to extract from Shelah's argument the fact that every automorphism of P/ Fin with (...) a Baire-measurable lifting has to be trivial. This, for instance, implies that in Solovay's model all automorphisms are trivial. Later on, an axiomatic approach was adopted and Shelah's conclusion was drawn first from the Proper Forcing Axiom and then from the milder Open Coloring Axiom and Martin's Axiom. Both shifts from the quotient P/ Fin to quotients over more general ideals P/I and from automorphisms to arbitrary ho-momorphisms were made by Just in a series of papers, motivated by some problems in algebra and topology. (shrink)

We consider various quotients of the C*-algebra of bounded operators on a nonseparable Hilbert space, and prove in some cases that, assuming some restriction of the Generalized Continuum Hypothesis, there are many outer automorphisms.

We use modified Tsirelson's spaces to prove that there is no finite basis for turbulent Polish group actions. This answers a question of Hjorth and Kechris 329–346; Hjorth, Mathematical Surveys and Monographs, American Mathematical Society, Providence, RI, 2000, Section 3.4.3).

We isolate several large classes of definable proper forcings and show how they include many partial orderings used in practice.

We realize the Jiang-Su algebra, all UHF algebras, and the hyperfinite II1factor as Fraïssé limits of suitable classes of structures. Moreover by means of Fraïssé theory we provide new examples of AF algebras with strong homogeneity properties. As a consequence of our analysis we deduce Ramsey-theoretic results about the class of full-matrix algebras.

We conducted an on-line survey to investigate the professor’s idea of “morality” and then to compare their moral thinking at the abstract level with their moral thinking in the real life situations by sampling 257 professors from the University of Novi Sad. We constructed questionnaire based on related theoretical ethical concepts. Our results show (after we performed exploratory factor analysis) that the professor’s idea of “morality” consists of the three moral thinking patterns which are simultaneously activated during the process of (...) their abstract moral thinking. We have identified these patterns in the following manner: deontological, formal and subjective pattern. In addition, our results show that of the three, the subjective pattern is more activated than the other two during their process of the moral thinking at the abstract level. We also discovered that there is a statistically significant difference between professor’s moral thinking patterns activation level at the abstract level and their moral thinking patterns activation level in the real life situation. (shrink)

We prove that the classes of UHF algebras and AF algebras, while not axiomatizable, can be characterized as those C*-algebras that omit certain types in the logic of metric structures.