2 papers
math.LO2014
A variant proof of Con(b<a)
Jörg Brendle, Andrew D. Brooke-Taylor
We present a variation of the proof in the first author's "Mob families and mad families" of Con(b<a), which in particular removes some of the obstacles to generalising the argumen…
math.LO2014
An analogy between cardinal characteristics and highness properties of oracles
Jörg Brendle, Andrew Brooke-Taylor, Keng Meng Ng +1
We present an analogy between cardinal characteristics from set theory and highness properties from computability theory, which specify a sense in which a Turing oracle is computat…