Separating weak partial square principles

&
Annals of Pure and Applied Logic 165 (2):609-619 (2014)
  Copy   BIBTEX

Abstract

We introduce the weak partial square principles View the MathML source and View the MathML source, which combine the ideas of a weak square sequence and a partial square sequence. We construct models in which weak partial square principles fail. The main result of the paper is that □λ,κ does not imply View the MathML source

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2013.08.003

Links

PhilArchive



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

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

Successive cardinals with no partial square.John Krueger - 2014 - Archive for Mathematical Logic 53 (1-2):11-21.
Weak compactness and no partial squares.John Krueger - 2011 - Journal of Symbolic Logic 76 (3):1035 - 1060.
A Question about Suslin Trees and the Weak Square Hierarchy.Ernest Schimmerling - 2005 - Notre Dame Journal of Formal Logic 46 (3):373-374.
Chang’s Conjecture and weak square.Hiroshi Sakai - 2013 - Archive for Mathematical Logic 52 (1-2):29-45.
A finite family weak square principle.Ernest Schimmerling - 1999 - Journal of Symbolic Logic 64 (3):1087-1110.
ℙmax variations for separating club guessing principles.Tetsuya Ishiu & Paul B. Larson - 2012 - Journal of Symbolic Logic 77 (2):532-544.
A relative of the approachability ideal, diamond and non-saturation.Assaf Rinot - 2010 - Journal of Symbolic Logic 75 (3):1035-1065.
P-ideal dichotomy and weak squares.Dilip Raghavan - 2013 - Journal of Symbolic Logic 78 (1):157-167.
The Weak $square^ast$ is Really Weaker than the Full $square$.Shai Ben-David & Menachem Magidor - 1986 - Journal of Symbolic Logic 51 (4):1029-1033.
The mass operator in Riemannian spacetimes.Kh Huleihil & S. Malin - 1980 - Foundations of Physics 10 (5-6):459-467.
The Case of Weak Will and Wayward Desire.Vera Bergelson - 2009 - Criminal Law and Philosophy 3 (1):19-28.
MRP , tree properties and square principles.Remi Strullu - 2011 - Journal of Symbolic Logic 76 (4):1441-1452.
Density of the Medvedev lattice of Π0 1 classes.Douglas Cenzer & Peter G. Hinman - 2003 - Archive for Mathematical Logic 42 (6):583-600.
An equiconsistency result on partial squares.John Krueger & Ernest Schimmerling - 2011 - Journal of Mathematical Logic 11 (1):29-59.
Weakened semantics and the traditional square of opposition.Luis Estrada-González - 2008 - Logica Universalis 2 (1):155-165.

Analytics

Added to PP
2014-01-16

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Square principles with tail-end agreement.William Chen & Itay Neeman - 2015 - Archive for Mathematical Logic 54 (3-4):439-452.

Add more citations

References found in this work

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Scales, squares and reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (1):35-98.
Combinatorial principles in the core model for one Woodin cardinal.Ernest Schimmerling - 1995 - Annals of Pure and Applied Logic 74 (2):153-201.
Reflecting stationary sets and successors of singular cardinals.Saharon Shelah - 1991 - Archive for Mathematical Logic 31 (1):25-53.

View all 10 references / Add more references