Weakly Definable Types

DOI10.2307/2000051MaRDI QIDQ3028989zbMATH OpenOpenAlexFDO

Authors Laurence Kirby, Anand Pillay

Publication date 1986

Full work available at URL https://doi.org/10.2307/2000051

zbMATH Keywords

2-3 problemcoheirsdefinabilitydefinable typesheirsindependence propertymodels of arithmeticweakly stable theories

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 3313431
• A weakly definable type which is not definable
• Weak Theories of Operations and Types
• Weak theories of operations and types
• Definability of 1-types in weakly o-minimal theories
• Notions of weak genericity
• FROM RESTRICTED WEAK TYPE TO STRONG TYPE ESTIMATES
• Isolated types in a weakly minimal set
• Definitional extension in type theory
• scientific article; zbMATH DE number 1302061

Cites work

• An introduction to forking
• scientific article; zbMATH DE number 3833933 (Why is no real title available?)
• scientific article; zbMATH DE number 3839927 (Why is no real title available?)
• Models and types of Peano's arithmetic
• On the number of minimal models
• Ranks and definability in superstable theories
• Remarks on some theorems of Keisler
• Sous-groupes définissables d'un groupe stable
• Ultrafilters and types on models of arithmetic

Cited in

(2)

• A weakly definable type which is not definable
• scientific article; zbMATH DE number 6828930 (Why is no real title available?)

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)