Search results
From MaRDI portal
- semantics of realizability for the constructive set theory based on hyperarithmetical predicates 2017-09-08 Paper Arithmetical realizability and primitive recursive...10 bytes (18 words) - 22:13, 10 December 2023
- Recursive Functions and Hierarchies 1973-01-01 Paper A note on the hyperarithmetical hierarchy 1971-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5642548...10 bytes (18 words) - 20:16, 12 December 2023
- Publication Date of Publication Type Hyperarithmetical Sets 2020-08-06 Paper Ordinal games and playful models 2020-03-09 Paper Measurable cardinals in...10 bytes (19 words) - 14:29, 12 December 2023
- 1994-04-27 Paper The existential theory of the poset of R.E. degrees with a predicate for single jump reducibility 1993-04-01 Paper The d.r.e. degrees are not...10 bytes (17 words) - 01:55, 25 September 2023
- arithmetic; Gödel number; hyperarithmetical function; hyperarithmetical predicate; hyperarithmetical realizability; hyperarithmetical set Mathematics Subject...15 bytes (67 words) - 02:47, 30 January 2024
- hierarchy; complexities of classes of hyper-hypersimple sets; index set of a predicate which is elementary in the lattice of recursively enumerable sets Mathematics...15 bytes (96 words) - 00:22, 30 January 2024
