Using ultrapowers to compare continuous structures
From MaRDI portal
Publication:6073896
DOI10.1016/j.apal.2023.103284arXiv2206.06969MaRDI QIDQ6073896
Publication date: 12 October 2023
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2206.06969
Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Ultraproducts and related constructions (03C20) Continuous model theory, model theory of metric structures (03C66)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Existence of optimal ultrafilters and the fundamental complexity of simple theories
- Realization of \(\varphi \)-types and Keisler's order
- Randomizations of models as metric structures
- Classification theory and the number of non-isomorphic models.
- Randomizing a model
- On \(\vartriangleleft^{*}\)-maximality.
- Keisler's order has infinitely many classes
- On theories of random variables
- A dividing line within simple unstable theories
- Good ideals in fields of sets
- Continuous and random Vapnik-Chervonenkis classes
- Constructing regular ultrafilters from a model-theoretic point of view
- Continuous first order logic and local stability
- Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
- Cofinality spectrum theorems in model theory, set theory, and general topology
- A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
- Reduced direct products
- Simple unstable theories
- SIMPLICITY IN COMPACT ABSTRACT THEORIES
- Thorn-forking in continuous logic
- Hypergraph sequences as a tool for saturation of ultrapowers
- Continuous Model Theory. (AM-58)
- Ultraproducts which are not saturated
This page was built for publication: Using ultrapowers to compare continuous structures
