The ω-consistency of number theory via herbrand's theorem
Journal of Symbolic Logic 39 (4):678-692 (1974)
| 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,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesAlbert Visser (2012). The Second Incompleteness Theorem and Bounded Interpretations. Studia Logica 100 (1-2):399-418.
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.
Frederik Herzberg (2013). The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. Erkenntnis 78 (2):371-382.
T. M. Scanlon (1973). The Consistency of Number Theory Via Herbrand's Theorem. Journal of Symbolic Logic 38 (1):29-58.
Herman Ruge Jervell (1971). A New Proof of the Classical Herbrand and Skolem Theorem. [Oslo,Universitetet I Oslo, Matematisk Institutt.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #122,991 of 549,013 )Recent downloads (6 months)1 ( #63,261 of 549,013 )How can I increase my downloads? |
My notes
Discussion
