ISSN 1683-3414 (Print)   •   ISSN 1814-0807 (Online)
   Log in
 

Contacts

Address: Vatutina st. 53, Vladikavkaz,
362025, RNO-A, Russia
Phone: (8672)23-00-54
E-mail: rio@smath.ru

 

 

 

ßíäåêñ.Ìåòðèêà

Dear authors!
Submission of all materials is carried out only electronically through Online Submission System in personal account.
DOI: 10.23671/VNC.2012.14.10953

An example of using \(\Delta_1\) terms in boolean valued analysis

Gutman A. E.
Vladikavkaz Mathematical Journal 2012. Vol. 14. Issue 1.
Abstract:
Syntactic tools related to \(\Delta_1\) terms  are demonstrated by application to Boolean valued analysis.  As an example, the question is considered of what approaches to defining the field \(\mathbb R\) of reals  and what complete Boolean algebras \(B\)  provide the explicit inclusion \(\mathbb R^{\scriptscriptstyle\land}\!\subset\mathbb R\)  inside the Boolean valued universe  \(\mathbb V^{(\mskip-3mu B\mskip-2mu)}\).
Keywords: set theory, conservative extension, real number, Boolean valued analysis, canonical embedding, \(\sigma\)-distributive Boolean algebra, \(\Sigma_1\) formula
Language: Russian Download the full text  
For citation: Gutman A. E. An example of using \(\Delta_1\) terms in boolean valued analysis. Vladikavkazskii matematicheskii zhurnal [Vladikavkaz Math. J.], 2012, vol. 14, no. 1, pp. 47-63. DOI 10.23671/VNC.2012.14.10953


← Contents of issue
 
  | Home | Editorial board | Publication ethics | Peer review guidelines | Latest issue | All issues | Rules for authors | Online submission system’s guidelines | Submit manuscript |  
© 1999-2024 Þæíûé ìàòåìàòè÷åñêèé èíñòèòóò