SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Mathematical Logic Quarterly

Volumn 48, Issue 1, 2002, Pages 3-13

Update procedures and the 1-consistency of arithmetic

(1) Avigad, Jeremy a

a CARNEGIE MELLON UNIVERSITY (United States)

Author keywords

Combinatorial independence; Epsilon substitution; Functionals; Peano arithmetic

Indexed keywords

EID: 0036003354 PISSN: 09425616 EISSN: None Source Type: Journal
DOI: 10.1002/1521-3870(200201)48:1<3::AID-MALQ3>3.0.CO;2-6 Document Type: Article

Times cited : (19)

References (17)

1
- 0009942343
- Zur widerspruchsfreiheit der zahlentheorie
- (1940) Math. Annalen , vol.93 , pp. 1-36
- Ackermann, W.¹

2
- 4243688100
- Preprint
- Epsilon substitution method for theories of jump hierarchies
- Arai, T.¹

3
- 0009887407
- Ordinal analysis without proofs
- Reflections: A collection honoring Solomon Feferman on his 70th birthday, AK Peters, Natick (MA)
- ASL Lecture Notes in Logic
- Avigad, J.¹

4
- 4243739895
- Submitted
- An ordinal analysis of admissible set theory using recursion on ordinal notations
- Avigad, J.¹

5
- 77956974399
- The witness function method and provably recursive functions of Peano arithmetic
- D. Westerståhl, D. Prawitz, and B. Skyrms, eds., Elsevier Science, Amsterdam
- (1994) Proceedings of the Ninth International Congress on Logic, Methodology, and Philosophy of Science , pp. 29-68
- Buss, S.¹

6
- 33745286388
- Hierarchies of provably recursive functions
- S. Buss, ed., North-Holland Publ. Comp., Amsterdam
- (1998) Handbook of Proof Theory , pp. 149-207
- Fairtlough, M.¹ Wainer, S.²

7
- 0002626895
- Elementary descent recursion and proof theory
- (1995) Annals Pure Appl. Logic , vol.71 , pp. 1-45
- Friedman, H.¹ Sheard, M.²

8
- 0032264636
- Finite functions and the necessary use of large cardinals
- (1998) Annals Math. , vol.148 , pp. 803-893
- Friedman, H.¹

9
- 0009915041
- Boolean relation theory
- March 10
- (2000) Posting to the Foundations of Mathematics forum
- Friedman, H.¹

10
- 0003543456
- Springer-Verlag, Berlin-Heidelberg-New York
- (1993) Metamathematics of First-Order Arithmetic
- Hájek, P.¹ Pudlák, P.²

11
- 0002930369
- Gentzen-type systems and Hilbert's epsilon subsitution method I
- D. Prawitz, B. Skyrms, and D. Westerståhl, eds., Elsevier Science, Amsterdam
- (1994) Logic, Methodology, and Philosophy of Science , vol.9 , pp. 91-122
- Mints, G.¹

12
- 0030300462
- Strong termination for the epsilon substitution method
- (1996) J. Symbolic Logic , vol.61 , pp. 1193-1205
- Mints, G.¹

13
- 0009889637
- 1-comprehension rule
- A. Cantini et al., eds., Kluwer, Dordrecht
- (1999) Logic and Foundations of Mathematics , pp. 107-130
- Mints, G.¹ Tupailo, S.²

14
- 0004259042
- Clarendon Press, Oxford
- (1984) Subrecursion: Functions and Hierarchies
- Rose, H.E.¹

15
- 0004132018
- PhD Thesis, University of California, Berkeley
- (1990) Transfinite Induction and Hierarchies Generated by Transfinite Recursion within Peano Arithmetic
- Sommer, R.¹

16
- 0009889922
- Functionals defined by transfinite recursion
- (1985) J. Symbolic Logic , vol.30 , pp. 155-174
- Tait, W.¹

17
- 0009918107
- The substitution method
- (1965) J. Symbolic Logic , vol.30 , pp. 175-192
- Tait, W.¹

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