Title of article
A model for intuitionistic non-standard arithmetic Original Research Article
Author/Authors
Ieke Moerdijk، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
15
From page
37
To page
51
Abstract
This paper provides an explicit description of a model for intuitionistic non-standard arithmetic, which can be formalized in a constructive metatheory without the axiom of choice.
Journal title
Annals of Pure and Applied Logic
Serial Year
1995
Journal title
Annals of Pure and Applied Logic
Record number
889995
Link To Document