2 citations · 2 across the 1 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2000
On the consistency of the definable tree property on \aleph_1
Amir Leshem
In this paper we prove the equiconsistency of ``Every omega_1 tree which is first order definable over H_{omega_1} has a cofinal branch'' with the existence of a Pi^1_1 reflecting…
math.LO2000
0^# and elementary end extensions of V_k
Amir Leshem
In this paper we prove that if k is a cardinal in L[0^#], then there is an inner model M such that M |= (V_k,E) has no elementary end extension. In particular if 0^# exists then we…