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.

Xehetasun bibliografikoak
Egile nagusia:	Harrington, Leo Anthony
Beste egile batzuk:	Gerald E. Sacks.
Formatua:	Thesis
Hizkuntza:	eng
Argitaratua:	Massachusetts Institute of Technology 2018
Gaiak:	Mathematics
Sarrera elektronikoa:	http://hdl.handle.net/1721.1/113187

Antzeko izenburuak

Contributions to higher recursion theory
nork: Marcus, Sherry Elizabeth, 1966-
Argitaratua: (2005)

Conjecture and proof : an introduction to mathematical thinking /
nork: 487474 Schwartz, Diane Driscoll
Argitaratua: (c199)

Bijective proof of a conjecture on unit interval posets
nork: Wenjie Fang
Argitaratua: (2024-02-01)

A proof of Tsygan's formality conjecture for an arbitrary smooth manifold
nork: Dolgushev, Vasiliy A
Argitaratua: (2006)

Proof, logic and conjecture : the mathematician's toolbox /
nork: 267708 Wolf, Robert S
Argitaratua: (1998)

Conjecture and proof /
nork: 181611 Laczkovich, Miklos
Argitaratua: (2001)

Categories in recursion theory,
nork: Wasserman, Michael Gary.
Argitaratua: (2020)

Formal proofs concerning partial recursive functions.
nork: Rotenberg, Leo Joseph
Argitaratua: (2005)

Reducibilities in recursive function theory.
nork: Jockusch, Carl Groos, Jr
Argitaratua: (2007)

Admissible ordinals and recursion theory,
nork: Simpson, Stephen G. (Stephen George), 1945-
Argitaratua: (2005)

TREATMENT OF IDIOPATHIC SCOLIOSIS BY HARRINGTON INSTRUMENTATION
nork: Ashok Raj Bajracharya, et al.
Argitaratua: (2003-01-01)

Proof of the Kalai-Meshulam conjecture
nork: Chudnovsky, M, et al.
Argitaratua: (2020)

Priority arguments in α-recursion theory,
nork: Shore, Richard A., 1946-
Argitaratua: (2008)

A proof of the Nisan-Ronen conjecture
nork: Christodoulou, G, et al.
Argitaratua: (2023)

A new proof of the GGR conjecture
nork: Ash, J. Marshall, et al.
Argitaratua: (2023-01-01)

Foundations of higher mathematics : exploration and proof /
nork: 389332 Fendel, Daniel, et al.
Argitaratua: (1990)

Proof of the satisfiability conjecture for large k
nork: Ding, Jian, et al.
Argitaratua: (2022)

On Hrushovski’s proof of the Manin-Mumford conjecture
nork: Pink, R, et al.
Argitaratua: (2006)

Proof of Komlós's conjecture on Hamiltonian subsets
nork: Kim, J, et al.
Argitaratua: (2017)

On the Probabilistic Proof of the Convergence of the Collatz Conjecture
nork: Kamal Barghout
Argitaratua: (2019-01-01)

Sets, models and recursion theory
Argitaratua: (1967)

Proof of a Recursive Program: Quicksort
nork: Foley, M, et al.
Argitaratua: (1971)

On the skein theory of surfaces and the Bonahon-Wong asymptotic conjecture
nork: Yu, Xiaoming
Argitaratua: (2023)

Least criminals for some given conjectures in group theory
nork: Sarmin, Nor Haniza, et al.
Argitaratua: (2004)

Proof of a conjecture of Bergeron, Ceballos and Labbé
nork: Postnikov, Alexander, et al.
Argitaratua: (2018)

A proof of the Nisan-Ronen conjecture --- an overview
nork: Christodoulou, G, et al.
Argitaratua: (2024)

A short proof of the Cushing-Henson conjecture
nork: Stevo Stevic
Argitaratua: (2006-01-01)

Proof of a conjecture of Kleinberg-Sawin-Speyer
nork: Luke Pebody
Argitaratua: (2018-07-01)

The maximal rank conjecture
nork: Larson, Eric Kerner
Argitaratua: (2018)

Proof of the main conjecture in Vinogradov's Mean Value Theorem for degrees higher than three
nork: Bourgain, Jean, et al.
Argitaratua: (2018)

Transition to higher mathematics : structure and proof /
nork: 222490 Dumas, Bob A., et al.
Argitaratua: (2007)

On counterexamples to the Hughes conjecture
nork: Havas, G, et al.
Argitaratua: (2009)

An Improved Proof of the Rabin-Harmanis-Stearns Conjecture
nork: Perry, Harold M.
Argitaratua: (2023)

Proof of the De Concini-Kac-Procesi conjecture
nork: Kremnizer, K
Argitaratua: (2006)

Concrete sheaf models of higher-order recursion
nork: Matache, C
Argitaratua: (2022)

Proofs and types /
nork: 291662 Girard, Jean-Yves, et al.
Argitaratua: (1989)

Proof of A n AGT conjecture at β = 1
nork: Qing-Jie Yuan, et al.
Argitaratua: (2024-10-01)

Quantum proof systems and entanglement theory
nork: Abolfathe Beikidezfuli, Salman
Argitaratua: (2010)

Harrington function as an integral approach to assessing food security in Russia
nork: Qian Xinyi, et al.
Argitaratua: (2025-01-01)

„Fundacja” i „Honor Harrington”. Jak fantastyka przegoniła rzeczywistość
nork: Jakub Z. Lichański
Argitaratua: (2024-05-01)