Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (Q1346920): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Q3994666 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4133973 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Recursive isomorphism types of recursive Boolean algebras / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02263052 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2007816181 / rank | |||
Normal rank |
Latest revision as of 10:57, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) |
scientific article |
Statements
Strong constructibility of Boolean algebras of elementary characteristic (1,1,0) (English)
0 references
20 April 1995
0 references
The paper contains a step in the solution of the problem formulated by \textit{S. P. Odintsov} [``Restricted theories of constructive Boolean algebras in the lower layer'', Inst. Mat., Novosibirsk, Prepr. No. 12 (1986)]: does there exist a constructive but not strongly constructivizable Boolean algebra of the Ershov-Tarski characteristic (1,1,0) admitting a constructivization with a recursive set of atoms? The result is the following Theorem. If a constructive Boolean algebra \(\langle B, \nu\rangle\) of the Ershov-Tarski characteristic (1,1,0) has a recursive set of atoms and is effectively presented as a direct sum of constructive Boolean algebras \(\langle B_ i, \nu_ i\rangle\) with the first characteristic 0, then \(B\) is strongly constructivizable. To solve this problem completely, now it would be good to find some effective representation for any constructive Boolean algebra with recursive set of atoms.
0 references
constructivization
0 references
constructive Boolean algebra
0 references
direct sum
0 references