Compactness in infinitary Gödel logics

DOI10.1007/978-3-662-52921-8_2MaRDI QIDQ2820682zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

compactnessinfinitary logicGödel logic

Mathematics Subject Classification ID

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

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

Cites work

• 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)
• Model theory for metric structures
• On a problem of Erdös and Tarski
• Remarks on predicate logic with infinitely long expressions
• Set Theory
• The higher infinite. Large cardinals in set theory from their beginnings.
• 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)