Beyond first order logic: from number of structures to structure of numbers. II

zbMATH Open1301.03035MaRDI QIDQ2249173FDOQ2249173

Authors: Tapani Hyttinen, Meeri Kesälä, John T. Baldwin 

Publication date: 9 July 2014

Published in: Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Recommendations

• Beyond first order logic: from number of structures to structure of numbers. I
• Categoricity of an abstract elementary class in two successive cardinals
• Iterated elementary embeddings and the model theory of infinitary logic
• Classification theory for abstract elementary classes. Vol 2.
• Categoricity

zbMATH Keywords

abstract elementary classescountable modelsmodels of Peano arithmeticcategoricity transfernon-elementary model theory

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Model theory of denumerable and separable structures (03C15) Abstract elementary classes and related topics (03C48) Models of arithmetic and set theory (03C62)

Cited In (2)

• The joint embedding property and maximal models
• Elementary Extensions of Models of the Alternative Set Theory

This page was built for publication: Beyond first order logic: from number of structures to structure of numbers. II

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