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.

Bibliografiske detaljer
Hovedforfatter:	Harrington, Leo Anthony
Andre forfattere:	Gerald E. Sacks.
Format:	Thesis
Sprog:	eng
Udgivet:	Massachusetts Institute of Technology 2018
Fag:	Mathematics
Online adgang:	http://hdl.handle.net/1721.1/113187

Lignende værker

Contributions to higher recursion theory
af: Marcus, Sherry Elizabeth, 1966-
Udgivet: (2005)

Conjecture and proof /
af: 181611 Laczkovich, Miklos
Udgivet: (2001)

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

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

Formal proofs concerning partial recursive functions.
af: Rotenberg, Leo Joseph
Udgivet: (2005)

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

Categories in recursion theory,
af: Wasserman, Michael Gary.
Udgivet: (2020)

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

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

Reducibilities in recursive function theory.
af: Jockusch, Carl Groos, Jr
Udgivet: (2007)

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

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

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

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

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

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

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

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

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

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

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

The Wellington-Harrington project: a case study of planning, participation, and politics.
af: Pei, T'ing Chung
Udgivet: (2013)

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

Sets, models and recursion theory
Udgivet: (1967)

Automated termination proofs using Walther recursion
af: Wu, Alexander
Udgivet: (2007)

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

Jig-assisted modified Harrington reconstruction for metastatic bone destruction of the acetabulum
af: Rajasekaran, RB, et al.
Udgivet: (2022)

The maximal rank conjecture
af: Larson, Eric Kerner
Udgivet: (2018)

Automating Recursive Type Definitions in Higher Order Logic
af: Melham, T
Udgivet: (1989)

Automating Recursive Type Definitions in Higher Order Logic
af: Melham, T
Udgivet: (1988)

Concrete sheaf models of higher-order recursion
af: Matache, C
Udgivet: (2022)

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

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

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

Quantum proof systems and entanglement theory
af: Abolfathe Beikidezfuli, Salman
Udgivet: (2010)

Intuitionism and proof theory : proceedings /
af: Conference on Intuitionism and Proof Theory (1968 : State University of New York, Buffalo, New York), et al.
Udgivet: (1970)

Model theory of special subvarieties and Schanuel-type conjectures
af: Zilber, B
Udgivet: (2016)

The p-adic local langlands conjecture
af: Malon, Christopher D
Udgivet: (2006)

Recursive programming techniques /
af: Burge, William H
Udgivet: (1975)

Sidorenko's conjecture, graph norms, and pseudorandomness
af: Lee, J
Udgivet: (2017)