Modular types in some supersimple theories

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

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)

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?)

   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 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Model structures on categories of models of type theories 👍 👎

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)