Generic embeddings and the failure of box-Reference-Cited by-同舟云学术

Generic embeddings and the failure of box

Published:1995 Issue:9 Volume:123 Page:2867-2871
ISSN:0002-9939
Container-title:Proceedings of the American Mathematical Society
language:en
Short-container-title:Proc. Amer. Math. Soc.

Author:

Burke Douglas

Abstract

We prove that if { a ⊆ κ + | a \subseteq {\kappa ^ + }| order type of a is a cardinal} is stationary, then Jensen’s principle ◻ κ {\square _\kappa } fails. We also show that ∀ κ ◻ k \forall \kappa {\square _k} is consistent with a superstrong cardinal.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/proc/1995-123-09/S0002-9939-1995-1257099-0/S0002-9939-1995-1257099-0.pdf

Reference11 articles.

1. Iterated forcing;Baumgartner, James E.,1983

2. Potent axioms;Foreman, Matthew;Trans. Amer. Math. Soc.,1986

3. Pure and Applied Mathematics;Jech, Thomas,1978

4. The evolution of large cardinal axioms in set theory;Kanamori, A.,1978

5. Chang’s conjecture for ℵ_{𝜔};Levinski, Jean-Pierre;Israel J. Math.,1990

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Two Upper Bounds on Consistency Strength of ¬□ℵω and Stationary Set Reflection at Two Successive ℵn;Notre Dame Journal of Formal Logic;2017-01-01

2. A characterization of $${\square(\kappa^{+})}$$ in extender models;Archive for Mathematical Logic;2012-09-25

3. AN EQUICONSISTENCY RESULT ON PARTIAL SQUARES;Journal of Mathematical Logic;2011-06

4. Global square sequences in extender models;Annals of Pure and Applied Logic;2010-04

5. Large cardinals and definable well-orders on the universe;The Journal of Symbolic Logic;2009-06