The consistency of number theory via herbrand's theorem
Journal of Symbolic Logic 38 (1):29-58 (1973)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDaniel Găină & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1):41 - 73.
Herman Ruge Jervell (1971). A New Proof of the Classical Herbrand and Skolem Theorem. [Oslo,Universitetet I Oslo, Matematisk Institutt.
William Craig (1957). Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. Journal of Symbolic Logic 22 (3):269-285.
Georg Moser & Richard Zach (2006). The Epsilon Calculus and Herbrand Complexity. Studia Logica 82 (1):133 - 155.
Leszek Aleksander Kołodziejczyk (2006). On the Herbrand Notion of Consistency for Finitely Axiomatizable Fragments of Bounded Arithmetic Theories. Journal of Symbolic Logic 71 (2):624 - 638.
W. D. Goldfarb & T. M. Scanlon (1974). The Ω-Consistency of Number Theory Via Herbrand's Theorem. Journal of Symbolic Logic 39 (4):678-692.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads23 ( #54,691 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
