- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Ultravaluations and their Applications in $$\textsf{CPL}$$
Logica Universalis 17 (3):259-267 (2023)
Abstract
This paper introduces the construct of an ultravaluation inspired by the well-known ultraproduct. Basic properties and exemplary applications of this notion are shown: for compactness and definability theorems. We also use ultravaluations to check failure of compactness and undefinability.Author's Profile
My notes
Similar books and articles
Weak essentially undecidable theories of concatenation.Juvenal Murwanashyaka - 2022 - Archive for Mathematical Logic 61 (7):939-976.
Implicit recursion-theoretic characterizations of counting classes.Ugo Dal Lago, Reinhard Kahle & Isabel Oitavem - 2022 - Archive for Mathematical Logic 61 (7):1129-1144.
Lyndon’s interpolation property for the logic of strict implication.Narbe Aboolian & Majid Alizadeh - 2022 - Logic Journal of the IGPL 30 (1):34-70.
A topological completeness theorem for transfinite provability logic.Juan P. Aguilera - 2023 - Archive for Mathematical Logic 62 (5):751-788.
Models of $${{\textsf{ZFA}}}$$ in which every linearly ordered set can be well ordered.Paul Howard & Eleftherios Tachtsis - 2023 - Archive for Mathematical Logic 62 (7):1131-1157.
Proof Systems for Super- Strict Implication.Guido Gherardi, Eugenio Orlandelli & Eric Raidl - 2024 - Studia Logica 112 (1):249-294.
Axiomatizing a Minimal Discussive Logic.Oleg Grigoriev, Marek Nasieniewski, Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin & Vasily Shangin - 2023 - Studia Logica 111 (5):855-895.
Estimating L ∞ Norms by L 2k Norms for Functions on Orbits. Barvinok - 2002 - Foundations of Computational Mathematics 2 (4):393-412.
Logic, mathematics, and computer science: modern foundations with practical applications.Yves Nievergelt - 2015 - New York,: Springer. Edited by Yves Nievergelt.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Program extraction for 2-random reals.Alexander P. Kreuzer - 2013 - Archive for Mathematical Logic 52 (5-6):659-666.
Axiomatizations of Peano Arithmetic: A Truth-Theoretic View.Ali Enayat & Mateusz Łełyk - 2023 - Journal of Symbolic Logic 88 (4):1526-1555.
Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse.Amitayu Banerjee - 2022 - Archive for Mathematical Logic 62 (3):369-399.
Analytics
Added to PP
2023-06-17
Downloads
16 (#911,065)
6 months
6 (#530,265)
2023-06-17
Downloads
16 (#911,065)
6 months
6 (#530,265)
Historical graph of downloads
Author's Profile
References found in this work
Three Model-Theoretic Constructions for Generalized Epstein Semantics.Krzysztof A. Krawczyk - 2022 - Review of Symbolic Logic 15 (4):1023-1032.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-dmxst uwo