Theories with few non-algebraic types over models, and their decompositions

DOI10.1090/PROC/15956MaRDI QIDQ5086946zbMATH OpenOpenAlexFDO

Authors Samuel Braunfeld, M. C. Laskowski

Publication date 8 July 2022

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2109.08943

Mathematics Subject Classification ID

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

Recommendations

• Algebraic models of simple type theories. A polynomial approach
• Closed model structures for algebraic models of \(n\)-types
• Totally transcendental theories of modules: Decomposition of models and types
• scientific article; zbMATH DE number 1136099
• Explicit algebraic models for constructive and classical theories with non-standard elements
• Algebraic specifications, higher-order types and set-theoretic models
• THE STRUCTURE OF MODELS AND A DECIDABILITY CRITERION FOR COMPLETE THEORIES OF FINITE-DIMENSIONAL ALGEBRAS
• scientific article; zbMATH DE number 2222244
• Theory and Applications of Models of Computation
• Model structures on categories of models of type theories

Cites work

• Characterizations of monadic NIP
• Mutually algebraic structures and expansions by predicates
• On the existence of regular types
• Second-order quantifiers and the complexity of theories
• The uncountable spectra of countable theories
• Uniformly bounded arrays and mutually algebraic structures
• ℵ₀-categorical tree-decomposable structures

Cited in

(2)

• Lattice of algebraically closed sets in one-based theories
• scientific article; zbMATH DE number 3851077 (Why is no real title available?)

This page was built for publication: Theories with few non-algebraic types over models, and their decompositions

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