An example of using _1 terms in Boolean valued analysis

MaRDI QIDQ3455124zbMATH OpenFDO

Authors A. E. Gutman

Publication date 3 December 2015

Full work available at URL http://www.vmj.ru/eng/2012_1.html

zbMATH Keywords

conservative extensionset theorycanonical embeddingBoolean valued analysisreal number\(\sigma\)-distributive Boolean algebra\(\Sigma_1\) formula

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Generalizations of Boolean algebras (06E75) Nonstandard analysis (26E35)

Recommendations

• Boolean valued analysis: background and results
• Some applications of Boolean valued analysis
• scientific article; zbMATH DE number 1269535
• scientific article; zbMATH DE number 1374860
• scientific article; zbMATH DE number 2239833

Cited in

(2)

• Boolean-valued universe as an algebraic system. I: Basic principles
• On the structure of the Boolean-valued universe

This page was built for publication: An example of using \(\Delta_{1}\) terms in Boolean valued analysis

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