10 citations · 82 across the 40 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
math.LO2022
Countable ranks at the first and second projective levels
Merlin Carl, Philipp Schlicht, Philip Welch
A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the s…
math.LO2022
The strange world of transfinite Melodies -- Recognizability for weak and strong infinite time -register machines
Merlin Carl
For exponentially closed ordinals , we consider recognizability of constructible subsets of for -(w)ITRMs and their distribution in the constructible hierarchy. In partic…
cs.LO2022★ 5 cited
Natural Language Proof Checking in Introduction to Proof Classes -- First Experiences with Diproche
Merlin Carl, Hinrich Lorenzen, Michael Schmitz
We present and analyze the employment of the Diproche system, a natural language proof checker, within a one-semester mathematics beginners lecture with 228 participants. The syste…