A model in which there are Jech-Kunen trees but there are no Kurepa trees
Renling Jin, Saharon Shelah
Abstract
By an omega1 --tree we mean a tree of power omega1 and height omega1. We call an omega1 --tree a Jech--Kunen tree if it has kappa --many branches for some kappa strictly between omega1 and 2omega1. In this paper we construct the models of CH plus 2omega1> omega2, in which there are Jech--Kunen trees and there are no Kurepa trees.
Create a lesson
Related papers
Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Carlos Cordoba-Caycedo, Dario Garcia
Spectral Theory and Descriptive Combinatorics for Non-Regular Borel pmp Graphs
Cecelia Higgins, Pieter Spaas, Sofia Torelli
The strength of the minimum principle in constructive reverse mathematics
Tatsuji Kawai
Independence of premise for intuitionistic Zermelo-Fraenkel set theory
Patrick Uftring
Condensed Whitehead Problem
Spencer Unger, Jerry Wei
Points and their multiples on curves in powers of simple abelian varieties
David J. Smith