REFLECTION PRINCIPLES AND THEIR USE FOR ESTABLISHING COMPLEXITY OF AXIOMATIC SYSTEMS

[1] Contradictions of the number theory. [J]. MATHEMATISCHE ANNALEN, 1940, 117 : 162 - 194

[2] The contradictions of the general mass theory. [J]. MATHEMATISCHE ANNALEN, 1937, 114 : 305 - 315

[3] Addison J.W., 1959, FUND MATH, V46, P337, DOI DOI 10.4064/FM-46-3-337-357

[4] Craig W., 1953, J SYMBOLIC LOGIC, V18, P30, DOI [10.2307/2266324, DOI 10.2307/2266324]

[5] DAVIS M, 1965, UNDECIDABLE ED

[6] DAVIS M, 1965, UNDECIDABLE, P5

[7] FEFERMAN, 1962, ARCHIV MATH LOGIK GR, V6, P52

[8] Feferman S., 1962, J SYMBOLIC LOGIC, V27, P259, DOI 10.2307/2964649

[9] Feferman S., 1960, FUND MATH, V49, P35

[10] FRAENKEL AA, 1958, FOUNDATIONS SET THEO

[1] Contradictions of the number theory. [J]. MATHEMATISCHE ANNALEN, 1940, 117 : 162 - 194

[2] The contradictions of the general mass theory. [J]. MATHEMATISCHE ANNALEN, 1937, 114 : 305 - 315

[3] Addison J.W., 1959, FUND MATH, V46, P337, DOI DOI 10.4064/FM-46-3-337-357

[4] Craig W., 1953, J SYMBOLIC LOGIC, V18, P30, DOI [10.2307/2266324, DOI 10.2307/2266324]

[5] DAVIS M, 1965, UNDECIDABLE ED

[6] DAVIS M, 1965, UNDECIDABLE, P5

[7] FEFERMAN, 1962, ARCHIV MATH LOGIK GR, V6, P52

[8] Feferman S., 1962, J SYMBOLIC LOGIC, V27, P259, DOI 10.2307/2964649

[9] Feferman S., 1960, FUND MATH, V49, P35

[10] FRAENKEL AA, 1958, FOUNDATIONS SET THEO