scientific article; zbMATH DE number 6692129

MaRDI QIDQ2966100zbMATH OpenFDO

Authors Enrique Casanovas

Publication date 6 March 2017

zbMATH Keywords

\(G\)-compactnessforkingNIP theoriessplitting

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45)

Recommendations

• Lascar strong types in some simple theories
• A note on Lascar strong types in simple theories
• Forking types and rank functions in stable theories
• Type decomposition in NIP theories
• Strong Normalization and Equi-(Co)Inductive Types
• Invariant types in NIP theories
• Strong normalization in core type theory
• Strict intersection types for the lambda calculus
• Extensional quotients for type theory and the consistency problem for NF

Cited in

(2)

• Hereditary G-compactness
• Non-forking and preservation of NIP and dp-rank

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2966100)