Person: Carl, Merlin
Loading...
Email Address
ORCID
Birth Date
Research Projects
Organizational Units
Job Title
Last Name
Carl
First Name
Merlin
Name
9 results
Search Results
Now showing 1 - 9 of 9
- PublicationPreprint
- PublicationPreprintA Note on the Decidability of the Necessity of Axioms(2014) Carl, Merlin
- PublicationPreprintA Note on Integer Parts of Real Closed Fields and the Axiom of Choice(2014) Carl, Merlin
- PublicationPreprintFormal and Natural Proof : a phenomenological approach(2013) Carl, Merlin
- PublicationPreprintModels of true arithmetic are integer parts of nice real closed fields(2013) Carl, Merlin
- PublicationPreprintThe distribution of ITRM-recognizable reals(2012) Carl, Merlin
- PublicationPreprintValue Groups of Real Closed Fields and Fragments of Peano Arithmetic(2012) Kuhlmann, Salma; Carl, Merlin; D'Aquino, Paola
