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

DOI10.1090/PROC/15956OpenAlexW4213333276MaRDI QIDQ5086946FDOQ5086946

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Lattice of algebraically closed sets in one-based theories
• Title not available (Why is that?)

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)