The technique of definable terms in Boolean valued analysis

Gutman A.E.

The technique of definable terms in Boolean valued analysis //

Report abstract. Mal'tsev Meeting. International Conference (Novosibirsk, November 11–15, 2013): Proceedings. Novosibirsk, 2013. P. 164.

A syntax technique related to the notion of Δ₁ term is demonstrated by means of its applications to Boolean-valued analysis. As an example, the following question is considered: Which of the classical approaches to the definition of the field R of reals and which Boolean algebras provide the explicit inclusion of R^ in R inside the Boolean-valued universe V(B)?

Type	Report abstract
Form	Electronic
Authors	Gutman Alexander Efimovich
Title	The technique of definable terms in Boolean valued analysis
Book	Mal'tsev Meeting. International Conference (Novosibirsk, November 11–15, 2013): Proceedings
Address	Novosibirsk
Year	2013
Pages	164
Language	English
©	2013.11.14
Files	Report abstract (PDF) Cover (PDF) Abstracts (PDF) Conference program (PDF) Conference section program (PDF)
Links	Record in BibTeX format Information on ResearchGate Abstracts on the site (PDF) Program on the conference site (PDF) Section program on the site (PDF) Conference site
Project	Boolean-valued analysis Development of the theory of Boolean-valued models and their applications in functional analysis