Pages that link to "Item:Q5622176"
From MaRDI portal
The following pages link to Abstract Computability and Invariant Definability (Q5622176):
Displayed 7 items.
- Some applications of computable one-one numberings (Q750430) (← links)
- Inductive definability in formal language theory (Q1245578) (← links)
- Computability by means of effectively definable schemes and definability via enumerations (Q1263579) (← links)
- Enumeration Reducibility and Computable Structure Theory (Q2970965) (← links)
- (Q4993791) (← links)
- Inductive Definitions and Computability (Q5628117) (← links)
- The Game Quantifier (Q5654033) (← links)