Blar i LUI - Institutt for grunnskole- og faglærerutdanning på tidsskrift "Archive for mathematical logic"
Viser treff 1-1 av 1
-
The strength of countable saturation
(Journal article; Peer reviewed, 2017)In earlier work we introduced two systems for nonstandard analysis, one based on classical and one based on intuitionistic logic; these systems were conservative extensions of first-order Peano and Heyting arithmetic, ...