Thorn-forking in continuous logic

DOI10.2178/jsl/1327068692zbMath1257.03059arXiv0911.3446OpenAlexW2083064459MaRDI QIDQ5388719

No author found.

Publication date: 19 April 2012

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0911.3446

zbMATH Keywords

randomizationthorn-forkingcontinuous model theoryrosiness

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (10)

A remark on strict independence relations ⋮ Definable functions in Urysohn's metric space ⋮ Model theoretic properties of the Urysohn sphere ⋮ Using ultrapowers to compare continuous structures ⋮ Invariant measures via inverse limits of finite structures ⋮ The almost sure theory of finite metric spaces ⋮ Definable closure in randomizations ⋮ Neostability in countable homogeneous metric spaces ⋮ Independence in randomizations ⋮ AN AXIOMATIC APPROACH TO FREE AMALGAMATION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generic separable metric structures
• Randomizations of models as metric structures
• Randomizing a model
• Continuous and random Vapnik-Chervonenkis classes
• Continuous first order logic and local stability
• A STRONG COUPLING EXPANSION FOR N = 4 SYM THEORY AND OTHER SCFT's
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• SIMPLICITY IN COMPACT ABSTRACT THEORIES
• Topology of the isometry group of the Urysohn space
• Characterizing rosy theories
• Properties and consequences of Thorn-independence

This page was built for publication: Thorn-forking in continuous logic