Page 1

Displaying 1 – 16 of 16

Showing per page

The combinatorics of reasonable ultrafilters

Saharon Shelah (2006)

Fundamenta Mathematicae

We are interested in generalizing part of the theory of ultrafilters on ω to larger cardinals. Here we set the scene for further investigations introducing properties of ultrafilters in strong sense dual to being normal.

The consistency strength of the tree property at the double successor of a measurable cardina

Natasha Dobrinen, Sy-David Friedman (2010)

Fundamenta Mathematicae

The Main Theorem is the equiconsistency of the following two statements: (1) κ is a measurable cardinal and the tree property holds at κ⁺⁺; (2) κ is a weakly compact hypermeasurable cardinal. From the proof of the Main Theorem, two internal consistency results follow: If there is a weakly compact hypermeasurable cardinal and a measurable cardinal far enough above it, then there is an inner model in which there is a proper class of measurable cardinals, and in which the tree property holds at the...

The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm

Richard Laver, Sheila Miller (2013)

Open Mathematics

The left distributive law is the law a· (b· c) = (a·b) · (a· c). Left distributive algebras have been classically used in the study of knots and braids, and more recently free left distributive algebras have been studied in connection with large cardinal axioms in set theory. We provide a survey of results on the free left distributive algebra on one generator, A, and a new, simplified proof of the existence of a normal form for terms in A. Topics included are: the confluence of A, the linearity...

The gap between I₃ and the wholeness axiom

Paul Corazza (2003)

Fundamenta Mathematicae

∃κI₃(κ) is the assertion that there is an elementary embedding i : V λ V λ with critical point below λ, and with λ a limit. The Wholeness Axiom, or WA, asserts that there is a nontrivial elementary embedding j: V → V; WA is formulated in the language ∈,j and has as axioms an Elementarity schema, which asserts that j is elementary; a Critical Point axiom, which asserts that there is a least ordinal moved by j; and includes every instance of the Separation schema for j-formulas. Because no instance of Replacement...

The nonexistence of robust codes for subsets of ω₁

David Asperó (2005)

Fundamenta Mathematicae

Several results are presented concerning the existence or nonexistence, for a subset S of ω₁, of a real r which works as a robust code for S with respect to a given sequence S α : α < ω of pairwise disjoint stationary subsets of ω₁, where “robustness” of r as a code may either mean that S L [ r , S * α : α < ω ] whenever each S * α is equal to S α modulo nonstationary changes, or may have the weaker meaning that S L [ r , S α C : α < ω ] for every club C ⊆ ω₁. Variants of the above theme are also considered which result when the requirement that S gets exactly...

The tree property at both ω + 1 and ω + 2

Laura Fontanella, Sy David Friedman (2015)

Fundamenta Mathematicae

We force from large cardinals a model of ZFC in which ω + 1 and ω + 2 both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model ω + 2 even satisfies the super tree property.

The tree property at the double successor of a measurable cardinal κ with 2 κ large

Sy-David Friedman, Ajdin Halilović (2013)

Fundamenta Mathematicae

Assuming the existence of a λ⁺-hypermeasurable cardinal κ, where λ is the first weakly compact cardinal above κ, we prove that, in some forcing extension, κ is still measurable, κ⁺⁺ has the tree property and 2 κ = κ . If the assumption is strengthened to the existence of a θ -hypermeasurable cardinal (for an arbitrary cardinal θ > λ of cofinality greater than κ) then the proof can be generalized to get 2 κ = θ .

Currently displaying 1 – 16 of 16

Page 1