- Submit
-
Browse
- 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
- More
Switch to: References
Citations of:
Add citations
You must login to add citations.
|
|
|
We study the relationship between the semistationary reflection principle and stationary reflection principles. We show that for all regular cardinals Λ ≥ ω₂ the semistationary reflection principle in the space [Λ](1) implies that every stationary subset of $E_{\omega}^{\lambda}\coloneq \{\alpha \in \lambda \,|\,{\rm cf}(\alpha)=\omega \}$ reflects. We also show that for all cardinals Λ ≥ ω₃ the semistationary reflection principle in [Λ](1) does not imply the stationary reflection principle in [Λ](1). |
|
|
A narrow system is a combinatorial object introduced by Magidor and Shelah in connection with work on the tree property at successors of singular cardinals. In analogy to the tree property, a cardinalκsatisfies thenarrow system propertyif every narrow system of heightκhas a cofinal branch. In this paper, we study connections between the narrow system property, square principles, and forcing axioms. We prove, assuming large cardinals, both that it is consistent that ℵω+1satisfies the narrow system property and$\square _{\aleph _\omega, < \aleph (...) |
|
|
Since the work of Gödel and Cohen, which showed that Hilbert's First Problem was independent of the usual assumptions of mathematics, there have been a myriad of independence results in many areas of mathematics. These results have led to the systematic study of several combinatorial principles that have proven effective at settling many of the important independent statements. Among the most prominent of these are the principles diamond and square discovered by Jensen. Simultaneously, attempts have been made to find suitable (...) |
|
|
|
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-68866f4b87-kfj6z uwo