Modular types in some supersimple theories

DOI10.2178/JSL/1190150302MaRDI QIDQ4451735zbMATH OpenOpenAlexFDO

Authors Ludomir Newelski

Publication date 1 March 2004

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150302

zbMATH Keywords

supersimple theorymodular type

Mathematics Subject Classification ID

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

Recommendations

• A modular construction of type theories
• Some remarks on modular regular types
• Modalities in homotopy type theory
• Modular properties of algebraic type systems
• Totally transcendental theories of modules: Decomposition of models and types
• A type system for higher-order modules
• scientific article; zbMATH DE number 1927427
• scientific article; zbMATH DE number 1136099
• Type with module structure and its model of categorical logic
• Model structures on categories of models of type theories

Cites work

• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• Meager forking
• Simple theories
• Small profinite structures
• Supersimple theories
• The geometry of weakly minimal types
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures

Cited in

(4)

• Modularity of proof-nets. Generating the type of a module.
• A type system for higher-order modules
• scientific article; zbMATH DE number 1420853 (Why is no real title available?)
• scientific article; zbMATH DE number 175639 (Why is no real title available?)

This page was built for publication: Modular types in some supersimple theories

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