Search results
From MaRDI portal
- Cantor-Bendixon rank of recursively enumerable sets 1993-10-24 Paper Friedberg splittings of recursively enumerable sets 1993-09-22 Paper Every recursive Boolean algebra...10 bytes (19 words) - 05:59, 9 December 2023
- of simple α-recursively enumerable sets 1976-01-01 Paper Ideals of Generalized Finite Sets in Lattices of α‐Recursively Enumerable Sets 1976-01-01 Paper...10 bytes (16 words) - 01:41, 13 December 2023
- of an α-Recursively Enumerable Set 1976-01-01 Paper Types of simple α-recursively enumerable sets 1976-01-01 Paper The recursively enumerable α-degrees...10 bytes (19 words) - 14:04, 8 December 2023
- undecidable region of a recursively enumerable set 1968-01-01 Paper Some theorems on extensions of arithmetic1 1967-01-01 Paper On sets represented by the same...10 bytes (20 words) - 08:27, 13 December 2023
- The density of infima in the recursively enumerable degrees 1991-01-01 Paper Working below a \(low_ 2\) recursively enumerable degree 1990-01-01 Paper On...10 bytes (19 words) - 22:01, 8 December 2023
- measure 2018-06-27 Paper Closure properties for fuzzy recursively enumerable languages and fuzzy recursive languages 2017-07-11 Paper https://portal.mardi4nfdi...10 bytes (20 words) - 18:00, 11 December 2023
- algorithm for rank aggregation problem 2007-09-19 Paper On a Class of Recursively Enumerable Sets 2000-05-15 Paper...10 bytes (16 words) - 12:58, 7 October 2023
- almost everywhere domination 2007-09-17 Paper An extension of the recursively enumerable Turing degrees 2007-07-23 Paper Reverse Mathematics and Π12 Comprehension...10 bytes (19 words) - 09:15, 7 October 2023
- Paper UNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS 2014-09-30 Paper The Complexity of Recursive Splittings of Random Sets 2014-06-19 Paper Martin-Löf...10 bytes (17 words) - 11:27, 7 October 2023
- Paper The number of nonzero binomial coefficients modulo p^alpha 2012-08-26 Paper k-Automatic Sets of Rational Numbers 2012-06-08 Paper Avoiding 3/2-powers...10 bytes (18 words) - 23:34, 9 December 2023
- 1992-06-25 Paper Sets in a Euclidean space which are not a countable union of convex subsets 1992-06-25 Paper Q-Sets, Sierpinski Sets, and Rapid Filters...10 bytes (17 words) - 10:23, 8 December 2023
- Paper The \(d\)-rank of an \(\alpha \)-space does not exceed 1 2020-08-03 Paper To the spectral theory of partially ordered sets. II 2020-06-24 Paper Vladimir...10 bytes (19 words) - 22:42, 8 December 2023
- 2009-07-10 Paper An analysis of the size of the minimum dominating sets in random recursive trees, using the Cockayne-Goodman-Hedetniemi algorithm 2009-06-24...10 bytes (16 words) - 03:27, 10 December 2023
- Threshold for Elementary Descent Recursive Functions 2008-02-07 Paper More on lower bounds for partitioning \(\alpha\)-large sets 2007-07-16 Paper Logical Approaches...10 bytes (16 words) - 12:41, 28 January 2024
- and their relation to Hadamard designs 1992-06-28 Paper The spectrum of \(\alpha\)-resolvable block designs with block size 3 1992-06-28 Paper https://portal...10 bytes (19 words) - 16:38, 12 December 2023
- first-order recursive functions 2024-02-06 Paper https://portal.mardi4nfdi.de/entity/Q6099621 2023-06-20 Paper Hall's theorem for enumerable families of...10 bytes (19 words) - 10:13, 7 October 2023
- Theq-Pilbert matrix 2013-01-22 Paper Words coding set partitions 2012-12-19 Paper Additive irreducibles in \alpha-expansions 2012-09-17 Paper Approximate counting...10 bytes (17 words) - 16:11, 6 December 2023
- fields of characteristic 2 1998-08-12 Paper An application of difference sets to a problem concerning graphical codes 1997-09-04 Paper Graphical codes...10 bytes (19 words) - 17:54, 12 December 2023
- https://portal.mardi4nfdi.de/entity/Q2920874 2014-09-29 Paper Symmetric digit sets for elliptic curve scalar multiplication without precomputation 2014-07-25...10 bytes (17 words) - 10:26, 25 September 2023
- Kähler-Einstein metrics on Fano manifolds 2015-04-23 Paper The Yang-Mills \(\alpha\)-flow in vector bundles over four manifolds and its applications 2015-04-02...10 bytes (17 words) - 15:25, 6 December 2023