scientific article
From MaRDI portal
Publication:3602612
zbMath1233.03045MaRDI QIDQ3602612
Itaï Ben Yaacov, C. Ward Henson, Alexander Usvyatsov, Alexander Berenstein
Publication date: 12 February 2009
Full work available at URL: http://www.math.uiuc.edu/~henson/cfo/mtfms.pdf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
stabilitymetric spacesimaginariesmeasure algebrascontinuous logicmetric structureultraproduct constructionasymptotic cones of finitely generated groupsomitting types quantifier eliminationstructures based on Banach spaces
Normed linear spaces and Banach spaces; Banach lattices (46B99) Metric spaces, metrizability (54E35) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Models of other mathematical theories (03C65) Classical measure theory (28A99)
Related Items (only showing first 100 items - show all)
Complexity of distances: Theory of generalized analytic equivalence relations ⋮ Between reduced powers and ultrapowers, II. ⋮ Linear Formulas in Continuous Logic ⋮ Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic ⋮ Obstructions to countable saturation in corona algebras ⋮ Logic for metric structures and the number of universal sofic and hyperlinear groups ⋮ Omitting types in logic of metric structures ⋮ Polish spaces of Banach spaces ⋮ A topos for continuous logic ⋮ CONTINUOUS SENTENCES PRESERVED UNDER REDUCED PRODUCTS ⋮ COMPUTABILITY AND THE CONNES EMBEDDING PROBLEM ⋮ Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration ⋮ Separation for isometric group actions and hyperimaginary independence ⋮ Continuous theory of operator expansions of finite dimensional Hilbert spaces and decidability ⋮ The isomorphism theorem for linear fragments of continuous logic ⋮ Unbounded actions of metric groups and continuous logic ⋮ Consistency and interpolation in linear continuous logic ⋮ Between reduced powers and ultrapowers ⋮ Using ultrapowers to compare continuous structures ⋮ On the complexity of the theory of a computably presented metric structure ⋮ Generalized effective completeness for continuous logic ⋮ ℵ0‐categorical Banach spaces contain ℓp or c0 ⋮ A presentation theorem for continuous logic and metric abstract elementary classes ⋮ Continuous stable regularity ⋮ Concrete barriers to quantifier elimination in finite dimensional C*‐algebras ⋮ Maximality of linear continuous logic ⋮ On duality and model theory for polyadic spaces ⋮ Approximate isomorphism of metric structures ⋮ AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES ⋮ On the commutant of \(B(H)\) in its ultrapower ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Covering entropy for types in tracial W<sup>*</sup>-algebras ⋮ The almost sure theory of finite metric spaces ⋮ CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS ⋮ Bounds on continuous Scott rank ⋮ K-theory of co-existentially closed continua ⋮ On Popa’s factorial commutant embedding problem ⋮ On the Descriptive Power of Probability Logic ⋮ Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces ⋮ Thorn-forking in continuous logic ⋮ Existentially closed dimension groups ⋮ AN INVITATION TO MODEL THEORY AND C*-ALGEBRAS ⋮ AUTOMATIC CONTINUITY FOR ISOMETRY GROUPS ⋮ Degrees of and lowness for isometric isomorphism ⋮ ENFORCEABLE OPERATOR ALGEBRAS ⋮ Automorphisms of corona algebras, and group cohomology ⋮ Unnamed Item ⋮ PROOF MINING IN Lp SPACES ⋮ Model theory of 𝐶*-algebras ⋮ Asymptotically hilbertian modular Banach spaces: examples of uncountable categoricity ⋮ Weak containment of measure-preserving group actions ⋮ Independence in randomizations ⋮ ON THE AXIOMATIZABILITY OF C*-ALGEBRAS AS OPERATOR SYSTEMS ⋮ A Łoś type theorem for linear metric formulas ⋮ Maximally highly proximal flows ⋮ Bounds on Scott ranks of some polish metric spaces ⋮ MODEL THEORY AND MACHINE LEARNING ⋮ Hilbert spaces expanded with a unitary operator ⋮ Unnamed Item ⋮ CATEGORICAL SEMANTICS OF METRIC SPACES AND CONTINUOUS LOGIC ⋮ THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES ⋮ Ring-theoretic (In)finiteness in reduced products of Banach algebras ⋮ Amenability and Ramsey theory in the metric setting ⋮ FRAÏSSÉ LIMITS FOR RELATIONAL METRIC STRUCTURES ⋮ The Connes embedding problem: A guided tour ⋮ Polish groupoids and functorial complexity ⋮ The Ramsey property for Banach spaces and Choquet simplices ⋮ On eigenvectors, approximations and the Feynman propagator ⋮ \(\mu\)-abstract elementary classes and other generalizations ⋮ Some geometric properties of metric ultraproducts of finite simple groups ⋮ Uniqueness, universality, and homogeneity of the noncommutative Gurarij space ⋮ Nonseparable UHF algebras. I: Dixmier's problem ⋮ Existentially closed \(\mathrm{W}^*\)-probability spaces ⋮ On a Roelcke-precompact Polish group that cannot act transitively on a complete metric space ⋮ \(C^*\)-algebra distance filters ⋮ The logic of integration ⋮ Applications of model theory to \(C^*\)-dynamics ⋮ Vagueness: where degree-based approaches are useful, and where we can do without ⋮ Definable functions in Urysohn's metric space ⋮ Metric Scott analysis ⋮ A predicate extension of real valued logic ⋮ The model theory of modules of a \(C^*\)-algebra ⋮ Two applications of topology to model theory ⋮ Model-theoretic aspects of the Gurarij operator system ⋮ Retracted article: ``A completeness theorem for continuous predicate modal logic ⋮ Omitting types for infinitary \([0,1\)-valued logic] ⋮ Amalgamation and Ramsey properties of \(L_p\) spaces ⋮ Decision procedures for the conditions true in certain metric structures ⋮ Model theoretic properties of the Urysohn sphere ⋮ Isomorphisms of quotients of FDD-algebras ⋮ The Calkin algebra is \(\aleph_1\)-universal ⋮ More on generic dimension groups ⋮ The Keisler order in continuous logic ⋮ The conjugacy problem for automorphism groups of countable homogeneous structures ⋮ Notes on functions of hyperbolic type ⋮ On pp-elimination and stability in a continuous setting ⋮ Maximal equivariant compactifications ⋮ Subgroups of isometries of Urysohn-Katětov metric spaces of uncountable density ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)
This page was built for publication:
