Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures

DOI10.1007/978-3-540-72504-6_2zbMath1198.03038OpenAlexW1865743830MaRDI QIDQ5425417

Miklós Ajtai

Publication date: 13 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72504-6_2

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Descriptive complexity and finite models (68Q19)

Related Items (2)

Construction of models of bounded arithmetic by restricted reduced powers ⋮ A new proof of Ajtai's completeness theorem for nonstandard finite structures

This page was built for publication: Generalizations of the Compactness Theorem and Gödel’s Completeness Theorem for Nonstandard Finite Structures