1993/42/3-4 (19) — DOI: 10.5486/PMD.1993.1382 — pp. 369-389
Full Text Abstract

An explicit Boolean-valued model for non-standard arithmetic

Authors: Albert G. Drágalin

Keywords: -

Mathematics Subject Classification: 03C90, 03E40, 03H15