7 citations · 11 across the 7 of their papers we have counts for
8 papers
Forcing Over a Free Suslin Tree
John Krueger, Šárka Stejskalová
We introduce a forcing for adding almost disjoint automorphisms of a normal infinitely splitting -tree with countable approximations. Assuming that is a free Suslin tr…
Generalized cardinal invariants for an inaccessible with compactness at
Radek Honzik, Sarka Stejskalova
We show that if the existence of a supercompact cardinal with a weakly compact cardinal above is consistent, then the following are consistent as well (where $\mathfrak…
Guessing models, trees, and cardinal arithmetic
Chris Lambie-Hanson, Šárka Stejskalová
Since being isolated by Viale and Weiss in 2009, the Guessing Model Property has emerged as a particularly prominent and powerful consequence of the Proper Forcing Axiom. In this p…
Strong tree properties, Kurepa trees, and guessing models
Chris Lambie-Hanson, Šárka Stejskalová
We investigate the generalized tree properties and guessing model properties introduced by Weiß and Viale, as well as natural weakenings thereof, studying the relationships among t…
Trees and stationary reflection at double successors of regular cardinals
Thomas Gilton, Maxwell Levine, Šárka Stejskalová
We obtain an array of consistency results concerning trees and stationary reflection at double successors of regular cardinals , updating some classical constructions in the pro…
Small u(kappa) at singular kappa with compactness at kappa++
Radek Honzik, Sarka Stejskalova
We show that the tree property, stationary reflection and the failure of approachability at are consistent with , where is a singular stro…
Easton's theorem for the tree property below aleph_omega
Sarka Stejskalova
Starting with infinitely many supercompact cardinals, we show that the tree property at every cardinal , , is consistent with an arbitrary continuum function be…
Indestructibility of the tree property
Radek Honzik, Sarka Stejskalova
In the first part of the paper, we show that if are cardinals, , and is weakly compact, then in $V[\M(κ,λ)]$ the tree property at $λ= κ^{++V[\M(κ,λ)]}$…