On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models

DOI10.1007/978-3-642-30870-3_59zbMath1358.03045OpenAlexW2256328878MaRDI QIDQ2904455

Mikhaĭl G. Peretyat'kin

Publication date: 14 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30870-3_59

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one

This page was built for publication: On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models