- 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 extend the results of Hamkins and Thomas concerning the malleability of automorphism tower heights of groups by forcing. We show that any reasonable sequence of ordinals can be realized as the automorphism tower heights of a certain group in consecutive forcing extensions or ground models, as desired. For example, it is possible to increase the height of the automorphism tower by passing to a forcing extension, then increase it further by passing to a ground model, and then decrease it (...) |
|
|
I use generic embeddings induced by generic normal measures on that can be forced to exist if κ is an indestructibly weakly compact cardinal. These embeddings can be applied in order to obtain the forcing axioms in forcing extensions. This has consequences in : The Singular Cardinal Hypothesis holds above κ, and κ has a useful Jónsson-like property. This in turn implies that the countable tower works much like it does when κ is a Woodin limit of Woodin cardinals. One (...) |
|
|
We present several generalizations of the well-known Kunen inconsistency that there is no nontrivial elementary embedding from the set-theoretic universe V to itself. For example, there is no elementary embedding from the universe V to a set-forcing extension V[G], or conversely from V[G] to V, or more generally from one set-forcing ground model of the universe to another, or between any two models that are eventually stationary correct, or from V to HOD, or conversely from HOD to V, or indeed (...) |
|
|
Given an uncountable regular cardinal κ, we study the structural properties of the class of all sets of functions from κ to κ that are definable over the structure 〈H,∈〉 by a Σ1-formula with parameters. It is well known that many important statements about these classes are not decided by the axioms of ZFC together with large cardinal axioms. In this paper, we present other canonical extensions of ZFC that provide a strong structure theory for these classes. These axioms are (...) |
|
|
|
|
|
It is shown that the boldface maximality principle for subcomplete forcing,, together with the assumption that the universe has only set many grounds, implies the existence of a well‐ordering of definable without parameters. The same conclusion follows from, assuming there is no inner model with an inaccessible limit of measurable cardinals. Similarly, the bounded subcomplete forcing axiom, together with the assumption that does not exist, for some, implies the existence of a well‐ordering of which is Δ1‐definable without parameters, and ‐definable (...) |
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-6f97f49787-r597v uwo