Compactness in Infinitary Gödel Logics

DOI10.1007/978-3-662-52921-8_2zbMath1478.03049OpenAlexW2492068551MaRDI QIDQ2820682

Juan P. Aguilera

Publication date: 9 September 2016

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-52921-8_2

zbMATH Keywords

compactnessinfinitary logicGödel logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Other infinitary logic (03C75)

Cites Work

• Unnamed Item
• Unnamed Item
• First-order Gödel logics
• On a problem of Erdös and Tarski
• Set Theory
• From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
• The sentential calculus with infinitely long expressions
• Remarks on predicate logic with infinitely long expressions