Constructivizations of Boolean algebras

DOI10.1007/BF00967767MaRDI QIDQ1171567zbMATH OpenOpenAlexFDO

Authors A. G. 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

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

Cites work

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

This page was built for publication: Constructivizations of Boolean algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1171567)