Weakly Definable Types
From MaRDI portal
Publication:3028989
DOI10.2307/2000051zbMATH Open0626.03024OpenAlexW4213278056MaRDI QIDQ3028989FDOQ3028989
Publication date: 1986
Full work available at URL: https://doi.org/10.2307/2000051
definabilityindependence propertydefinable typesmodels of arithmeticcoheirs2-3 problemheirsweakly stable theories
Classification theory, stability, and related concepts in model theory (03C45) Models of arithmetic and set theory (03C62)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- An introduction to forking
- Ultrafilters and types on models of arithmetic
- Ranks and definability in superstable theories
- Sous-groupes dรฉfinissables d'un groupe stable
- Models and types of Peano's arithmetic
- Remarks on some theorems of Keisler
- On the number of minimal models
Cited In (2)
Recommendations
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Title not available (Why is that?) ๐ ๐
- Notions of weak genericity ๐ ๐
- FROM RESTRICTED WEAK TYPE TO STRONG TYPE ESTIMATES ๐ ๐
- Weak Theories of Operations and Types ๐ ๐
- Isolated types in a weakly minimal set ๐ ๐
- A weakly definable type which is not definable ๐ ๐
- Definitional Extension in Type Theory ๐ ๐
This page was built for publication: Weakly Definable Types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3028989)