Modular types in some supersimple theories

DOI10.2178/JSL/1190150302zbMATH Open1039.03026OpenAlexW2053247644MaRDI QIDQ4451735FDOQ4451735

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

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

zbMATH Keywords

supersimple theorymodular type

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures
• Simple theories
• Supersimple theories
• Small profinite structures
• The geometry of weakly minimal types
• Meager forking

Cited In (4)

• Modularity of proof-nets. Generating the type of a module.
• A type system for higher-order modules
• Title not available (Why is that?)
• Title not available (Why is that?)

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)