Laver and set theory
From MaRDI portal
Publication:5964933
DOI10.1007/s00153-015-0462-7OpenAlexW2289770623MaRDI QIDQ5964933
Publication date: 2 March 2016
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://hdl.handle.net/2144/33276
Cites Work
- Up to equimorphism, hyperarithmetic is recursive
- The Kunen-Miller chart (Lebesgue measure, the Baire property, Laver reals and preservation theorems for forcing)
- Concerning similarity transformations of linearly ordered sets
- Sur les types d'ordre des ensembles linéaires
- On the Property С and A Problem of Hausdorff
- Ordering by Divisibility in Abstract Algebras
- Superstrong and other large cardinals are never Laver indestructible
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Partition relations for successor cardinals
- Left division in the free left distributive algebra on one generator
- The Borel conjecture
- A universal Aronszajn line
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank
- S-forcing. I: a black-box theorem for morasses, with applications to super-Souslin trees
- A dual form of Ramsey's theorem
- Can you take Solovay's inaccessible away?
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Some downwards transfer properties for \(\aleph _ 2\)
- On certain indestructibility of strong cardinals and a question of Hajnal
- A finite model theorem for the propositional \(\mu\)-calculus
- A Ramsey theorem for trees
- Better quasi-orders for uncountable cardinals
- The left distributive law and the freeness of an algebra of elementary embeddings
- On the consistency of Borel's conjecture
- On the singular cardinals problem. II
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- A weak generalization of MA to higher cardinals
- An \(\aleph_1\)-dense ideal on \(\aleph_2\)
- Adding dominating functions mod finite
- Critical points in an algebra of elementary embeddings
- On braid words and irreflexivity
- Some applications of a generalized Martin's axiom
- Finite left-distributive algebras and embedding algebras
- Implications between strong large cardinal axioms
- The tree property
- A partition relation for successors of large cardinals
- The wholeness axiom and Laver sequences
- Well-foundedness conditions connected with left-distributivity.
- Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy]
- On the algebra of elementary embeddings of a rank into itself
- Braid group actions on left distributive structures, and well orderings in the braid groups
- The lottery preparation
- Equivalence between Fraïssé's conjecture and Jullien's theorem
- Sets and extensions in the twentieth century
- The free one-generated left distributive algebra: basics and a simplified proof of the division algorithm
- Certain very large cardinals are not created in small forcing extensions
- Set-theoretic geology
- On Fraissé's order type conjecture
- On a problem of Erdős, Hajnal and Rado
- An order type decomposition theorem
- SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
- Well-quasi-ordering Aronszajn lines
- Elementary Embeddings and Algebra
- Unprovability results involving braids
- SUITABLE EXTENDER MODELS I
- History of the Continuum in the 20th Century
- Forcing Positive Partition Relations
- Minimality of non-σ-scattered orders
- Sacks reals and Martin's axiom
- The ground axiom is consistent with V $\neq $ HOD
- Products of Infinitely Many Perfect Trees
- Random Reals and Souslin Trees
- Finest partitions for ultrafilters
- Iterated perfect-set forcing
- There are no Q-Points in Laver's Model for the Borel Conjecture
- Partitions of Products
- The ℵ 2 \1-Souslin Hypothesis
- Saturation Properties of Ideals in Generic Extensions.II
- Weakly Normal Filters and Irregular Ultrafilters
- Consistency Results Concerning Supercompactness
- Nonregular Ultrafilters and Large Cardinals
- A set in L containing regularizing families for ultrafilters
- Strong axioms of infinity and elementary embeddings
- Saturated ideals
- Well-quasi-orderings and sets of finite sequences
- On the Existence of Nonregular Ultrafilters and the Cardinality of Ultrapowers
- Braid Groups and Left Distributive Operations
- Souslin trees which are hard to specialise
- Laver indestructibility and the class of compact cardinals
- Extensions with the approximation and cover properties have no new large cardinals
- LIPSCHITZ MAPS ON TREES
- The ground axiom
- A Partition Theorem
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- On a problem of Gillman and Keisler
- Aronszajn trees and the independence of the transfer property
- A proof (involving Martin's axiom) of a partition relation
