- 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
A finite family weak square principle
Journal of Symbolic Logic 64 (3):1087-1110 (1999)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2586620
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A Question about Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
A very weak square principle.Matthew Foreman & Menachem Magidor - 1997 - Journal of Symbolic Logic 62 (1):175-196.
An induction principle and pigeonhole principles for k-finite sets.Andreas Blass - 1995 - Journal of Symbolic Logic 60 (4):1186-1193.
The lattice of modal logics: An algebraic investigation.W. J. Blok - 1980 - Journal of Symbolic Logic 45 (2):221-236.
A Hobbesian Derivation of the Principle of Universalization.Michael Moehler - 2012 - Philosophical Studies 158 (1):83-107.
A note on finiteness in the predicative foundations of arithmetic.Fernando Ferreira - 1999 - Journal of Philosophical Logic 28 (2):165-174.
Analytics
Added to PP
2009-01-28
Downloads
9 (#946,211)
6 months
1 (#485,467)
2009-01-28
Downloads
9 (#946,211)
6 months
1 (#485,467)
Historical graph of downloads
Citations of this work
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Characterization of □κin core models.Ernest Schimmerling & Martin Zeman - 2004 - Journal of Mathematical Logic 4 (01):1-72.
Two Upper Bounds on Consistency Strength of $negsquare{aleph_{omega}}$ and Stationary Set Reflection at Two Successive $aleph{n}$.Martin Zeman - 2017 - Notre Dame Journal of Formal Logic 58 (3):409-432.
Smooth categories and global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.
Some Problems in Singular Cardinals Combinatorics.Matthew Foreman - 2005 - Notre Dame Journal of Formal Logic 46 (3):309-322.
References found in this work
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
Inner models with many Woodin cardinals.J. R. Steel - 1993 - Annals of Pure and Applied Logic 65 (2):185-209.
The covering lemma up to a Woodin cardinal.W. J. Mitchell, E. Schimmerling & J. R. Steel - 1997 - Annals of Pure and Applied Logic 84 (2):219-255.
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-9c67bdf98-f5q6x N