Randomizing a model
From MaRDI portal
Publication:1288257
DOI10.1006/aima.1998.1793zbMath0924.03065OpenAlexW1978403934MaRDI QIDQ1288257
Publication date: 15 November 1999
Published in: Advances in Mathematics (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/939e549c552542c7d4db5c50d522901e68ce7eaa
quantifier eliminationBoolean powersmodel completionaxiomatization of the first-order theory of randomizationsrandomization of a structure
Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Quantifier elimination, model completeness, and related topics (03C10)
Related Items
Continuous and random Vapnik-Chervonenkis classes ⋮ Using ultrapowers to compare continuous structures ⋮ A remark on pseudo proof systems and hard instances of the satisfiability problem ⋮ AUTOMORPHISM GROUPS OF RANDOMIZED STRUCTURES ⋮ On theories of random variables ⋮ Thorn-forking in continuous logic ⋮ Definable closure in randomizations ⋮ Definable connectedness of randomizations of groups ⋮ Lévy processes on a first order model ⋮ SEPARABLE MODELS OF RANDOMIZATIONS ⋮ Independence in randomizations ⋮ A Łoś type theorem for linear metric formulas
Cites Work
- Model theory.
- The elementary theory of restricted analytic fields with exponentiation
- On structures defined by mapping filters
- Concerning measures in first order calculi
- Definable Sets in Ordered Structures. II
- Über die Nicht-charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen
- The theory of Boolean ultrapowers
- Limit Ultrapowers
- Measures in Boolean Algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
