Cardinal arithmetic in the style of Baron von Münchhausen
Publication date
2009-02
Authors
Visser, A.
Editors
Advisors
Supervisors
DOI
Document Type
Preprint
Metadata
Show full item recordCollections
License
No license information available
Abstract
In this paper we show how to interpret Robinson’s Arithmetic Q and the theory R of Tarski, Mostowski and Robinson as theories of cardinals in very weak theories of relations over a domain.