Infinite time Turing machines for elementary proofs on recursive reals

Similar Works

Action	Title	Year	Authors
+ PDF Chat	Cardinal-Recognizing Infinite Time Turing Machines	2013	Miha E. Habič
+	Real functions and numbers defined by Turing machines	1983	Rudolf Freund
+	On Fixpoint Arithmetic and Infinite Time Turing Machines	2004	Giacomo Lenzi Erich Monteleone
+	On Fixpoint Arithmetic and Infinite Time Turing Machines	2004	Giacomo Lenzi
+	ω-Computations on Turing machines	1978	Rina Cohen Arie Y. Gold
+	Time Bounded Turing Reducibilities	1988	José Luís Balcázar Josep Dı́az Joaquim Gabarró
+	Finite Proofs for Infinitary Formulas	2015	Amelia Harrison and Vladimir Lifschitz and Julian Michael
+ PDF Chat	Open induction in a bounded arithmetic for TC0	2014	Emil Jeřábek
+	Finitely Generated Structures Computable in Polynomial Time	2022	P. E. Alaev
+	Wadge Reducibility and Infinite Computations	2008	Victor Selivanov
+ PDF Chat	Bounded Turing Reductions and Data Processing Inequalities for Sequences	2017	Adam Case
+ PDF Chat	Induction rules in bounded arithmetic	2019	Emil Jeřábek
+	Kolmogorov Complexity for Possibly Infinite Computations	2005	Verónica Becher Santiago Figueira
+	Kolmogorov complexity for possibly infinite computations	2003	Santiago Figueira Verónica Becher
+ PDF Chat	Provably recursive functions in fragments of Peano arithmetic	1986	Hiroakira Ono Noriya Kadota
+	Rudimentary interpretation of two-tape turing computation	1973	V. A. Nepomnyashehii
+	Computable Heyting Algebras with Distinguished Atoms and Coatoms	2022	Nikolay Bazhenov
+	Turing degrees of hypersimple relations on computable structures	2003	Valentina Harizanov
+	Ordinal Computability	2009	Peter Koepke
+	Proofs of Termination and the “91” Function	1991	Solomon Feferman

Works That Cite This (0)

Action	Title	Year	Authors

Works Cited by This (0)

Action	Title	Year	Authors