An example of using _1 terms in Boolean valued analysis

zbMATH Open1326.03047MaRDI QIDQ3455124FDOQ3455124

Authors: A. E. Gutman 

Publication date: 3 December 2015

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

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

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)

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)