10 citations · 82 across the 40 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017
Canonical Truth
Merlin Carl, Philipp Schlicht
We introduce and study some variants of a notion of canonical set theoretical truth. By this, we mean truth in a transitive proper class model of ZFC that is uniquely character…
math.LO2017★ 2 cited
Space-Bounded OTMs and REG
Merlin Carl
An important theorem in classical complexity theory is that LOGLOGSPACE=REG, i.e. that languages decidable with double-logarithmic space bound are regular. We consider a transfinit…