scientific article; zbMATH DE number 575914

MaRDI QIDQ4293477zbMATH OpenFDO

Authors Albert G. Dragalin

Publication date 3 January 1995

zbMATH Keywords

algorithmBoolean-valued modelsconservative extensionconstructive proofexpansion of Robinson's arithmeticrecursive family of 0-1 sequences

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Nonstandard models of arithmetic (03H15)

Recommendations

• Two applications of Boolean models
• scientific article; zbMATH DE number 1101617
• Explicit algebraic models for constructive and classical theories with non-standard elements
• Constructive validity is nonarithmetic

Cited in

(6)

• Local consistency of arithmetic with an attainability predicate
• Two applications of Boolean models
• A model for intuitionistic non-standard arithmetic
• Explicit algebraic models for constructive and classical theories with non-standard elements
• scientific article; zbMATH DE number 1101617 (Why is no real title available?)
• An application of constructive completeness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4293477)