Search results
From MaRDI portal
- 2021-10-21 Paper Dense computability structures 2021-07-15 Paper Computability of products of chainable continua 2021-06-24 Paper Computability of pseudo-cubes...10 bytes (13 words) - 17:16, 6 October 2023
- 2020-08-03 Paper A MINIMAL PAIR IN THE GENERIC DEGREES 2020-04-17 Paper Dense computability, upper cones, and minimal pairs 2020-01-17 Paper The reverse mathematics...10 bytes (16 words) - 08:01, 7 October 2023
- THE DETERMINED PROPERTY OF BAIRE IN REVERSE MATH 2020-04-17 Paper Dense computability, upper cones, and minimal pairs 2020-01-17 Paper THE COMPUTATIONAL...10 bytes (15 words) - 16:01, 24 September 2023
- Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics 2021-06-24 Paper Dense computability...10 bytes (19 words) - 10:13, 7 October 2023
- Publication Date of Publication Type Dense computability structures 2021-07-15 Paper A structure-preserving \(QR\) factorization...10 bytes (13 words) - 13:54, 6 October 2023
- ``The d.r.e. degrees are not dense 2017-09-29 Paper Formalism and intuition in computability 2015-08-21 Paper Turing Computability 2013-12-06 Paper \(\Pi_1^0\)...10 bytes (17 words) - 05:17, 9 December 2023
- Paper COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS II: DEGREE SPECTRA 2015-05-20 Paper COMPUTABILITY AND UNCOUNTABLE LINEAR ORDERS I: COMPUTABLE CATEGORICITY...10 bytes (15 words) - 00:55, 25 September 2023
- non-splitting 2008-06-09 Paper The Non-isolating Degrees Are Upwards Dense in the Computably Enumerable Degrees 2008-05-27 Paper Total Degrees and Nonsplitting...10 bytes (17 words) - 18:14, 9 December 2023
- the Dense Graphs Model 2011-07-29 Paper On Proximity-Oblivious Testing 2011-07-29 Paper On the benefits of adaptivity in property testing of dense graphs...10 bytes (15 words) - 11:36, 8 December 2023
- Non-density in punctual computability 2021-07-26 Paper COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM 2021-04-15 Paper Preferential Structures for Comparative...10 bytes (15 words) - 12:07, 6 October 2023
- 2018-08-10 Paper Degrees containing members of thin Π10 classes are dense and co-dense 2018-06-13 Paper Splitting into degrees with low computational strength...10 bytes (17 words) - 04:59, 9 December 2023
- theoretic properties of the group of computable automorphisms of a countable dense linear order 2003-06-09 Paper The computable dimension of ordered abelian groups...10 bytes (13 words) - 20:19, 8 December 2023
- IN COMPUTABILITY THEORY 2023-09-11 Paper Logic Blog 2022 2023-02-23 Paper https://portal.mardi4nfdi.de/entity/Q5874332 2023-02-07 Paper Computable topological...10 bytes (15 words) - 10:15, 9 December 2023
- Problem in Dense Hypergraphs 2010-04-27 Paper Algorithms and Data Structures 2010-04-20 Paper The Complexity of Perfect Matching Problems on Dense Hypergraphs...10 bytes (15 words) - 11:40, 28 January 2024
- Logic of the Lexicographic Products of Unbounded Dense Linear Orders: A New Study of Its Computability 2020-07-14 Paper Contact Logic is Finitary for Unification...10 bytes (14 words) - 22:29, 10 December 2023
- Temporal Logic with Counting 2016-06-10 Paper A Logical Characterization for Dense-Time Visibly Pushdown Automata 2016-04-13 Paper Time-Bounded Reachability...10 bytes (15 words) - 06:39, 7 October 2023
- factorization of dense rectangular matrices 1988-01-01 Paper https://portal.mardi4nfdi.de/entity/Q4728241 1987-01-01 Paper Parallel solution of dense linear systems...10 bytes (16 words) - 16:16, 11 December 2023
- hypersimple-free c.e. wtt degrees are dense in the c.e. wtt degrees 2007-02-20 Paper A c.e. real that cannot be sw-computed by any \(\Omega\) number 2007-02-15...10 bytes (17 words) - 05:18, 12 December 2023
- noncupping theorem 2007-02-20 Paper Computability of measurable sets via effective topologies 2006-03-22 Paper Computability of measurable sets via effective...10 bytes (13 words) - 14:21, 6 December 2023
- verified proof of the central limit theorem 2018-02-02 Paper On the computability of graphons 2018-01-31 Paper Proof Theory 2017-11-06 Paper Eliminating...10 bytes (15 words) - 15:04, 10 December 2023
