Generic expansions by a reduct
From MaRDI portal
Publication:5163167
DOI10.1142/S0219061321500161MaRDI QIDQ5163167
Publication date: 3 November 2021
Published in: Journal of Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.11722
Classification theory, stability, and related concepts in model theory (03C45) Models of other mathematical theories (03C65) Quantifier elimination, model completeness, and related topics (03C10)
Related Items (6)
Model theory: combinatorics, groups, valued fields and neostability. Abstracts from the workshop held January 8--14, 2023 ⋮ Companionability characterization for the expansion of an o-minimal theory by a dense subgroup ⋮ Mini-workshop: Topological and differential expansions of o-minimal structures. Abstracts from the mini-workshop held November 27 -- December 3, 2022 ⋮ Kim-independence in positive logic ⋮ FORKING, IMAGINARIES, AND OTHER FEATURES OF ⋮ Independence over arbitrary sets in \(\mathrm{NSOP}_1\) theories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On lovely pairs of geometric structures
- More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\)
- Generic structures and simple theories
- Perfect pseudo-algebraically closed fields are algebraically bounded.
- On \(\vartriangleleft^{*}\)-maximality.
- Quantifier elimination in pairs of algebraically closed fields
- Stability in geometric theories
- Existentially closed exponential fields
- Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
- Some Definability Results in Abstract Kummer Theory
- On model-theoretic tree properties
- Paires de structures stables
- A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
- Idéaux et types sur les corps séparablement clos
- Model theory of difference fields
- Properties of forking in ω-free pseudo-algebraically closed fields
- Interpolative fusions
- On $ω_1$-categorical theories of abelian groups
- Elementary properties of Abelian groups
This page was built for publication: Generic expansions by a reduct