Simple theories

DOI10.1016/S0168-0072(97)00019-5zbMath0897.03036OpenAlexW4212846603MaRDI QIDQ1377641

Byunghan Kim, Anand Pillay

Publication date: 19 October 1998

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(97)00019-5

zbMATH Keywords

rankLascar strong typessimple theoriesIndependence Theoremnonforking extensions

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)

Related Items (94)

Topological dynamics and the complexity of strong types ⋮ Simple stable homogeneous expansions of Hilbert spaces ⋮ Canonical forking in AECs ⋮ Neostability-properties of Fraïssé limits of 2-nilpotent groups of exponent \(p>2\) ⋮ A remark on strict independence relations ⋮ CONSTRUCTING THE HYPERDEFINABLE GROUP FROM THE GROUP CONFIGURATION ⋮ Simplicity and uncountable categoricity in excellent classes ⋮ The finite submodel property and \(\omega\)-categorical expansions of pregeometries ⋮ Theories with equational forking ⋮ Model theory of endomorphisms of separably closed fields ⋮ Internality and interpretable automorphism groups in simple theories ⋮ On enveloping type-definable structures ⋮ Independence, dimension and continuity in non-forking frames ⋮ Banach spaces and groups -- order properties and universal models ⋮ Forking and independence in o-minimal theories ⋮ Lovely pairs of models: the non first order case ⋮ A note on weak dividing ⋮ Weak one-basedness ⋮ On pseudo-finite dimensions ⋮ On Kim-independence ⋮ Invariant measures in simple and in small theories ⋮ A dichotomy for \(D\)-rank 1 types in simple theories ⋮ An AEC framework for fields with commuting automorphisms ⋮ Burden in Henselian valued fields ⋮ TRANSITIVITY, LOWNESS, AND RANKS IN NSOP THEORIES ⋮ A note on the non‐forking‐instances topology ⋮ Simple generic structures ⋮ Continuous stable regularity ⋮ Lovely pairs of models ⋮ On subgroups of semi-abelian varieties defined by difference equations ⋮ Independence relations for exponential fields ⋮ Kim-independence in positive logic ⋮ Recursive functions and existentially closed structures ⋮ On the Descriptive Power of Probability Logic ⋮ On uncountable hypersimple unidimensional theories ⋮ Notions around tree property 1 ⋮ On \(\vartriangleleft^{*}\)-maximality. ⋮ More on tree properties ⋮ On positive local combinatorial dividing-lines in model theory ⋮ Unnamed Item ⋮ Hyperimaginaries and automorphism groups ⋮ Model theoretic dynamics in Galois fashion ⋮ The Prospects for Mathematical Logic in the Twenty-First Century ⋮ Ax's theorem with an additive character ⋮ On non-forking spectra ⋮ Continuity of SU-rank in unidimensional supersimple theories ⋮ Generalized amalgamation and \(n\)-simplicity ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Uncountable dense categoricity in cats ⋮ Simple stable homogeneous groups ⋮ Schlanke Körper (Slim fields) ⋮ Forking in short and tame abstract elementary classes ⋮ Characterizing rosy theories ⋮ A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING ⋮ One-dimensional asymptotic classes of finite structures ⋮ A supersimple nonlow theory ⋮ GALOIS GROUPS OF FIRST ORDER THEORIES ⋮ \(n\)-simple theories ⋮ An approximate logic for measures ⋮ The Manin-Mumford conjecture and the model theory of difference fields ⋮ The geometry of 1-based minimal types ⋮ Simple-like independence relations in abstract elementary classes ⋮ 2002 Annual Meeting of the Association for Symbolic Logic ⋮ Product of invariant types modulo domination-equivalence ⋮ Compactness and Independence in Non First Order Frameworks ⋮ Supersimplicity and quadratic extensions ⋮ A simple criterion ⋮ Independence in Model Theory ⋮ Group configurations and germs in simple theories ⋮ Modular types in some supersimple theories ⋮ 10th Asian Logic Conference ⋮ Amalgamation of types in pseudo-algebraically closed fields and applications ⋮ INDEPENDENCE IN GENERIC INCIDENCE STRUCTURES ⋮ Properties and consequences of Thorn-independence ⋮ Geometry of forking in simple theories ⋮ On the forking topology of a reduct of a simple theory ⋮ SIMPLICITY IN COMPACT ABSTRACT THEORIES ⋮ 2005 Annual Meeting of the Association for Symbolic Logic ⋮ On PAC and bounded substructures of a stable structure ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories ⋮ Book Review: The birth of model theory: Löwenheim’s theory in the frame of the theory of relatives ⋮ Stable group theory and approximate subgroups ⋮ Generic structures and simple theories ⋮ Pseudofinite structures and simplicity ⋮ The number of types in simple theories ⋮ Strongly determined types ⋮ Elliptic and hyperelliptic curves over supersimple fields in characteristic 2 ⋮ MULTIDIMENSIONAL EXACT CLASSES, SMOOTH APPROXIMATION AND BOUNDED 4-TYPES ⋮ THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES ⋮ Generic pairs of SU-rank 1 structures ⋮ \(\aleph_0\)-categorical structures with a predimension ⋮ Model theory of difference fields ⋮ Supersimple theories ⋮ Properties of forking in ω-free pseudo-algebraically closed fields

Cites Work

• Fundamentals of forking
• Classification theory and the number of non-isomorphic models.
• Groups definable in local fields and pseudo-finite fields
• ℵ₀ -Categorical Structures Smoothly Approximated by Finite Substructures
• Simple unstable theories
• On the category of models of a complete theory
• Forking in Simple Unstable Theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Simple theories