Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies

Research output: Contribution to journalArticlepeer-review

Abstract

Under study are the notions of transitivity, regularity, and σ-regularity for Boolean-valued algebraic systems of set-theoretic signature. The notion of a universe over an arbitrary extensional Boolean-valued system is introduced. Some description is proposed for the structure of the universe by means of various hierarchies. The results are used for proving the uniqueness of a Boolean-valued universe up to a unique isomorphism.

Original languageEnglish
Pages (from-to)426-452
Number of pages27
JournalSiberian Mathematical Journal
Volume61
Issue number3
DOIs
Publication statusPublished - 1 May 2020

Keywords

  • Boolean-valued algebraic system
  • Boolean-valued analysis
  • cumulative hierarchy
  • set theory
  • universe

Fingerprint Dive into the research topics of 'Boolean-Valued Universe as an Algebraic System. II: Intensional Hierarchies'. Together they form a unique fingerprint.

Cite this