Results 1 
3 of
3
Choice principles in constructive and classical set theories
 POHLERS (EDS.): PROCEEDINGS OF THE LOGIC COLLOQUIUM 2002
, 2002
"... The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
(Show Context)
The objective of this paper is to assay several forms of the axiom of choice that have been deemed constructive. In addition to their deductive relationships, the paper will be concerned with metamathematical properties effected by these choice principles and also with some of their classical models.
Combined Maximality Principles up to Large Cardinals
, 2008
"... The motivation for this paper is the following: In [Fuc08] I showed that it is inconsistent with ZFC that the maximality principle for closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the maximality principle for <κclosed forcings each ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
(Show Context)
The motivation for this paper is the following: In [Fuc08] I showed that it is inconsistent with ZFC that the maximality principle for closed forcings holds at unboundedly many regular cardinals κ (even only allowing κ itself as a parameter in the maximality principle for <κclosed forcings each time). So the question is whether it is consistent to have this principle at unboundedly many regular cardinals or at every regular cardinal below some large cardinal κ (instead of ∞), and if so, how strong it is. It turns out that it is consistent in many cases, but the consistency strength is quite high. As a byproduct, assuming the consistency of a supercompact cardinal, I show that it is consistent that the least weakly compact cardinal is indestructible. 1