19 citations · 120 across the 58 of their papers we have counts for
Showing 2015 · math.LOShow all
3 papers · 2 filters
math.LO2015
Hindman's theorem and idempotent types
Uri Andrews, Isaac Goldbring
Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.
math.LO2015
A monad measure space for logarithmic density
Mauro Di Nasso, Isaac Goldbring, Renling Jin +3
We provide a framework for proofs of structural theorems about sets with positive Banach logarithmic density. For example, we prove that if has positive Ban…
math.LO2015★ 19 cited
The pseudoarc is a co-existentially closed continuum
Christopher J. Eagle, Isaac Goldbring, Alessandro Vignati
Answering a question of P. Bankston, we show that the pseudoarc is a co-existentially closed continuum. We also show that , for a nondegenerate continuum, can never have…