Notre Dame Journal of Formal Logic 56 (1):167-190 (2015)
| Authors |
|
| Abstract |
In so-called full second-order logic, the second-order variables range over all subsets and relations of the domain in question. In so-called Henkin second-order logic, every model is endowed with a set of subsets and relations which will serve as the range of the second-order variables. In our Boolean-valued second-order logic, the second-order variables range over all Boolean-valued subsets and relations on the domain. We show that under large cardinal assumptions Boolean-valued second-order logic is more robust than full second-order logic. Its validity is absolute under forcing, and its Hanf and Löwenheim numbers are smaller than those of full second-order logic
|
| Keywords | Boolean-valued second-order logic full second-order logic $\Omega$-logic Boolean validity |
| Categories | (categorize this paper) |
| DOI | 10.1215/00294527-2835065 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,199
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
The Self-Iterability of L[E].Ralf Schindler & John Steel - 2009 - Journal of Symbolic Logic 74 (3):751-779.
View all 9 references / Add more references
Citations of this work BETA
Similar books and articles
On Rine's View of Boolean Algebras.George Epstein - 1981 - Bulletin of the Section of Logic 10 (2):91-92.
Boolean Deductive Systems of BL-Algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Extension of Relatively |Sigma-Additive Probabilities on Boolean Algebras of Logic.Mohamed A. Amer - 1985 - Journal of Symbolic Logic 50 (3):589 - 596.
Algebras of Intervals and a Logic of Conditional Assertions.Peter Milne - 2004 - Journal of Philosophical Logic 33 (5):497-548.
Standardization Principle of Nonstandard Universes.Masahiko Murakami - 1999 - Journal of Symbolic Logic 64 (4):1645-1655.
Axiomatization of a Denotational Semantics for First-Order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Second-Order Logic and Foundations of Mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
The Mathematics of Logic: A Guide to Completeness Theorems and Their Applications.Richard W. Kaye - 2007 - Cambridge University Press.
On an Algebra of Lattice-Valued Logic.Lars Hansen - 2005 - Journal of Symbolic Logic 70 (1):282 - 318.
Representability in Second-Order Propositional Poly-Modal Logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Boolean Universes Above Boolean Models.Friedrich Wehrung - 1993 - Journal of Symbolic Logic 58 (4):1219-1250.
Strong Logics of First and Second Order.Peter Koellner - 2010 - Bulletin of Symbolic Logic 16 (1):1-36.
Somehow Things Do Not Relate: On the Interpretation of Polyadic Second-Order Logic.Marcus Rossberg - 2015 - Journal of Philosophical Logic 44 (3):341-350.
Analytics
Added to PP index
2015-03-25
Total views
31 ( #370,618 of 2,517,928 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,928 )
2015-03-25
Total views
31 ( #370,618 of 2,517,928 )
Recent downloads (6 months)
1 ( #409,045 of 2,517,928 )
How can I increase my downloads?
Downloads
