Beyond first order model theory
From MaRDI portal
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Basic properties of first-order languages and structures (03C07) Other model constructions (03C30) Abstract elementary classes and related topics (03C48) Models with special properties (saturated, rigid, etc.) (03C50)
Recommendations
Cited in
(15)- Extending to a model structure is not a first-order property
- Model theory for \(\mathsf{C}_{\mathsf{p}}\)-theorists
- Model theory
- Notes on models of first-order mereological theories
- Model theory without pain
- A Consistent Higher-Order Theory Without a (Higher-Order) Model
- scientific article; zbMATH DE number 4027418 (Why is no real title available?)
- scientific article; zbMATH DE number 1301853 (Why is no real title available?)
- scientific article; zbMATH DE number 1007358 (Why is no real title available?)
- scientific article; zbMATH DE number 1531886 (Why is no real title available?)
- Models: concepts, theory, logic, reasoning and semantics. Essays dedicated to Klaus-Dieter Schewe on the occasion of his 60th birthday
- Model theory and the philosophy of mathematical practice. Formalization without foundationalism
- Philosophy and model theory
- Model theory in algebra, analysis and arithmetic: a preface
- Beyond First Order Model Theory, Volume II
This page was built for publication: Beyond first order model theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275277)