scientific article; zbMATH DE number 575914
From MaRDI portal
Publication:4293477
zbMath0803.03048MaRDI QIDQ4293477
Publication date: 3 January 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmconstructive proofBoolean-valued modelsconservative extensionexpansion of Robinson's arithmeticrecursive family of 0-1 sequences
Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Related Items
A model for intuitionistic non-standard arithmetic, Explicit algebraic models for constructive and classical theories with non-standard elements, An application of constructive completeness
