Using ultrapowers to compare continuous structures

DOI10.1016/J.APAL.2023.103284MaRDI QIDQ6073896zbMATH OpenFDO

Authors H. Jerome Keisler

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

zbMATH Keywords

classification theorycontinuous model theorymetric structuressaturated structuresultrapowers

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50) Continuous model theory, model theory of metric structures (03C66)

Abstract: In 1967 the author introduced a pre-ordering of all first order complete theories where T is lower than U if it is easier for an ultrapower of a model of T than an ultrapower of a model of U to be saturated. In a long series of recent papers, Malliaris and Shelah showed that this pre-ordering is very rich and gives a useful way of classifying simple theories. In this paper we investigate the analogous pre-ordering in continuous model theory.

Cites work

• A dividing line within simple unstable theories
• A geometric introduction to forking and thorn-forking
• Amenability, extreme amenability, model-theoretic stability, and dependence property in integral logic
• Classification theory and the number of non-isomorphic models.
• Cofinality spectrum theorems in model theory, set theory, and general topology
• Constructing regular ultrafilters from a model-theoretic point of view
• Continuous and random Vapnik-Chervonenkis classes
• Continuous first order logic and local stability
• Continuous Model Theory. (AM-58)
• Existence of optimal ultrafilters and the fundamental complexity of simple theories
• Good ideals in fields of sets
• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 3115891 (Why is no real title available?)
• scientific article; zbMATH DE number 3678745 (Why is no real title available?)
• Hypergraph sequences as a tool for saturation of ultrapowers
• Keisler's order has infinitely many classes
• Model theory for metric structures
• On \(\vartriangleleft^{*}\)-maximality.
• On theories of random variables
• Randomizations of models as metric structures
• Randomizing a model
• Realization of -types and Keisler's order
• Reduced direct products
• Simple unstable theories
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Thorn-forking in continuous logic
• Ultraproducts which are not saturated

Cited in

(1)

• The Keisler order in continuous logic

This page was built for publication: Using ultrapowers to compare continuous structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6073896)