DECISION METHODS IN THEORY OF ORDINALS

[1] Buchi J.R., 1962, P INT C LOGIC METHOD

[2] BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3] BUCHI JR, 1964, P INT C LOGIC METHOD

[4] EHRENFEUCHT A, 1957, B ACAD POLON SCI 3, V5, P35

[5] Elgot C.C., 1961, T AM MATH SOC, V98, P21, DOI 10.2307/2270940

[6] Feferman S., 1959, FUND MATH, V47, P57, DOI [10.4064/fm-47-1-57-103, DOI 10.4064/FM-47-1-57-103]

[7] FEFERMAN S, 1960, RECENT WORK EHRENFEU, P201

[8] MCNAUGHTON R, 1963, J SYMBOLIC LOGIC, V28, P100

[1] Buchi J.R., 1962, P INT C LOGIC METHOD

[2] BUCHI JR, 1960, Z MATH LOGIK GRUNDLA, V6, P66

[3] BUCHI JR, 1964, P INT C LOGIC METHOD

[4] EHRENFEUCHT A, 1957, B ACAD POLON SCI 3, V5, P35

[5] Elgot C.C., 1961, T AM MATH SOC, V98, P21, DOI 10.2307/2270940

[6] Feferman S., 1959, FUND MATH, V47, P57, DOI [10.4064/fm-47-1-57-103, DOI 10.4064/FM-47-1-57-103]

[7] FEFERMAN S, 1960, RECENT WORK EHRENFEU, P201

[8] MCNAUGHTON R, 1963, J SYMBOLIC LOGIC, V28, P100