A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
What is effective transfinite recursion in reverse mathematics?
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
In the context of reverse mathematics, effective transfinite recursion refers to a principle that allows us to construct sequences of sets by recursion along arbitrary well orders, provided that each set ...
is Δ^0_1-definable relative to the previous stages of the recursion. ...
Hence the hierarchy of functions F k with k ∈ N can be constructed by the principle of effective (transfinite) recursion, as specified in Definition 2. ...
arXiv:2006.08953v1
fatcat:bnbcuaqsmrbvhjqwzxgicdyici
Transfinite recursion and computation in the iterative conception of set
2014
Synthese
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Transfinite recursion is an essential component of set theory. ...
This is significant because, while the iterative conception of set has been widely recognized as insufficient to establish Replacement and recursion, its supplementation by considerations pertaining to ...
This results in a function whose existence and well-definedness are guaranteed by the theorem of transfinite recursion (TR). ...
doi:10.1007/s11229-014-0560-9
fatcat:enrcihocsre43ocd4f5ml35bma
NOMINALISTIC ORDINALS, RECURSION ON HIGHER TYPES, AND FINITISM
2019
Bulletin of Symbolic Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The idea that recursion on higher types could be used to simulate the limit-building in transfinite recursion seems to originate from Bernays. ...
In 1936, Gerhard Gentzen published a proof of consistency for Peano Arithmetic using transfinite induction up to ε 0 , which was considered a finitistically acceptable procedure by both Gentzen and Paul ...
types defined by the functions f 1 , f 2 , . . . f n . ...
doi:10.1017/bsl.2018.91
fatcat:aysfqpegergxfirhqrzl2c52a4
Page 198 of Mathematical Reviews Vol. 5, Issue 8
[page]
1944
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Exponentiation of ordinals is then defined by recursion, and the recursive definitions of addition and multiplication, which have previously been defined directly, are given. ...
The present installment deals with the arithmetic
of the transfinite ordinals, proof by transfinite induction
and definition by transfinite recursion. ...
Functional interpretation and inductive definitions
[article]
2009
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Other Versions
defined using transfinite recursion on well-founded trees. ...
Extending Gödel's Dialectica interpretation, we provide a functional interpretation of classical theories of positive arithmetic inductive definitions, reducing them to theories of finite-type functionals ...
Now, given ϕ, g, and h as in the statement of the lemma, we define a function k(α, x, n) by primitive recursion on n. ...
arXiv:0802.1938v4
fatcat:yxwafhc5rze7zcijmmxaidtbx4
Page 577 of American Mathematical Society. Bulletin of the American Mathematical Society Vol. 67, Issue 6
[page]
1961
American Mathematical Society. Bulletin of the American Mathematical Society
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
1961] THE THEORY OF TRANSFINITE RECURSION 577
We can now define deduction (in tree form) in analogy with [3]. ...
Also, in analogy with [3], we can define the notion the function $ is wa-recursive in the sequence of functions Po, Wi, -- +>, We °°.
@,-recursiveness is transitive in the sense of
THEOREM 1. ...
Page 1357 of Mathematical Reviews Vol. , Issue 83d
[page]
1983
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
<n by means of primitive recursion or transfinite recursion over <. ...
Section 3 deals with definitions by (transfinite) recursion. ...
Intuitionistically provable recursive well-orderings
1986
Annals of Pure and Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We consider intuitionistic number theory with recursive infinitary rules (HA*). Any primitive recursive binary relation for which transfinite induction schema is provable is in fact well founded. ...
In fact, it suffices to consider transfinite induction with respect to one particular number-theoretic property. ...
Primitive recursive defining equations. ...
doi:10.1016/0168-0072(86)90004-7
fatcat:bqkogcphgng2fl4d3h3rfcafhe
The theory of transfinite recursion
1961
Bulletin of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
To do this, one should possess transfinite analogues of the theory of recursive functions and of arithmetization. ...
By ordinals we shall mean ordinals a , a function letter (f.l.) "ƒ*" for each £ <co a . NUMERALS. 0 followed by a sequence of length j8 of strokes is the numeral for /3. We denote it by (3. ...
To do this, one should possess transfinite analogues of the theory of recursive functions and of arithmetization. ...
doi:10.1090/s0002-9904-1961-10696-4
fatcat:ctomxliq3rbr3ajkzqcxwnbucu
Book Review: Rekursive Funktionen
1952
Bulletin of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
showing that there is no inconsistency in supposing that the number-theoretic functions are all definable by use of forms of recursion associated with the transfinite ordinals of Cantor's second number ...
For Hubert's proposal it was necessary to show that higher forms of recursion do give new functions; and the first demonstration of the existence of a function definable by a double recursion but not by ...
doi:10.1090/s0002-9904-1952-09607-5
fatcat:i5lhotxxvrekdhzvziwyitsnbq
Some Transfinite Generalisations of Gödel's Incompleteness Theorem
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We will see that for these "transfinite devices" almost all Gödel's limitations results have relatively simple generalisations. ...
In this paper, we will study what happens when we consider more powerful computing devices: these "transfinite devices" will be able to perform α classical computations and to use α bits of memory, where ...
(Choose for F the set of recursive semi-functions defined on I α .) 4. If an α-software will always return values in a given subset B. (Choose for F the set of semi-functions whose output is in B.) ...
doi:10.1007/978-3-642-27654-5_14
fatcat:ktvsfri5uzhojilfsoytefjcpa
Constructive transfinite number classes
1967
Bulletin of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This is born out by the characterization of the ordinals of (F, | |) given below. E\ is the type-2 representing functional of the predicate \a. ...
(V/3)(Bx)[a(J3(x)) = Q] introduced by Tugué [12] (see also Kleene [4]). Let cof 1 be the smallest ordinal which is not the order type of any well-ordering recursive in JSi. ...
Then using the techniques of [ç], the recursion theorem, and a proof by transfinite induction, we obtain: THEOREM 1. For l£v£t<\F\, (1) F v ^ 0 F \ (2) |F,|==J?, (3) Ft gif* ÛiF. ...
doi:10.1090/s0002-9904-1967-11710-5
fatcat:efn43ij5o5fqtjhnkbs75q7rl4
TURING DEGREES AND THE ERSHOV HIERARCHY
2009
Proceedings of the 10th Asian Logic Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
An n-r.e. set can be defined as the symmetric difference of n recursively enumerable sets. The classes of these sets form a natural hierarchy which became a well-studied topic in recursion theory. ...
In this paper, we survey the early work by Ershov and others on this hierarchy and present the most fundamental results. We also provide some pointers to concurrent work in the field. ...
This can be proven by using the class of all sets Note that this class is even uniformly recursively enumerable. ...
doi:10.1142/9789814293020_0012
fatcat:njwekmmovbervkrtwydsgtizve
Page 1309 of Mathematical Reviews Vol. , Issue 96c
[page]
1996
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A function / is said to be B-exotic recursive over C if it is computed in terms of a term t by <,-dr if possible, and is given a value by a C-function otherwise. ...
The well-known non-primitive recursive function g is (w” + 1)-DR, where g is defined as follows: fo(x) =2*, fn4i(0) = fn(l), fnsile +1) = fn(fnsilx)), g(n) = fn(n). ...
Page 4 of Mathematical Reviews Vol. , Issue 89M
[page]
1989
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In the first one, using the method of transfinite recursion on the ordinals, we define fuzzy sets of all ranks and the class F of all fuzzy sets. ...
Summary: “In addition to the basic system the primitive recursive arithmetic in the first class Ag1 consists of the following primitive recursive function definition Ap and primitive recursive uniqueness ...
« Previous
Showing results 1 — 15 out of 4,671 results