Cardinal arithmetic in the style of Baron von Münchhausen
DSpace/Manakin Repository
Cardinal arithmetic in the style of Baron von Münchhausen
Visser, A.
(2009) Logic Group preprint peries, volume 272, pp. 1 - 17
(Preprint)
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. show less