Hostname: page-component-6766d58669-h8lrw Total loading time: 0 Render date: 2026-05-20T04:57:21.373Z Has data issue: false hasContentIssue false
  • English
  • Français

THE COMPACTNESS OF GÖDEL LOGIC

Part of: Model theory General logic

Published online by Cambridge University Press:  20 December 2024

J. P. AGUILERA
J. P. AGUILERA*
Affiliation:
KURT GÖDEL RESEARCH CENTER FOR MATHEMATICAL LOGIC INSTITUTE OF MATHEMATICS, UNIVERSITY OF VIENNA KOLINGASSE 14-16, 1090 VIENNA AUSTRIA INSTITUTE OF DISCRETE MATHEMATICS AND GEOMETRY VIENNA UNIVERSITY OF TECHNOLOGY WIEDNER HAUPTSTRASSE 8–10, 1040 VIENNA AUSTRIA DEPARTMENT OF MATHEMATICS WE16 GHENT UNIVERSITY KRIJGSLAAN 281-S8, B9000 GHENT BELGIUM
*
E-mail: aguilera@logic.at
Get access Rights & Permissions [Opens in a new window]

Abstract

If G is any infinite-valued Gödel logic with identity, then the compactness cardinal of G is the least $\omega _1$-strongly compact cardinal.

Keywords

Gödel logicfuzzy logiccompactness numberstrongly compact cardinal

MSC classification

Primary: 03B52: Fuzzy logic; logic of vagueness
Secondary: 03C07: Basic properties of first-order languages and structures 03C90: Nonclassical models (Boolean-valued, sheaf, etc.)

Information

Type
Article
Information
The Journal of Symbolic Logic , First View , pp. 1 - 10
Check for updates
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

REFERENCES

Aguilera, J. P., The Löwenheim-Skolem theorem for Gödel logic . Annals of Pure and Applied Logic, vol. 174 (2023), Article number 103235.10.1016/j.apal.2022.103235CrossRefGoogle Scholar
Baaz, M. and Preining, N., On the classification of first order Gödel logics . Annals of Pure and Applied Logic, vol. 170 (2019), pp. 36–57.10.1016/j.apal.2018.08.010CrossRefGoogle Scholar
Baaz, M., Preining, N., and Zach, R., First-order Gödel logics . Annals of Pure and Applied Logic, vol. 147 (2007), pp. 23–47.10.1016/j.apal.2007.03.001CrossRefGoogle Scholar
Baaz, M. and Zach, R., Compact propositional Gödel logics , Proceedings of 28th International Symposium on Multiple Valued Logic, IEEE Computer Society Press, Los Alamitos, 1998.Google Scholar
Bagaria, J. and Magidor, M., Group radicals and strongly compact cardinals . Transactions of the American Mathematical Society, vol. 366 (2014), pp. 1857–1877.10.1090/S0002-9947-2013-05871-0CrossRefGoogle Scholar
Bagaria, J. and Magidor, M., On ${\omega}_1$ -strongly compact cardinals . Topology and its Applications, vol. 79 (2014), pp. 266–278.Google Scholar
Baldwin, J. and Shelah, S., A Hanf number for saturation and omission . Fundamenta Mathematicae, vol. 213 (2011), pp. 255–270.10.4064/fm213-3-5CrossRefGoogle Scholar
Cintula, P., Two notions of compactness in Gödel logics . Studia Logica, vol. 81 (2005), pp. 99–123.10.1007/s11225-005-2804-7CrossRefGoogle Scholar
Dummett, M., A propositional logic with denumerable matrix . The Journal of Symbolic Logic, vol. 24 (1959), 96–107.10.2307/2964753CrossRefGoogle Scholar
Gitman, V. and Osinski, J., Upward Löwenheim-Skolem-Tarski numbers for abstract logics, Forthcoming.Google Scholar
Gödel, K., Zum intuitionistischen Aussagenkalkül , Ergebnisse eines mathematischen Kolloquiums, 1933, pp. 34–38.Google Scholar
Hájek, P., Metamathematics of Fuzzy Logic, Springer, 1998.10.1007/978-94-011-5300-3CrossRefGoogle Scholar
Jech, T. J., Set Theory, Springer Monographs in Mathematics, Springer, 2003.Google Scholar
Keisler, H. J., Logic with the quantifier “there exist uncountably many” . Annals of Mathematical Logic, vol. 1 (1970), pp. 1–93.10.1016/S0003-4843(70)80005-5CrossRefGoogle Scholar
Magidor, M., How large is the first strongly compact cardinal? Or a study on identity crises . Annals of Mathematical Logic, vol. 10 (1976), pp. 33–57.10.1016/0003-4843(76)90024-3CrossRefGoogle Scholar
Pourmahdian, M. and Tavana, N. R., Compactness in first-order Gödel logics . Journal of Logic and Computation, vol. 23 (2012), pp. 473–485.10.1093/logcom/exs037CrossRefGoogle Scholar
Shelah, S., Classification Theory and the Number of Nonisomorphic Models, North-Holland, Amsterdam, 1978.Google Scholar
Smoryński, C., Lectures on nonstandard models of arithmetic , Logic Colloquium 82 (Lollu, G., Longo, G., and Marcja, A., editors), 1984, pp. 1–70.10.1016/S0049-237X(08)71807-XCrossRefGoogle Scholar