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
- algebras, Tarski invariants, and index sets 2006-10-04 Paper INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS 2006-09-04 Paper Equimorphism...10 bytes (16 words) - 01:11, 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
- of computable sets 1992-09-27 Paper On co-simple isols and their intersection types 1992-09-27 Paper The p-T-degrees of the recursive sets: Lattice embeddings...10 bytes (19 words) - 22:01, 8 December 2023
- modal logic 1976-01-01 Paper On Sets Cook-Reducible to Sparse Sets 1976-01-01 Paper On partitions into stationary sets 1975-01-01 Paper Relativizations...10 bytes (19 words) - 04:23, 13 December 2023
- strong jump-traceability 2015-02-02 Paper COMPUTINGK-TRIVIAL SETS BY INCOMPLETE RANDOM SETS 2014-10-21 Paper CHARACTERIZING LOWNESS FOR DEMUTH RANDOMNESS...10 bytes (16 words) - 04:11, 25 September 2023
- Index sets of classes of hyper-hypersimple sets 1992-06-25 Paper Application of precomplete enumerations to tabular-type degrees and index sets 1989-01-01...10 bytes (18 words) - 01:06, 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 Strong degrees of...10 bytes (18 words) - 22:55, 11 December 2023
- level sets 2011-07-14 Paper Decidability and computability of certain torsion-free abelian groups 2010-06-11 Paper Limitwise monotonic functions, sets, and...10 bytes (18 words) - 22:51, 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
- computable families of reals 2024-01-31 Paper A classification of low c.e. sets and the Ershov hierarchy 2024-01-02 Paper Numberings, c.e. oracles, and fixed...10 bytes (18 words) - 06:50, 12 December 2023
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS 2023-06-05 Paper THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS 2022-04-04...10 bytes (19 words) - 14:04, 8 December 2023
- dimension and degrees of categoricity 2018-11-07 Paper Bounded low and high sets 2017-09-15 Paper DEGREES OF CATEGORICITY ON A CONE VIAη-SYSTEMS 2017-06-01...10 bytes (18 words) - 00:40, 11 December 2023
- infinitely many \(\Pi ^0_2\) sets 2017-02-24 Paper THE GENERIC DEGREES OF DENSITY-1 SETS, AND A CHARACTERIZATION OF THE HYPERARITHMETIC REALS 2016-03-22 Paper...10 bytes (16 words) - 12:08, 7 October 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
