메뉴 건너뛰기
Archive for Mathematical Logic
Volumn 35, Issue 2, 1996, Pages 103-130
Epsilon substitution method for elementary analysis
Author keywords

[No Author keywords available]
Indexed keywords

EID: 0030533494     PISSN: 09335846     EISSN: None     Source Type: Journal    
DOI: 10.1007/BF01273688     Document Type: Article
Times cited : (29)
References (19)
  • 1
    • 34250943873 scopus 로고
    • Begründung des tertium non datur mittels der Hilbertschen theorie der widerspruchsfreiheit
    • Ackermann, W.: Begründung des Tertium non datur mittels der Hilbertschen Theorie der Widerspruchsfreiheit. Math. Ann. 93, 1-36 (1925)
    • (1925) Math. Ann. , vol.93 , pp. 1-36
    • Ackermann, W.1
  • 2
    • 33845521387 scopus 로고
    • Zur widerspruchsfreiheit der zahlentheorie
    • Ackermann, W.: Zur Widerspruchsfreiheit der Zahlentheorie. Math. Ann. 117, 162-194 (1940)
    • (1940) Math. Ann. , vol.117 , pp. 162-194
    • Ackermann, W.1
  • 4
    • 0011315928 scopus 로고
    • Die widerspruchsfreiheit der reinen zahlentheorie
    • Gentzen G.: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Ann. 112, 493-565 (1936)
    • (1936) Math. Ann. , vol.112 , pp. 493-565
    • Gentzen, G.1
  • 5
    • 77956953346 scopus 로고
    • Une extension de l'interpretation de Gödel a l'analyse et la application a l'elimination des coupures dans l'analyse et la theorie des types
    • Amsterdam: North-Holland
    • Girard, J.-Y.: Une extension de l'interpretation de Gödel a l'analyse et la application a l'elimination des coupures dans l'analyse et la theorie des types. Proc. 2nd Scand. Logic Symp., pp. 63-92, Amsterdam: North-Holland 1972
    • (1972) Proc. 2nd Scand. Logic Symp. , pp. 63-92
    • Girard, J.-Y.1
  • 6
    • 34250966834 scopus 로고
    • Probleme der grundlegung der mathematik
    • Hilbert D.: Probleme der Grundlegung der Mathematik. Math. Ann. 102, 1-9 (1929)
    • (1929) Math. Ann. , vol.102 , pp. 1-9
    • Hilbert, D.1
  • 8
    • 0001526427 scopus 로고
    • On the interpretation of non-finitist proofs I
    • Kreisel, G.: On the interpretation of non-finitist proofs I. J. Symb. Logic 16, 241-267 (1951)
    • (1951) J. Symb. Logic , vol.16 , pp. 241-267
    • Kreisel, G.1
  • 9
    • 0001818114 scopus 로고
    • On the interpretation of non-finitist proofs II
    • Kreisel G.: On the Interpretation of Non-finitist proofs II. J. Symb. Logic 17, 43-58 (1952)
    • (1952) J. Symb. Logic , vol.17 , pp. 43-58
    • Kreisel, G.1
  • 10
    • 0011307906 scopus 로고
    • Simplified consistency proof for arithmetic
    • Mints, G.: Simplified consistency proof for arithmetic (Russian). Proc. Estonian Acad. Sci. Fiz.-Math. 31, 376-382 (1982)
    • (1982) Proc. Estonian Acad. Sci. Fiz.-Math. , vol.31 , pp. 376-382
    • Mints, G.1
  • 11
    • 37949030979 scopus 로고
    • Epsilon substitution method for the theory of hereditarily finite sets
    • Mints, G.: Epsilon substitution method for the theory of hereditarily finite sets (Russian). Proc. Eston. Acad. Sci. Fiz.-Math. N2, 154-164 (1989)
    • (1989) Proc. Eston. Acad. Sci. Fiz.-Math. , vol.N2 , pp. 154-164
    • Mints, G.1
  • 12
    • 77956947704 scopus 로고
    • Gentzen-type systems and Hilbert's epsilon substitution method, vol. I
    • Amsterdam: Elsevier
    • Mints, G.: Gentzen-type systems and Hubert's epsilon substitution method, Vol. I. In: Logic, Method and Philosophy of Science, Vol. IX, pp. 91-122. Amsterdam: Elsevier (1994)
    • (1994) Logic, Method and Philosophy of Science , vol.9 , pp. 91-122
    • Mints, G.1
  • 15
    • 34250960190 scopus 로고
    • Zur Hilbertschen beweistheorie
    • von Neumann, J.: Zur Hilbertschen Beweistheorie. Math. Z. 26, 1-46 (1927)
    • (1927) Math. Z. , vol.26 , pp. 1-46
    • Von Neumann, J.1
  • 16
    • 0003774220 scopus 로고
    • Berlin Heidelberg New York: Springer
    • Schutte, K.: Proof Theory. Berlin Heidelberg New York: Springer 1977
    • (1977) Proof Theory
    • Schutte, K.1
  • 17
    • 0009889922 scopus 로고
    • Functional defined by transfinite recursion
    • Tait, W.: Functional defined by transfinite recursion. J. Symb. Logic 30, 155-174 (1965)
    • (1965) J. Symb. Logic , vol.30 , pp. 155-174
    • Tait, W.1
  • 18
    • 0009918107 scopus 로고
    • The substitution method
    • Tait, W.: The substitution method. J. Symb. Logic 30, 175-192 (1965)
    • (1965) J. Symb. Logic , vol.30 , pp. 175-192
    • Tait, W.1
  • 19
    • 0000173992 scopus 로고
    • David Hilbert and his mathematical work
    • Weyl, H.: David Hilbert and his mathematical work. Bull. Amer. Math. Soc. 50, 612-654 (1944)
    • (1944) Bull. Amer. Math. Soc. , vol.50 , pp. 612-654
    • Weyl, H.1

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.