Definable closure in randomizations
From MaRDI portal
Publication:487692
DOI10.1016/j.apal.2014.11.005zbMath1372.03061arXiv1304.7797OpenAlexW2032269027MaRDI QIDQ487692
Uri Andrews, H. Jerome Keisler, Isaac Goldbring
Publication date: 23 January 2015
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.7797
Probability and inductive logic (03B48) Many-valued logic (03B50) Interpolation, preservation, definability (03C40) Categoricity and completeness of theories (03C35)
Related Items
AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES, Definable connectedness of randomizations of groups, Independence in randomizations
Cites Work
- Unnamed Item
- Definable functions in Urysohn's metric space
- Definable operators on Hilbert spaces
- Pseudofinite and pseudocompact metric structures
- Randomizations of models as metric structures
- Randomizing a model
- On theories of random variables
- SEPARABLE MODELS OF RANDOMIZATIONS
- An approximate Herbrand’s theorem and definable functions in metric structures
- Continuous first order logic and local stability
- Thorn-forking in continuous logic