A Functorial Model Theory

DOI10.1201/B16416MaRDI QIDQ5745536zbMATH OpenOpenAlexWikidataFDO

Authors Cyrus F. Nourani

Publication date 30 January 2014

Full work available at URL https://doi.org/10.1201/b16416

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Set-theoretic model theory (03C55) Models of other mathematical theories (03C65) Applications of model theory (03C98)

Recommendations

• scientific article; zbMATH DE number 2119963
• scientific article; zbMATH DE number 4112571
• Functorial semantics of topological theories
• Model theory of functors: Axiomatizability problems
• Model categories in algebraic topology
• Approximate solution of the Fokker-Planck-Kolmogorov equation
• Fibred and Indexed Categories for Abstract Model Theory
• Two applications of topology to model theory
• scientific article; zbMATH DE number 937397
• Calculus of functors and model categories

Cited in

(5)

• Model theory of functors: Axiomatizability problems
• Algebraic computability and enumeration models. Recursion theory and descriptive complexity
• General topology meets model theory, on 𝔭 and 𝔱
• Functorial string models
• Functor categories, model theory, algebraic analysis and constructive methods. FCMTCCT2 2022, Almería, Spain, July 11--15. Invited and selected contributions (to appear)

This page was built for publication: A Functorial Model Theory

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