Non-self-equivalent constructivization of atomic Boolean algebras

DOI10.1007/BF01149926zbMath0357.02043OpenAlexW2085338836MaRDI QIDQ1237725

Sergei S. Goncharov

Publication date: 1976

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

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

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05) Computability and recursion theory (03D99)

Cites Work

• Strongly constructive models and numerations of the Boolean algebra of recursive sets
• Unnamed Item

This page was built for publication: Non-self-equivalent constructivization of atomic Boolean algebras