Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),

Contributions to recursion theory on higher types (or, a proof of Harrington's conjecture),

Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1973.

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч:	Harrington, Leo Anthony
Бусад зохиолчид:	Gerald E. Sacks.
Формат:	Дипломын ажил
Хэл сонгох:	eng
Хэвлэсэн:	Massachusetts Institute of Technology 2018
Нөхцлүүд:	Mathematics
Онлайн хандалт:	http://hdl.handle.net/1721.1/113187

Ижил төстэй зүйлс

Contributions to higher recursion theory
-н: Marcus, Sherry Elizabeth, 1966-
Хэвлэсэн: (2005)

Conjecture and proof : an introduction to mathematical thinking /
-н: 487474 Schwartz, Diane Driscoll
Хэвлэсэн: (c199)

Bijective proof of a conjecture on unit interval posets
-н: Wenjie Fang
Хэвлэсэн: (2024-02-01)

A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
-н: Dolgushev, Vasiliy A
Хэвлэсэн: (2006)

Proof, logic and conjecture : the mathematician's toolbox /
-н: 267708 Wolf, Robert S
Хэвлэсэн: (1998)

Conjecture and proof /
-н: 181611 Laczkovich, Miklos
Хэвлэсэн: (2001)

Categories in recursion theory,
-н: Wasserman, Michael Gary.
Хэвлэсэн: (2020)

Formal proofs concerning partial recursive functions.
-н: Rotenberg, Leo Joseph
Хэвлэсэн: (2005)

Reducibilities in recursive function theory.
-н: Jockusch, Carl Groos, Jr
Хэвлэсэн: (2007)

Admissible ordinals and recursion theory,
-н: Simpson, Stephen G. (Stephen George), 1945-
Хэвлэсэн: (2005)

Proof of the Kalai-Meshulam conjecture
-н: Chudnovsky, M, зэрэг
Хэвлэсэн: (2020)

Priority arguments in α-recursion theory,
-н: Shore, Richard A., 1946-
Хэвлэсэн: (2008)

A proof of the Nisan-Ronen conjecture
-н: Christodoulou, G, зэрэг
Хэвлэсэн: (2023)

A new proof of the GGR conjecture
-н: Ash, J. Marshall, зэрэг
Хэвлэсэн: (2023-01-01)

Proof of the satisfiability conjecture for large k
-н: Ding, Jian, зэрэг
Хэвлэсэн: (2022)

On Hrushovski’s proof of the Manin-Mumford conjecture
-н: Pink, R, зэрэг
Хэвлэсэн: (2006)

Proof of Komlós's conjecture on Hamiltonian subsets
-н: Kim, J, зэрэг
Хэвлэсэн: (2017)

On the Probabilistic Proof of the Convergence of the Collatz Conjecture
-н: Kamal Barghout
Хэвлэсэн: (2019-01-01)

Foundations of higher mathematics : exploration and proof /
-н: 389332 Fendel, Daniel, зэрэг
Хэвлэсэн: (1990)

Sets, models and recursion theory
Хэвлэсэн: (1967)

Proof of a Recursive Program: Quicksort
-н: Foley, M, зэрэг
Хэвлэсэн: (1971)

Proof of a conjecture of Bergeron, Ceballos and Labbé
-н: Postnikov, Alexander, зэрэг
Хэвлэсэн: (2018)

A proof of the Nisan-Ronen conjecture --- an overview
-н: Christodoulou, G, зэрэг
Хэвлэсэн: (2024)

A short proof of the Cushing-Henson conjecture
-н: Stevo Stevic
Хэвлэсэн: (2006-01-01)

On the skein theory of surfaces and the Bonahon-Wong asymptotic conjecture
-н: Yu, Xiaoming
Хэвлэсэн: (2023)

Least criminals for some given conjectures in group theory
-н: Sarmin, Nor Haniza, зэрэг
Хэвлэсэн: (2004)

The maximal rank conjecture
-н: Larson, Eric Kerner
Хэвлэсэн: (2018)

Proof of the main conjecture in Vinogradov's Mean Value Theorem for degrees higher than three
-н: Bourgain, Jean, зэрэг
Хэвлэсэн: (2018)

Transition to higher mathematics : structure and proof /
-н: 222490 Dumas, Bob A., зэрэг
Хэвлэсэн: (2007)

An Improved Proof of the Rabin-Harmanis-Stearns Conjecture
-н: Perry, Harold M.
Хэвлэсэн: (2023)

Proof of the De Concini-Kac-Procesi conjecture
-н: Kremnizer, K
Хэвлэсэн: (2006)

On counterexamples to the Hughes conjecture
-н: Havas, G, зэрэг
Хэвлэсэн: (2009)

Concrete sheaf models of higher-order recursion
-н: Matache, C
Хэвлэсэн: (2022)

Proofs and types /
-н: 291662 Girard, Jean-Yves, зэрэг
Хэвлэсэн: (1989)

Proof of A n AGT conjecture at β = 1
-н: Qing-Jie Yuan, зэрэг
Хэвлэсэн: (2024-10-01)

Harrington function as an integral approach to assessing food security in Russia
-н: Qian Xinyi, зэрэг
Хэвлэсэн: (2025-01-01)

„Fundacja” i „Honor Harrington”. Jak fantastyka przegoniła rzeczywistość
-н: Jakub Z. Lichański
Хэвлэсэн: (2024-05-01)

Quantum proof systems and entanglement theory
-н: Abolfathe Beikidezfuli, Salman
Хэвлэсэн: (2010)

The Wellington-Harrington project: a case study of planning, participation, and politics.
-н: Pei, T'ing Chung
Хэвлэсэн: (2013)

Intuitionism and proof theory : proceedings /
-н: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), зэрэг
Хэвлэсэн: (1970)