Search results

Cholak P. [1994] The translation theorem Arch. Math. Logik Grundl., 33, № 2, 87-108 95.03.45 O article Вернуться к поиску

Cholak P. [2000] The global structure of computabily enumerable sets Contemporary Math., 257, 61-72 05.08.92 article Вернуться к поиску

Cholak P., Nies A. [1999] Atomless r -maximal sets Israel J. Math., 113, 305-322 ? OS article Вернуться к поиску

Cholak P., Greenberg N., Miller J.S. [2006] Uniform almost everywhere domination J. Symbolic Logic, 71, № 3, 1057-1072 ? article Вернуться к поиску

Cholak P., Downey R. G. [1994] Permutations and presentations Proc. Amer. Math. Soc., 122, № 4, 1237-1249 95.06.201 O article Вернуться к поиску

Cholak P., Harrington L. A. ? Jump classes and computable enumerable sets ? ? O article Вернуться к поиску

Cholak P., Downey R. G. [1993] On the Cantor-Bendixon rank of recursively enumerable sets J. Symbolic Logic, 58, № 2, 629-640 ? article Вернуться к поиску

Cholak P., Downey R. G., Herrmann E. [2001] Some orbits for E Ann. Pure Appl. Logic, 107, № 1-3, 193-226 ? article Вернуться к поиску

Cholak P., Downey R. G., Walk S. [2002] Maximal contiguous degrees J. Symbolic Logic, 67, № 1, 409-437 05.09.81 S article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. ? Automorphisms of the lattice of computable enumerable sets In prepar. ? O article Вернуться к поиску

Blair H. A., Cholak P. [1994] The complexity of local stratification Fund. Inform., 21, № 4, 333-344 ? article Вернуться к поиску

Cholak P., Hinman P.G. [1994] Iterated relative recursive enumerability, Arch. Math. Logik Grundl., 33, № 5, 321-346 95.11.51 article Вернуться к поиску

Cholak P., Groszek M., Slaman T.A. A. [2001] An almost deep degrees J. Symbolic Logic, 66, № 2, 881-901 05.09.74 article Вернуться к поиску

Cholak P., Harrington L. A. [2000] Definable encodings in the computably enumerable sets Bull. Symbolic Logic, 6, № 2, 185-196 05.08.93 S article Вернуться к поиску

Cholak P., Harrington L. A. [2003] Isomorphisms of splits of computably enumerable sets J. Symbolic Logic, 68, № 3, 1044-1064 06.02.29 article Вернуться к поиску

Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску

Cholak P., Downey R. G., Shore R. A. [1998] Intervals without critical triples Lect. Notes in Logic, 11, 17-43, Springer -Verlag ? article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. [2008] On the orbits of computable enumerable sets J. Amer. Math. Soc., 21, 1105-1135 ? article Вернуться к поиску

Cholak P., Harrington L. A. [2002] On the definability of the double jump in the computably enumerable sets J. Math. Logic, 2, № 2, 261-296 ? S article Вернуться к поиску

Cholak P., Downey R. G. [1993] Undecidability and definability for parametrized polynomial time m -reducibilities Progr. Comput. Sci. Appl. Logic, 12, 194-221 ? article Вернуться к поиску

Cholak P., Downey R. G. [1993] Lattice nonembeddings and intervals of the recursively enumerable degrees Ann. Pure Appl. Logic, 61, № 3, 195-221 ? article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. [2008] The complexity of orbits of computable enumerable sets Bull. Symbolic Logic, 14, № 2, 69-87 ? article Вернуться к поиску

Cholak P., Harrington L. A. [2008] Extension theorems, orbits, and automorphisms of the computable enumerable sets Trans. Amer. Math. Soc., 360, № 4, 1759-1791 ? article Вернуться к поиску

Ash C.J., Cholak P., Knight J.F. [1997] Permitting forsing, and copying of a given recursive relation Ann. Pure Appl. Logic, 86, № 3, 219-236 ? article Вернуться к поиску

Cholak P. [1995] Automorphisms of the lattice of recursively enumerable sets Memoirs Amer. Math. Soc., 113, № 541, 1-149 96.06.90 OS article Вернуться к поиску

Cholak P., Downey R. G. [2004] Invariance and noninvariance in the lattice of Π 1 0 classes J. London Math. Soc., 70, № 3, 735-749 08.01.02 article Вернуться к поиску

Cholak P. [1990] Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets J. Symbolic Logic, 55, № 2, 744-760 91.09.278 article Вернуться к поиску

Cholak P. [1998] The dense simple sets are orbit complete with respect to the simple sets Ann. Pure Appl. Logic, 94, № 1-3, 37-44 ? article Вернуться к поиску

Cholak P., Marcone A., Solomon R. [2004] Reverse mathematics and the equivalence of definition for well and better quasi-order J. Symbolic Logic, 69, № 3, 683-712 ? article Вернуться к поиску

Cholak P., Goncharov S.S., Khoussainov B. M., Shore R. A. [1999] Computable categorical structures and expansions by constants J. Symbolic Logic, 64, № 1, 13-37 01.05.98 article Вернуться к поиску

Cholak P., Downey R. G. [1994] Recursively enumerable m - and tt -degrees, III. Realizing all finite distributive lattices J. London Math. Soc., 50, № 3, 440-453 95.08.179 O article Вернуться к поиску

Cholak P. (et al. eds) [2000] Computability Theory and Its Applications: current trend and open problems Contemporary Math., 257 01.ВН8.07 book Вернуться к поиску

Cholak P. [2005] The computably enumerable sets: recent results and future directions Proc. XII Inter. Congress Logic, Methodology, Philosophy Sci., (Oviedo, Spain), King’s College. Publ., 2005, 91-105 ? article Вернуться к поиску

Cholak P., Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: promptly simple sets Trans. Amer. Math. Soc., 332, № 2, 555-570 93.05.118 O article Вернуться к поиску

Cholak P., Jockusch C.G. Jr., Slaman T.A. [2001] On the strength of Ramsey’s theorem for pairs J. Symbolic Logic, 66, № 1, 1-55; corr. 74, № 4, 1438-1439 03.11.96 article Вернуться к поиску

Cholak P., Downey R. G., Fortnow L. Gasarch W. I., Kinber E. B,, Kummer M., Kurtz S. A., Slaman T.A. [1992] Degrees of Inferability Proc. V Ann. Conf. Comp. Learning Theory, 180-192 ? article Вернуться к поиску

Cholak P., Coles R. J., Downey R. G. , Herrmann E. [2001] Automorphisms of the lattice of Π 1 0 classes; perfect thin classes and anc degrees Trans. Amer. Math. Soc., 353, № 12, 4899-4924 05.09.87 article Вернуться к поиску

C Calhoun W. Calude C. Calvert W. Cannonito F.B. Carnielly W.A. Carpentier A. Carroll J.S. Carstens H.G. Casalegno P. CaseJ Catlin S. Cay L. Cenzer D Chaitin G. ChenJ ChenKeh Hsun ChenZhixiang Chisholm J. Cholak P. Chong C.T. Chubb J. Church A. Clarke D.A. Cleave J.P. Clote P. Cobham A. Cohen P.F. Coles R. J. Constable R.L. Cooper S. B. CopestakeCS CopestakeK Criscuolo G. Crossley J. Csima B. Cutland N. J. Вернуться на главную страницу