scientific article; zbMATH DE number 2154083

From MaRDI portal

Revision as of 17:16, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4664630

Jump to:navigation, search

zbMath1061.03042MaRDI QIDQ4664630

P. E. Alaev

Publication date: 8 April 2005

Full work available at URL: https://eudml.org/doc/51246

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computable Boolean algebra with a distinguished ideal hyperarithmetical Boolean algebra

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (3)

Degrees of autostability relative to strong constructivizations for Boolean algebras ⋮ The minimality of certain decidability conditions for Boolean algebras ⋮ Boolean algebras of elementary characteristic \((1, 0, 1)\) whose set of atoms and Ershov-Tarski ideal are computable

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4664630&oldid=18868622"