Pages that link to "Item:Q5337196"
From MaRDI portal
The following pages link to Number theoretic concepts and recursive well-orderings (Q5337196):
Displaying 14 items.
- Well-foundedness in realizability (Q850808) (← links)
- Arithmetic transfinite induction and recursive well-orderings (Q1071019) (← links)
- Borel ideals vs. Borel sets of countable relations and trees (Q1120573) (← links)
- Simple structures with complex symmetry (Q1957352) (← links)
- The use of lists in the study of undecidable problems in automata theory (Q2551463) (← links)
- Degrees of categoricity of computable structures (Q2655143) (← links)
- From index sets to randomness in ∅<sup>n</sup>: random reals and possibly infinite computations part II (Q3616346) (← links)
- Optimal bounds for ordinal comparison maps (Q3737421) (← links)
- Implicational complexity in intuitionistic arithmetic (Q3949044) (← links)
- A note on many·one reducibility (Q5337197) (← links)
- Extensions of the constructive ordinals (Q5344168) (← links)
- On many-one degrees (Q5586292) (← links)
- On the completeness of some transfinite recursive progressions of axiomatic theories (Q5591513) (← links)
- Transfinite recursive progressions of axiomatic theories (Q5727661) (← links)
