Constructivizations of Boolean algebras

DOI10.1007/BF00967767zbMath0499.03034OpenAlexW1992929346MaRDI QIDQ1171567

Aleksandr Georgievich Pinus

Publication date: 1981

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00967767

zbMATH Keywords

decidability of second order theoryrecursive ultra-filters

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• The monadic second order theory of all countable ordinals
• Some aspects of generalized computability
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Decision methods in the theory of ordinals
• Decidability of Second-Order Theories and Automata on Infinite Trees

This page was built for publication: Constructivizations of Boolean algebras