Weakly Definable Types

DOI10.2307/2000051zbMATH Open0626.03024OpenAlexW4213278056MaRDI QIDQ3028989FDOQ3028989

Laurence Kirby, Anand Pillay

Publication date: 1986

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

zbMATH Keywords

definabilityindependence propertydefinable typesmodels of arithmeticcoheirs2-3 problemheirsweakly stable theories

Mathematics Subject Classification ID

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)

• Typing Weak MSOL Properties
• Title not available (Why is that?)

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)