scientific article; zbMATH DE number 1002913
From MaRDI portal
Publication:3130249
Boolean algebrascountable modelsmodel-theoretical, algebraic, and computability aspects of Boolean and Ershov algebras
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Model-theoretic algebra (03C60) Theory of numerations, effectively presented structures (03D45) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02) Structure theory of Boolean algebras (06E05)
Recommendations
Cited in
(57)- On computable presentations of some functional lattices
- Alternative characterizations of finitary and well-founded Boolean algebras
- Degree spectra and computable dimensions in algebraic structures
- Computable torsion abelian groups
- The existence of strongly computable representations in the class of Boolean algebras
- A note on computable distinguishing colorings
- Punctual dimension of algebraic structures in certain classes
- Computable metrics above the standard real metric
- Categoricity spectra of computable structures
- On bi-embeddable categoricity of algebraic structures
- The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models
- On the isomorphism problem for measures on Boolean algebras
- Categorical linearly ordered structures
- Boolean algebras realized by c.e. equivalence relations
- Effective categoricity for distributive lattices and Heyting algebras
- Boolean algebras, Tarski invariants, and index sets
- Abelian p-groups and the halting problem
- Prime model with no degree of autostability relative to strong constructivizations
- scientific article; zbMATH DE number 4037810 (Why is no real title available?)
- scientific article; zbMATH DE number 41688 (Why is no real title available?)
- The minimality of certain decidability conditions for Boolean algebras
- scientific article; zbMATH DE number 1303207 (Why is no real title available?)
- On a question of Kalimullin
- Computable topological groups and Pontryagin duality
- scientific article; zbMATH DE number 934728 (Why is no real title available?)
- Definable Subsets of Polynomial-Time Algebraic Structures
- Proper divisibility in computable rings
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Algebraic structures computable without delay
- Index sets of constructive models that are autostable under strong constructivizations
- Perfect Local Computability of Superatomic Boolean Algebras
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
- Computability of Polish spaces up to homeomorphism
- Algebraic Geometry over Heyting Algebras
- Computable Stone spaces
- Punctually presented structures I: Closure theorems
- Regular bi-interpretability of Chevalley groups over local rings
- COMPUTABLY COMPACT METRIC SPACES
- On the computability of ordered fields
- On the 1-decidability of Boolean algebras with one distinguished ideal
- Computable Boolean algebras and complexity of the Fréchet ideal
- On learning families of ideals in lattices and Boolean algebras
- On learning down-sets in quasi-orders, and ideals in Boolean algebras
- On learning existentially definable subsets in a computable structure
- The existence of primitive recursive structures
- Undecidability of the degree structure of primitive recursive m-reducibility
- A non-computable c.e. closed subset of \([0, 1]\)
- A superatomic Boolean algebra with a distinguished subalgebra whose theory lacks simple models
- The 2-decidability of Boolean algebras with one distinguished ideal
- Elementary equivalence of countable atomless Boolean algebras with distinguished ideal
- On the theory of subalgebra lattices for arbitrary groupoids
- Weihrauch complexity for elementary embeddings into countable saturated models
- On computability-theoretic universality of Boolean-valued models
- What is nominalistic mereology?
- Computably categorical Boolean algebras enriched by ideals and atoms
- Index sets of autostable relative to strong constructivizations constructive models for familiar classes
- Partial automorphism semigroups
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3130249)
