Characterizing rosy theories

DOI10.2178/JSL/1191333848MaRDI QIDQ5422310zbMATH OpenOpenAlexFDO

Authors

Publication date 17 October 2007

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

Full work available at URL https://projecteuclid.org/euclid.jsl/1191333848

zbMATH Keywords

equivalence relation rankrosy theorysuperrosy theorysurgical structurethorn forking

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model theory of ordered structures; o-minimality (03C64)

Recommendations

• Properties and consequences of Thorn-independence
• Consistent amalgamation for þ-forking
• Thorn-forking as local forking
• Thorn orthogonality and domination in unstable theories
• Superrosy dependent groups having finitely satisfiable generics

Cites work

• Corps et chirurgie
• Dimension of definable sets, algebraic boundedness and Henselian fields
• Groups definable in local fields and pseudo-finite fields
• Model theory and algebra. A memorial tribute to Abraham Robinson
• Perfect pseudo-algebraically closed fields are algebraically bounded.
• Properties and consequences of Thorn-independence
• Simple theories
• Stability in geometric theories

Cited in

(29)

• Definable groups in models of Presburger arithmetic
• Residue field domination in real closed valued fields
• Imaginaries in bounded pseudo real closed fields
• The Lascar groups and the first homology groups in model theory
• Superrosy dependent groups having finitely satisfiable generics
• Non-forking and preservation of NIP and dp-rank
• A remark on strict independence relations
• Expansions of o-minimal structures by dense independent sets
• On (uniform) hierarchical decompositions of finite structures and model-theoretic geometry
• Stable types in rosy theories
• Thorn orthogonality and domination in unstable theories
• Pseudo real closed fields, pseudo \(p\)-adically closed fields and \(\mathrm{NTP}_{2}\)
• scientific article; zbMATH DE number 5722537 (Why is no real title available?)
• A geometric introduction to forking and thorn-forking
• Weak one-basedness
• Super/rosy L^k-theories and classes of finite structures
• Consistent amalgamation for þ-forking
• Superrosy fields and valuations
• On linearly ordered structures of finite rank
• AN AXIOMATIC APPROACH TO FREE AMALGAMATION
• On the n-uniqueness of types in rosy theories
• Characterizing model-theoretic dividing lines via collapse of generalized indiscernibles
• A classification of 2-chains having 1-shell boundaries in rosy theories
• Thorn-forking in continuous logic
• Expansions which introduce no new open sets
• Superrosiness and dense pairs of geometric structures
• Dimensions, matroids, and dense pairs of first-order structures
• Notions around tree property 1
• Finite undecidability in PAC and PRC fields

This page was built for publication: Characterizing rosy theories

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