Definable closure in randomizations
From MaRDI portal
Publication:487692
DOI10.1016/j.apal.2014.11.005zbMath1372.03061arXiv1304.7797MaRDI 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
03B48: Probability and inductive logic
03B50: Many-valued logic
03C40: Interpolation, preservation, definability
03C35: Categoricity and completeness of theories
Related Items
Independence in randomizations, AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES, Definable connectedness of randomizations of groups
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