7 citations · 8 across the 4 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2022
On proving consistency of equational theories in Bounded Arithmetic
Arnold Beckmann, Yoriyuki Yamagata
We consider pure equational theories that allow substitution but disallow induction, which we denote as PETS, based on recursive definition of their function symbols. We show that…
math.LO2004
Continuous Fraisse Conjecture
Arnold Beckmann, Martin Goldstern, Norbert Preining
We investigate the relation of countable closed subsets of the reals with respect to continuous monotone embeddability; we show that there are exactly aleph_1 many equivalence clas…