Search results
From MaRDI portal
- complete Horn theories 1982-01-01 Paper Isomorphism types of the hyperarithmetic sets \(H_a\) 1978-01-01 Paper Some Examples of Constructive and Non-Constructive...10 bytes (18 words) - 10:37, 13 December 2023
- Paper Undecidability vs transfinite induction for the consistency of hyperarithmetical sets 1982-01-01 Paper Consistency proof without transfinite induction...10 bytes (16 words) - 06:37, 13 December 2023
- Paper Undecidability vs transfinite induction for the consistency of hyperarithmetical sets 1982-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4104508 1975-01-01...10 bytes (16 words) - 01:53, 25 September 2023
- theorem for the enumeration jump 2000-10-30 Paper Intrinsically Hyperarithmetical Sets 1997-02-23 Paper Intrinsically II Relations 1996-09-09 Paper https://portal...10 bytes (19 words) - 07:56, 13 December 2023
- the set of atoms of a Boolean algebra 2008-06-27 Paper Ranked structures and arithmetic transfinite recursion 2008-01-21 Paper A Weakly 2-Random Set That...10 bytes (16 words) - 01:11, 12 December 2023
- de/entity/Q5271417 2017-07-11 Paper Classical descriptive set theory as a refinement of effective descriptive set theory 2011-09-12 Paper Kleene's Amazing Second...10 bytes (19 words) - 14:29, 12 December 2023
- 1984-01-01 Paper Hierarchies of hyperarithmetical sets and functions 1983-01-01 Paper Structure of degrees of generalized index sets 1983-01-01 Paper https://portal...10 bytes (18 words) - 01:06, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q5626665 1971-01-01 Paper A model of set-theory in which every set of reals is Lebesgue measurable 1970-01-01 Paper Internal cohen...10 bytes (19 words) - 04:23, 13 December 2023
- computing absolutely normal numbers 2013-12-13 Paper RELATIVE TO ANY NON-HYPERARITHMETIC SET 2013-10-17 Paper K-TRIVIALS ARE NEVER CONTINUOUSLY RANDOM 2013-06-03...10 bytes (19 words) - 22:01, 8 December 2023
- jump-traceability. II: \(K\)-triviality 2013-11-01 Paper RELATIVE TO ANY NON-HYPERARITHMETIC SET 2013-10-17 Paper Natural Large Degree Spectra 2013-10-10 Paper Martin-Löf...10 bytes (16 words) - 04:11, 25 September 2023
- Paper The semantics of realizability for the constructive set theory based on hyperarithmetical predicates 2017-09-08 Paper Arithmetical realizability and...10 bytes (18 words) - 22:13, 10 December 2023
- the recursively enumerable sets 1989-01-01 Paper A high strongly noncappable degree 1988-01-01 Paper Hyperarithmetical Index Sets in Recursion Theory 1987-01-01...10 bytes (17 words) - 01:55, 25 September 2023
- Semidecidable numberings in admissible sets 2020-12-04 Paper Computable positive and Friedberg numberings in hyperarithmetic 2020-12-03 Paper Strong degrees of...10 bytes (18 words) - 22:55, 11 December 2023
- ``racing pawns game, internal hyperarithmetic comprehension, and the law of excluded middle 2013-04-25 Paper A \(K\)-trivial set which is not jump traceable...10 bytes (18 words) - 22:51, 11 December 2023
- of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem 2013-07-25 Paper Galvin's ``racing pawns game, internal hyperarithmetic comprehension...10 bytes (18 words) - 20:00, 11 December 2023
- Semidecidable numberings in admissible sets 2020-12-04 Paper Computable positive and Friedberg numberings in hyperarithmetic 2020-12-03 Paper Yurii Leonidovich...10 bytes (18 words) - 22:55, 11 December 2023
- computable families of computably enumerable sets 2021-11-16 Paper Semidecidable numberings in admissible sets 2020-12-04 Paper Computable positive and Friedberg...10 bytes (18 words) - 02:03, 12 December 2023
- A majorizing semantics for hyperarithmetic sentences 1981-01-01 Paper An approach to the constructivization of Cantor's set theory 1981-01-01 Paper https://portal...10 bytes (17 words) - 18:35, 9 December 2023
- Enumerable Set 1975-01-01 Paper Square bracket partition relations in L 1974-01-01 Paper Cohesive Sets: Countable and Uncountable 1974-01-01 Paper Σn sets which...10 bytes (19 words) - 14:04, 8 December 2023
- structures from informant 2020-12-15 Paper Minimal equivalence relations in hyperarithmetical and analytical hierarchies 2020-10-27 Paper Classifying equivalence...10 bytes (18 words) - 19:55, 13 December 2023
