Pages that link to "Item:Q5769518"
From MaRDI portal
The following pages link to The constructive second number class (Q5769518):
Displayed 15 items.
- Efficient linear orders (Q1231485) (← links)
- Recursion theoretic models of learning: Some results and intuitions (Q1924732) (← links)
- Zur Theorie der konstruktiven Wohlordnungen (Q2651884) (← links)
- Hierarchies of number-theoretic predicates (Q3226751) (← links)
- Constructive Versions of Ordinal Number Classes (Q3281066) (← links)
- The Role of True Finiteness in the Admissible Recursively Enumerable Degrees (Q3370614) (← links)
- On automorphisms of arbitrary mathematical systems (Q3712321) (← links)
- THE THEORY OF THE METARECURSIVELY ENUMERABLE DEGREES (Q5485749) (← links)
- On the notational independence of various hierarchies of degrees of unsolvability (Q5509684) (← links)
- On Hierarchies and Systems of Notations (Q5646888) (← links)
- Computability and Recursion (Q5689263) (← links)
- On notation for ordinal numbers (Q5772803) (← links)
- The formalization of mathematics (Q5829015) (← links)
- Recursive Predicates and Quantifiers (Q5843994) (← links)
- An open formalism against incompleteness (Q5937853) (← links)