Recursion on inadmissible ordinals

Recursion on inadmissible ordinals

Thesis. 1976. Ph.D.--Massachusetts Institute of Technology. Dept. of Mathematics.

Bibliographic Details
Main Author:	Friedman, Sy David
Other Authors:	Gerald E. Sacks.
Format:	Thesis
Language:	en_US
Published:	Massachusetts Institute of Technology 2005
Subjects:	Mathematics Recursive functions Numbers, Ordinal
Online Access:	http://hdl.handle.net/1721.1/27483

Similar Items

The monadic second order theory of all countable ordinals /
by: 359235 Buchi, J. Richard, et al.
Published: (1984)

E-recursively enumerable degrees
by: Griffor, Edward R.
Published: (2005)

Analysis of ordinal data /
by: 463895 Hildebrand, David K., et al.
Published: (1977)

Recursiveness /
by: 430157 Eilenberg, Samuel
Published: (1970)

Recursive functions /
by: 430594 Peter, Rozsa
Published: (1967)

The foundations of intuitionistic mathematics, especially in relation to recursive functions /
by: 308908 Kleene, Stephen Cole
Published: (1965)

Generalized recursion theory
Published: (1974)

Theory of recursive functions and effective computability /
by: 430645 Rogers, Hartley
Published: (1967)

Enumerability, decidability, computability : an introduction to the theory of recursive functions /
by: 430372 Hermes, Hans
Published: (1969)

Fibonacci Numbers between History, Semiotics, and Storytelling: The Birth of Recursive Thinking
by: Giuseppe Bianco, et al.
Published: (2024-04-01)

Computability : an introduction to recursive function theory /
by: 367112 Cutland, Nigel
Published: (1980)

Ordered Choice Models: Ordinal Logit and Ordinal Probit
by: Öznur İşçi Güneri, et al.
Published: (2022-11-01)

Recursive macroeconomic theory /
by: Ljungqvist, Lars, et al.
Published: (2012)

Rainbow Connection Numbers of WK-Recursive Networks and WK-Recursive Pyramids
by: Fu-Hsing Wang, et al.
Published: (2024-03-01)

Verification of Programs with Mutual Recursion in the Pifagor Language
by: Mariya S. Ushakov, et al.
Published: (2018-08-01)

Thinking recursively /
by: 203886 Roberts, Eric
Published: (1986)

Constructive order types /
by: 436319 Crossley, John N.
Published: (1969)

Stable recursions : with applications to the numerical solution to stiff systems /
by: 239720 Cash, J. R.
Published: (1979)

Stochastic approximation and recursive algorithms and applications /
by: 272176 Kushner, Harold J., et al.
Published: (2003)

Recursion-theoretic hierarchies /
by: 366611 Hinman, Peter G.
Published: (1978)

Generalized recursion theory II /
by: Symposium on Generalized Recursion Theory (2nd: 1977: University of Oslo), et al.
Published: (1978)

An improved recursive instrumental variable parameter estimator for closed-loop system identification /
by: Ahmad Nor Alifa A. Razap, 1984-, et al.
Published: (2011)

An improved recursive instrumental estimator for closed-loop system identification [electronic resource] /
by: Ahmad Nor Alifa A. Razap, 1984-
Published: (2011)

Recursive identification and parameter estimation /
by: 575513 Chen, Hanfu, et al.
Published: (2014)

Computability theory : an introduction to recursion theory /
by: 461543 Enderton, Herbert B.
Published: (c201)

Identification of processes using fast algorithm for recursive least square/
by: 434783 Chia, Tuck Meng
Published: (1991)

Local Predictors of Explosive Synchronization with Ordinal Methods
by: I. Leyva, et al.
Published: (2025-01-01)

Pascal and Recursion
by: Walter Gander
Published: (2024-12-01)

Inadmissible evidence /
by: 535274 Friedman,Philip
Published: (1992)

Etude on Recursion Elimination
by: Nikolay Shilov
Published: (2018-10-01)

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

Structure preserved ordinal unsupervised domain adaptation
by: Qing Tian, et al.
Published: (2024-11-01)

Algorithm design : a recursion transformation framework /
by: 258995 Paull, Marvin C.
Published: (c198)

Fideiussione 𝑜𝑚𝑛𝑖𝑏𝑢𝑠 e ordine pubblico
by: Alessia Fachechi
Published: (2022-12-01)

Functional Anatomy of Gerstmann Syndrome
by: J Gordon Millichap
Published: (2010-01-01)

On the Recursive-Parallel Programming for the .NET Framework
by: V. V. Vasilchikov
Published: (2014-04-01)

Recursive data processing for kinematic GPS surveying /
by: Tiberius, C. C. J. M. (Christian C. J. M.)
Published: ([199)

Toughness of Recursively Partitionable Graphs
by: Calum Buchanan, et al.
Published: (2023-01-01)

On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions
by: Valery A. Sokolov
Published: (2020-09-01)

A distance metric for ordinal data based on misclassification
by: Dreas Nielsen
Published: (2024-01-01)