CHIDE
发表于 2025-3-30 10:33:13
Index Sets in Recursive Combinatorics,and seeing if they can be made effective. The framework is recursion-theoretic. Typically, if a theorem has a noneffective proof, one would find a ‘recursive version’ of it and see if it is true. Usually the recursive version is false, hence the original proof is necessarily noneffective.
Neonatal
发表于 2025-3-30 16:22:16
Computability in Unitary Representations of Compact Groups,ntation into its irreducible parts. Difficulties in finding the effective procedure are caused by the absolute lack of .. information about the irreducible representations and the obligation of making decisions from inexact data. Several lemmas on group representations (classical, i.e. computability
bibliophile
发表于 2025-3-30 19:14:09
Recursive Properties of Intervals of Recursive Linear Orders,ith a co-r.e. interval .. We characterize those . for which there exists a recursive linear order ℬ and an isomorphism .: ℬ ≅ . such that ... is (a) not r.e.; (b) immune; (c) hyperimmune. We give general sufficient conditions for . and the subset . under which there exist such ℬ and . with ..(P) exh
暗语
发表于 2025-3-30 22:38:39
http://reply.papertrans.cn/59/5882/588152/588152_54.png
Noisome
发表于 2025-3-31 03:07:19
The Combinatorics of the Friedberg-Muchnick Theorem,ority proofs can be found in . To this date, this part of recursion theory is at about the same stage of development as real analysis was in the early days, when the notions of topology, continuity, compactness, vector space, inner product space, etc., were not invented. There were no general th
Conclave
发表于 2025-3-31 05:08:27
,Partial Automata and Finitely Generated Congruences: An Extension of Nerode’s Theorem,ne-to-one correspondence (up to isomorphism) with the finite partial automata on .. with no inaccessible and no inessential states. We give an application in term rewriting: every ground term rewrite system has a canonical equivalent system that can be constructed in polynomial time.
Bravado
发表于 2025-3-31 12:29:14
Intuitionistic L, V = L and also of IZF. While these are not exciting results classically, they and their associated lemmas are examples of the phenomenon that classical trivialities can become sticky intuitionistically, when they are not downright false.
星星
发表于 2025-3-31 17:01:23
n-Recursive Linear Orders without (n+1)-Recursive Copies,ive relations in the structure. This concept generalizes to that of an .-recursive structure, in which the Σ. formulae uniformly denote recursive relations. I present a sequence of simply defined relations in the language of linear order and show that a recursive linear order of type ω. (with . < ω)
agnostic
发表于 2025-3-31 18:43:12
http://reply.papertrans.cn/59/5882/588152/588152_59.png
Coterminous
发表于 2025-3-31 21:48:24
http://reply.papertrans.cn/59/5882/588152/588152_60.png