Compactness in infinitary Gödel logics

DOI10.1007/978-3-662-52921-8_2zbMATH Open1478.03049OpenAlexW2492068551MaRDI QIDQ2820682FDOQ2820682

Authors: 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

Recommendations

• Compactness in first-order Gödel logics
• On the compactness property of extensions of first-order Gödel logic
• Two notions of compactness in Gödel logics
• Compactness in equational logic
• scientific article; zbMATH DE number 4077186

zbMATH Keywords

compactnessinfinitary logicGödel logic

Mathematics Subject Classification ID

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

Cites Work

• Set Theory
• Model theory for metric structures
• The higher infinite. Large cardinals in set theory from their beginnings.
• First-order Gödel logics
• From accessible to inaccessible cardinals (Results holding for all accessible cardinal numbers and the problem of their extension to inaccessible ones)
• Remarks on predicate logic with infinitely long expressions
• On a problem of Erdös and Tarski
• The sentential calculus with infinitely long expressions

Cited In (4)

• On the compactness property of extensions of first-order Gödel logic
• Compactness in equational logic
• Compactness in first-order Gödel logics
• The Löwenheim-Skolem theorem for Gödel logic

This page was built for publication: Compactness in infinitary Gödel logics

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