Pages that link to "Item:Q1731520"
From MaRDI portal
The following pages link to Categoricity for primitive recursive and polynomial Boolean algebras (Q1731520):
Displaying 9 items.
- Constructing punctually categorical semigroups (Q828124) (← links)
- Primitively recursively categorical linear orderings (Q2002476) (← links)
- Primitive recursive fields and categoricity (Q2011324) (← links)
- Primitively recursive categoricity for unars and equivalence structures (Q2054224) (← links)
- Finitely generated structures computable in polynomial time (Q2088618) (← links)
- Punctual copies of algebraic structures (Q2186304) (← links)
- Effective categoricity of automatic equivalence and nested equivalence structures (Q2195573) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)
