Pages that link to "Item:Q2002476"
From MaRDI portal
The following pages link to Primitively recursively categorical linear orderings (Q2002476):
Displaying 7 items.
- Categorical characterizations of the natural numbers require primitive recursion (Q476119) (← links)
- Primitively recursive categoricity for unars and equivalence structures (Q2054224) (← links)
- Online presentations of finitely generated structures (Q2205949) (← links)
- (Q4133634) (← links)
- (Q4271281) (← links)
- (Q4781770) (← links)
- Punctually presented structures I: Closure theorems (Q6146821) (← links)