Search results
From MaRDI portal
- reducibility 1964-01-01 Paper Recursive linear orderings and hyperarithmetical functions 1962-01-01 Paper Proof of a Conjecture of Routledge 1961-01-01...10 bytes (18 words) - 23:16, 12 December 2023
- Enumerable Sets 1968-01-01 Paper An introduction to hyperarithmetical functions 1967-01-01 Paper https://portal.mardi4nfdi.de/entity/Q5181353 1965-01-01 Paper...10 bytes (17 words) - 09:59, 24 September 2023
- 2019-10-28 Paper On the structure of the Wadge degrees of bqo-valued Borel functions 2019-06-05 Paper BOREL FUNCTORS AND INFINITARY INTERPRETATIONS 2019-01-04...10 bytes (16 words) - 01:11, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q4052071 1972-01-01 Paper A note on the hyperarithmetical hierarchy 1971-01-01 Paper Approximating the standard model of analysis...10 bytes (19 words) - 07:54, 7 October 2023
- Publication Date of Publication Type Completeness of the hyperarithmetic isomorphism equivalence relation 2022-05-31 Paper PUNCTUAL CATEGORICITY AND UNIVERSALITY...10 bytes (18 words) - 22:51, 11 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
- constructions of Ahmad 2023-01-12 Paper THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS 2022-04-04 Paper FINDING DESCENDING...10 bytes (18 words) - 22:34, 24 September 2023
- theorems 1989-01-01 Paper Proof-theoretical analysis: Weak systems of functions and classes 1988-01-01 Paper On cut elimination in the presence of perice...10 bytes (17 words) - 18:35, 9 December 2023
- sets 2020-12-04 Paper Computable positive and Friedberg numberings in hyperarithmetic 2020-12-03 Paper Khutoretskii's theorem for generalized computable families...10 bytes (18 words) - 02:03, 12 December 2023
- TOPOLOGICAL DYNAMICS 2022-08-29 Paper A non-hyperarithmetical Gödel logic 2022-07-01 Paper Hyperarithmetical worm battles 2022-07-01 Paper Deducibility...10 bytes (19 words) - 17:23, 11 December 2023
- analytical hierarchy 2021-01-08 Paper Minimal equivalence relations in hyperarithmetical and analytical hierarchies 2020-10-27 Paper Classifying equivalence...10 bytes (16 words) - 17:02, 12 December 2023
- Arithmetical and Hyperarithmetical Worm Battles 2023-01-04 Paper https://portal.mardi4nfdi.de/entity/Q5104696 2022-09-15 Paper Hyperarithmetical worm battles...10 bytes (18 words) - 05:33, 7 October 2023
- rainbow Ramsey Theorem 2010-01-07 Paper Linear orders with distinguished function symbol 2009-03-17 Paper The Settling Time Reducibility Ordering and Formula...10 bytes (18 words) - 00:40, 11 December 2023
- non-computable functions 2014-04-01 Paper Strong jump-traceability. II: \(K\)-triviality 2013-11-01 Paper RELATIVE TO ANY NON-HYPERARITHMETIC SET 2013-10-17...10 bytes (16 words) - 04:11, 25 September 2023
- of Gandy's 1974-01-01 Paper Recursive Functions and Hierarchies 1973-01-01 Paper A note on the hyperarithmetical hierarchy 1971-01-01 Paper https://portal...10 bytes (18 words) - 20:16, 12 December 2023
- sets in the hyperarithmetical hierarchy 1984-01-01 Paper Hierarchy of limiting computations 1984-01-01 Paper Hierarchies of hyperarithmetical sets and functions...10 bytes (18 words) - 01:06, 11 December 2023
- mardi4nfdi.de/entity/Q3705445 1983-01-01 Paper Rapidly growing Ramsey functions 1981-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3944599 1981-01-01...10 bytes (19 words) - 04:23, 13 December 2023
- approach to Borel functions: some extensions of Louveau's theorem 2023-09-27 Paper Topological reducibilities for discontinuous functions and their structures...10 bytes (16 words) - 09:45, 24 September 2023
- Recursion theoretic papers. Introduction to Part VI 2020-03-09 Paper Definable functions on degrees 2020-03-09 Paper Schmerl decompositions in first order arithmetic...10 bytes (19 words) - 22:01, 8 December 2023
- de/entity/Q4938559 2000-08-15 Paper Computable structures and the hyperarithmetical hierarchy 2000-07-20 Paper https://portal.mardi4nfdi.de/entity/Q4249362...10 bytes (18 words) - 19:37, 11 December 2023
