The following pages link to (Q3130249):
Displaying 35 items.
- Abelian \(p\)-groups and the halting problem (Q306578) (← links)
- Proper divisibility in computable rings (Q504325) (← links)
- Algebraic structures computable without delay (Q528478) (← links)
- What is nominalistic mereology? (Q742476) (← links)
- Computably categorical Boolean algebras enriched by ideals and atoms (Q764268) (← links)
- Index sets of autostable relative to strong constructivizations constructive models for familiar classes (Q906085) (← links)
- Partial automorphism semigroups (Q998310) (← links)
- On computable presentations of some functional lattices (Q1044671) (← links)
- Degree spectra and computable dimensions in algebraic structures (Q1612482) (← links)
- Computable torsion abelian groups (Q1688648) (← links)
- A note on computable distinguishing colorings (Q2030129) (← links)
- Punctual dimension of algebraic structures in certain classes (Q2030135) (← links)
- Computable metrics above the standard real metric (Q2033336) (← links)
- Categoricity spectra of computable structures (Q2036466) (← links)
- On bi-embeddable categoricity of algebraic structures (Q2067511) (← links)
- The theories of superatomic Boolean algebras with distinguished subalgebra which lack countably saturated models (Q2191384) (← links)
- On the isomorphism problem for measures on Boolean algebras (Q2257190) (← links)
- Categorical linearly ordered structures (Q2311213) (← links)
- Boolean algebras realized by c.e. equivalence relations (Q2403654) (← links)
- Effective categoricity for distributive lattices and Heyting algebras (Q2404797) (← links)
- Boolean algebras, Tarski invariants, and index sets (Q2505128) (← links)
- Prime Model with No Degree of Autostability Relative to Strong Constructivizations (Q3195686) (← links)
- On a question of Kalimullin (Q4563668) (← links)
- Computable topological groups and Pontryagin duality (Q4691089) (← links)
- Definable Subsets of Polynomial-Time Algebraic Structures (Q5042236) (← links)
- FOUNDATIONS OF ONLINE STRUCTURE THEORY (Q5226592) (← links)
- Index Sets of Constructive Models that are Autostable Under Strong Constructivizations (Q5741335) (← links)
- Perfect Local Computability of Superatomic Boolean Algebras (Q5741358) (← links)
- ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES (Q5855756) (← links)
- COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM (Q5858927) (← links)
- Algebraic Geometry over Heyting Algebras (Q5859227) (← links)
- Computable Stone spaces (Q6109093) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)
- Regular bi-interpretability of Chevalley groups over local rings (Q6166634) (← links)
- COMPUTABLY COMPACT METRIC SPACES (Q6170503) (← links)
