Global square sequences in extender models

Annals of Pure and Applied Logic 161 (7):956-985 (2010)
  Copy   BIBTEX

Abstract

We present a construction of a global square sequence in extender models with λ-indexing

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2009.12.003

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

More fine structural global square sequences.Martin Zeman - 2009 - Archive for Mathematical Logic 48 (8):825-835.
A characterization of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\square(\kappa^{+})}$$\end{document} in extender models. [REVIEW]Kyriakos Kypriotakis & Martin Zeman - 2013 - Archive for Mathematical Logic 52 (1-2):67-90.
Cardinal transfer properties in extender models.Ernest Schimmerling & Martin Zeman - 2008 - Annals of Pure and Applied Logic 154 (3):163-190.
Regular ultrafilters and finite square principles.Juliette Kennedy, Saharon Shelah & Jouko Väänänen - 2008 - Journal of Symbolic Logic 73 (3):817-823.
On the extender algebra being complete.Richard Ketchersid & Stuart Zoble - 2006 - Mathematical Logic Quarterly 52 (6):531-533.
Supercompact extender based Prikry forcing.Carmi Merimovich - 2011 - Archive for Mathematical Logic 50 (5-6):591-602.
Square in core models.Ernest Schimmerling & Martin Zeman - 2001 - Bulletin of Symbolic Logic 7 (3):305-314.
Rado's Conjecture and Ascent Paths of Square Sequences.Stevo Todorčević & Víctor Torres Pérez - 2014 - Mathematical Logic Quarterly 60 (1-2):84-90.
General random sequences and learnable sequences.C. P. Schnorr & P. Fuchs - 1977 - Journal of Symbolic Logic 42 (3):329-340.
Sequences in countable nonstandard models of the natural numbers.Steven C. Leth - 1988 - Studia Logica 47 (3):243 - 263.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.

Analytics

Added to PP
2013-12-18

Downloads
7 (#1,316,802)

6 months
1 (#1,459,555)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Simultaneous stationary reflection and square sequences.Yair Hayut & Chris Lambie-Hanson - 2017 - Journal of Mathematical Logic 17 (2):1750010.
A microscopic approach to Souslin-tree constructions, Part I.Ari Meir Brodsky & Assaf Rinot - 2017 - Annals of Pure and Applied Logic 168 (11):1949-2007.

Add more citations

References found in this work

The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.
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.
Smooth categories and global □.Ronald B. Jensen & Martin Zeman - 2000 - Annals of Pure and Applied Logic 102 (1-2):101-138.

View all 11 references / Add more references