A step semantic system for set theory
type: Item
instance of: scholarly article
title: A step semantic system for set theory
zbMATH Open document ID: 0577.03029
DOI: 10.1007/BF01139949
author: E. S. Burgina
published in: Mathematical Notes
publication date: 1984-01-01T00:00:00Z
review text: A hierarchy of languages \(M_ n\), for every natural n is constructed, where \(M_ 0\) is the language \(\text{Russian{Ya}}_{\omega}\) of \textit{A. A. Markov} [Dokl. Akad. Nauk. SSSR 214, 1262-1264 (1974; Zbl 0308.02037)]. The hierarchy culminates in a language \(M_{\omega}\) of set theory in constructive mathematics. The truth of various formulas of \(M_{\omega}\) is investigated and it is shown that the language \(M_{\omega}\) is reasonably close to the language of set theory in classical predicate logic.
reviewed by: Petr Stepanek
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03E99
zbMATH DE Number: 3922643
zbMATH Keywords: languages for constructive set theory
zbMATH Keywords: constructive mathematics
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf01139949
OpenAlex ID: W2063668606
Recommended article: Теоретико-множественная семантика для системы Гейтинга Int
Recommended article: A Logical Framework for Developing and Mechanizing Set Theories
Recommended article: Q5858673
Recommended article: Steps towards a proof-theoretical semantics
Recommended article: A set-theoretic semantics for Clear
Recommended article: A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
Recommended article: Towards a computation system based on set theory
Recommended article: Q5692814
Recommended article: Q4696862
description: scientific article; zbMATH DE number 3922643