Computable quotient presentations of models of arithmetic and set theory

DOI10.1007/978-3-662-55386-2_10zbMath1496.03154arXiv1702.08350OpenAlexW2593727555MaRDI QIDQ1685921

Joel David Hamkins, Michał Tomasz Godziszewski

Publication date: 20 December 2017

Full work available at URL: https://arxiv.org/abs/1702.08350

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Computable structure theory, computable model theory (03C57)

Related Items (1)

Well-orders realized by C.E. equivalence relations

This page was built for publication: Computable quotient presentations of models of arithmetic and set theory