Nome |
# |
Comparing the degrees of enumerability and the closed Medvedev degrees, file e0feeaa7-bfce-44d2-e053-6605fe0a8db0
|
106
|
Classifying equivalence relations in the Ershov hierarchy, file e0feeaa8-e97e-44d2-e053-6605fe0a8db0
|
83
|
Effective inseparability, lattices, and preordering relations, file e0feeaaa-f95b-44d2-e053-6605fe0a8db0
|
25
|
Trial and error mathematics II: dialectical sets and quasi-dialectical sets,
their degrees, and their distribution within the class of limit sets., file e0feeaa6-1108-44d2-e053-6605fe0a8db0
|
13
|
Jumps of computably enumerable equivalence relations, file e0feeaab-9ad2-44d2-e053-6605fe0a8db0
|
12
|
The complexity of index sets of classes of computably enumerable equivalence relations, file e0feeaab-9f2d-44d2-e053-6605fe0a8db0
|
12
|
Initial segments of the degrees of ceers, file e0feeaab-d2bb-44d2-e053-6605fe0a8db0
|
12
|
Trial and error mathematics II: dialectical sets and quasi-dialectical sets,
their degrees, and their distribution within the class of limit sets., file e0feeaab-4d70-44d2-e053-6605fe0a8db0
|
11
|
Weakly precomplete computably enumerable equivalence relations, file e0feeaab-9f34-44d2-e053-6605fe0a8db0
|
10
|
A note on uniform density in weak arithmetical theories, file e0feeaa9-4499-44d2-e053-6605fe0a8db0
|
9
|
Initial segments of the Σ0 2 enumeration degrees, file e0feeaab-8385-44d2-e053-6605fe0a8db0
|
9
|
Trial and error mathematics: dialectical systems and completions of theories, file e0feeaa7-bdab-44d2-e053-6605fe0a8db0
|
8
|
Trial and error mathematics I: dialectical and quasi-dialectical systems, file e0feeaa5-b155-44d2-e053-6605fe0a8db0
|
7
|
S. Barry Cooper (1943-2015), file e0feeaa7-a200-44d2-e053-6605fe0a8db0
|
7
|
A note on algebras of languages, file e0feeaa4-c6d4-44d2-e053-6605fe0a8db0
|
6
|
A note on initial segments of the enumeration degrees, file e0feeaa5-020e-44d2-e053-6605fe0a8db0
|
6
|
Notes on conjunctive and quasi degrees, file e0feeaab-1db5-44d2-e053-6605fe0a8db0
|
6
|
Classifying word problems of finitely generated algebras via computable reducibility, file 17c88a9b-1a4e-40e1-bea8-f205d241cb51
|
5
|
Intuitionistic logic and Muchnik degrees, file e0feeaa4-c750-44d2-e053-6605fe0a8db0
|
5
|
Initial segments of the Σ0 2 enumeration degrees, file e0feeaa7-0e55-44d2-e053-6605fe0a8db0
|
5
|
Initial segments of the degrees of ceers, file c7865bf6-04d1-4311-969c-f20dbd04a764
|
4
|
Intermediate logics and factors of the Medvedev lattice, file e0feeaa4-c714-44d2-e053-6605fe0a8db0
|
4
|
Universal computably enumerable equivalence relations, file e0feeaa5-0285-44d2-e053-6605fe0a8db0
|
4
|
The complexity of index sets of classes of computably enumerable equivalence relations, file e0feeaa6-0b3e-44d2-e053-6605fe0a8db0
|
4
|
Calibrating word problems of groups via the complexity of equivalence relations, file e0feeaa7-0326-44d2-e053-6605fe0a8db0
|
4
|
Jumps of computably enumerable equivalence relations, file e0feeaa7-dcf5-44d2-e053-6605fe0a8db0
|
4
|
Weakly precomplete computably enumerable equivalence relations, file e0feeaa9-cfb7-44d2-e053-6605fe0a8db0
|
4
|
Classifying word problems of finitely generated algebras via computable reducibility, file 482a83ba-9ba2-46de-a436-da1d4fcca692
|
3
|
Undecidability of local structures of s-degrees and Q-degrees, file e0feeaa4-c711-44d2-e053-6605fe0a8db0
|
3
|
Some remarks on completion of numberings, file e0feeaa4-c715-44d2-e053-6605fe0a8db0
|
3
|
Lattices of local two-dimensional languages, file e0feeaa4-c716-44d2-e053-6605fe0a8db0
|
3
|
Topological aspects of the Medvedev lattice, file e0feeaa4-c72b-44d2-e053-6605fe0a8db0
|
3
|
On learning to coordinate: random bits help, insightful normal forms, and competency isomorphisms., file e0feeaa4-e0c1-44d2-e053-6605fe0a8db0
|
3
|
Positive undecidable numberings in the Ershov hierarchy, file e0feeaa4-f8fe-44d2-e053-6605fe0a8db0
|
3
|
Friedberg numberings in the Ershov hierarchy, file e0feeaa5-b400-44d2-e053-6605fe0a8db0
|
3
|
Joins and meets in the structure of ceers, file e0feeaa8-acd0-44d2-e053-6605fe0a8db0
|
3
|
The distribution of properly Sigma(0)(2) e-degrees, file e0feeaa8-b279-44d2-e053-6605fe0a8db0
|
3
|
Self-full ceers and the uniform join operator, file e0feeaa8-f457-44d2-e053-6605fe0a8db0
|
3
|
Primitive recursive equivalence relations and their primitive recursive complexity, file e6c229c8-5f12-4bf8-acb0-5f3941f64cc7
|
3
|
Conjunctive degrees and cylinders, file 3f795885-eeaa-49be-859c-4fb87be98a77
|
2
|
Conjunctive degrees and cylinders, file 58e9627c-9e0d-49f3-9a60-40fa12e0c694
|
2
|
On extensions of embeddings into the enumeration degrees of the Σ02-sets, file e0feeaa4-c6ee-44d2-e053-6605fe0a8db0
|
2
|
Strong enumeration reducibilities, file e0feeaa4-c6ef-44d2-e053-6605fe0a8db0
|
2
|
Properly Σ02 enumeration degrees and the high/low hierarchy, file e0feeaa4-c6f0-44d2-e053-6605fe0a8db0
|
2
|
Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy, file e0feeaa4-c70f-44d2-e053-6605fe0a8db0
|
2
|
Bounding nonsplitting enumeration degrees, file e0feeaa4-c710-44d2-e053-6605fe0a8db0
|
2
|
Branching in the Σ02 -enumeration degrees: a new perspective, file e0feeaa4-c712-44d2-e053-6605fe0a8db0
|
2
|
A characterization of the Δ20 hyperhyperimmune sets, file e0feeaa4-c713-44d2-e053-6605fe0a8db0
|
2
|
Diamond embeddings into the enumeration degrees, file e0feeaa4-c717-44d2-e053-6605fe0a8db0
|
2
|
Immunity properties of the s-degrees, file e0feeaa4-c718-44d2-e053-6605fe0a8db0
|
2
|
There exists a maximal 3-c.e. enumeration degree, file e0feeaa4-c746-44d2-e053-6605fe0a8db0
|
2
|
Bounding and nonbounding minimal pairs in the enumeration degrees, file e0feeaa4-c747-44d2-e053-6605fe0a8db0
|
2
|
Elementary theories for Rogers semilattices, file e0feeaa4-c748-44d2-e053-6605fe0a8db0
|
2
|
Bounded enumeration reducibility and its degree structure, file e0feeaa4-c74f-44d2-e053-6605fe0a8db0
|
2
|
Immunity properties and strong positive reducibilities, file e0feeaa4-c7a8-44d2-e053-6605fe0a8db0
|
2
|
Pomology observations, morphometric analysis, ultrastructural study and allelic profiles of "olivastra Seggianese" endocarps from ancient olive trees (Olea europaea L.), file e0feeaa4-ddfe-44d2-e053-6605fe0a8db0
|
2
|
Morfometria geometrica non invasiva su semi archeologici di vite per
risalire all'origine di antiche varietà antropiche, file e0feeaa4-fca6-44d2-e053-6605fe0a8db0
|
2
|
Taking the Pirahã seriously, file e0feeaa5-a20d-44d2-e053-6605fe0a8db0
|
2
|
Generalizations of the Weak Law of the Excluded Middle, file e0feeaa5-af21-44d2-e053-6605fe0a8db0
|
2
|
On learning to coordinate random bits help, insightful normal forms, and competency isomorphisms, file e0feeaa6-f608-44d2-e053-6605fe0a8db0
|
2
|
On elementary theories and isomorphism types of Rogers semilattices, file e0feeaa6-f67a-44d2-e053-6605fe0a8db0
|
2
|
Elementary properties of Rogers semilattices of arithmetical numberings, file e0feeaa6-f8a3-44d2-e053-6605fe0a8db0
|
2
|
A survey on universal computably enumerable equivalence relations, file e0feeaa6-fe8c-44d2-e053-6605fe0a8db0
|
2
|
Noncappable enumeration degrees below 0e′, file e0feeaa8-ace3-44d2-e053-6605fe0a8db0
|
2
|
The enumeration degrees of the Sigma_2^0 sets, file e0feeaa8-b05e-44d2-e053-6605fe0a8db0
|
2
|
The theory of ceers computes true arithmetic, file e0feeaa9-3190-44d2-e053-6605fe0a8db0
|
2
|
Word problems and ceers, file e0feeaa9-87ce-44d2-e053-6605fe0a8db0
|
2
|
Incomparability in local structures of $s$-degrees and $Q$-degrees, file e0feeaa9-93e6-44d2-e053-6605fe0a8db0
|
2
|
The category of equivalence relations, file e0feeaaa-e839-44d2-e053-6605fe0a8db0
|
2
|
Effective inseparability, lattices, and preordering relations, file e0feeaaa-ef0d-44d2-e053-6605fe0a8db0
|
2
|
Effective Inseparability and Its Applications, file e0feeaab-0ba7-44d2-e053-6605fe0a8db0
|
2
|
Minimal degrees and downwards density in some strong positive reducibilities and quasi-reducibilities, file 12e20251-c5e7-4c55-b655-09efe6b51fea
|
1
|
Empty intervals in the enumeration degrees, file e0feeaa4-c7aa-44d2-e053-6605fe0a8db0
|
1
|
Singleton enumeration reducibility and arithmetic, file e0feeaa5-08cf-44d2-e053-6605fe0a8db0
|
1
|
Embeddings into the enumeration degrees, file e0feeaa6-0c77-44d2-e053-6605fe0a8db0
|
1
|
Ricordo di Franco Montagna, file e0feeaa6-e977-44d2-e053-6605fe0a8db0
|
1
|
High minimal pairs in the enumeration degrees, file e0feeaa6-f5f9-44d2-e053-6605fe0a8db0
|
1
|
Strong positive reducibilities, file e0feeaa6-f5fc-44d2-e053-6605fe0a8db0
|
1
|
The first order theories of the Medvedev and Muchnik lattices, file e0feeaa6-f5fe-44d2-e053-6605fe0a8db0
|
1
|
Le direzioni della ricerca logica in Italia: la teoria (classica) della computabilità, file e0feeaa7-bfd2-44d2-e053-6605fe0a8db0
|
1
|
Density results in the Delta-0-2 e-degrees, file e0feeaa8-3da7-44d2-e053-6605fe0a8db0
|
1
|
Branching in the enumeration degrees of the Σ02sets, file e0feeaa8-4f08-44d2-e053-6605fe0a8db0
|
1
|
Some Quotient Lattices of the Medvedev Lattice, file e0feeaa8-7522-44d2-e053-6605fe0a8db0
|
1
|
Algebraic properties of Rogers semilattices of arithmetical numberings, file e0feeaa8-9966-44d2-e053-6605fe0a8db0
|
1
|
Isomorphism types and theories of Rogers semilattices of arithmetical numberings, file e0feeaa8-9968-44d2-e053-6605fe0a8db0
|
1
|
Completeness and universality of arithmetical numberings, file e0feeaa8-996a-44d2-e053-6605fe0a8db0
|
1
|
Some remarks on tiling recognizable languages, file e0feeaa8-a965-44d2-e053-6605fe0a8db0
|
1
|
Quasi-minimal enumeration degrees and minimal Turing degrees, file e0feeaa8-aa4a-44d2-e053-6605fe0a8db0
|
1
|
Structural properties and Sigma^0_2 enumeration degrees, file e0feeaa8-acd2-44d2-e053-6605fe0a8db0
|
1
|
Sets of generators and automorphism bases for the enumeration degrees, file e0feeaa8-acd6-44d2-e053-6605fe0a8db0
|
1
|
Some remarks on the algebraic structure of the Medvedev Lattice, file e0feeaa8-ace5-44d2-e053-6605fe0a8db0
|
1
|
Classifying positive equivalence relations, file e0feeaa8-ace6-44d2-e053-6605fe0a8db0
|
1
|
Universal recursion theoretic properties of r.e. preordered structures, file e0feeaa8-ace8-44d2-e053-6605fe0a8db0
|
1
|
On some filters and ideals of the Medvedev lattice, file e0feeaa8-acec-44d2-e053-6605fe0a8db0
|
1
|
Embedding Brouwer algebras in the Medvedev lattice, file e0feeaa8-af09-44d2-e053-6605fe0a8db0
|
1
|
Comparing Pi^0_2 of the Baire space by means of general recursive operators, file e0feeaa8-af0b-44d2-e053-6605fe0a8db0
|
1
|
Jumps of Sigma(0)(2)-high e-degrees and properly Sigma(0)(2) e-degrees, file e0feeaa8-b058-44d2-e053-6605fe0a8db0
|
1
|
Relative splittings of 0_e' in the Delta_2^0 enumeration degrees, file e0feeaa8-b05a-44d2-e053-6605fe0a8db0
|
1
|
Open problems in the enumeration degrees, file e0feeaa8-b05c-44d2-e053-6605fe0a8db0
|
1
|
Creativeness and completeness in recursion categories of partial recursive operators, file e0feeaa8-b19c-44d2-e053-6605fe0a8db0
|
1
|
Totale |
514 |