scientific article; zbMATH DE number 1303207

From MaRDI portal

Publication:4249730

Jump to:navigation, search

zbMath0940.03048MaRDI QIDQ4249730

Sergei P. Odintsov

Publication date: 24 July 2000

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

zbMATH Keywords

trees arithmetical hierarchy countable Boolean algebras constructive Boolean algebras constructive model theory decidability conditions on ultrafilters

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure theory of Boolean algebras (06E05) Computable structure theory, computable model theory (03C57)

This page was built for publication:

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