Gerhard Jiiger* Thomas Strahm*  Home/Search
Context
Related
| iamwww.unibe.ch/~til/publ...biomega.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iamwww.unibe.ch/~til/publ...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We show that the principle of w model reflection for II+ formulas is equivalent over ACA0 to the scheme of II bar induction. This extends and refines previous results of Friedman and Simpson. (Update)
Active bibliography (related documents): More All
0.2: Computability-Theoretic and Proof-Theoretic Aspects .. - Downey.. (Correct)
0.2: Higher Order Logic - Leivant (1994) (Correct)
0.2: Elimination of Skolem functions for monotone formulas in analysis - Kohlenbach (Correct)
Similar documents based on text: More All
0.7: Theories of Ordinal Strength . . . - Heissenbüttel (2001) (Correct)
0.6: An Interpretation of the Fan Theorem in Type Theory - Fridlender (1998) (Correct)
0.5: AL-1/D: A Distributed Programming System with.. - Hideaki Okamuray Okamura (Correct)
BibTeX entry: (Update)
@misc{ thomas-bar,
author = "Gerhard Jiiger Thomas",
title = "Bar Induction and W Model Reflection",
url = "citeseer.ist.psu.edu/517064.html" }
Citations (may not include all citations):62 Subsystems of Second Order Arithmetic (context) - SIMPSON - 1998
5 Some systems of second order arithmetic and their use (context) - FRIEDMAN - 1975
1 Proof Theory (context) - SCHOTTE - 1977
1 and II transfinite induction (context) - SIMPSON - 1982
Documents on the same site (http://iamwww.unibe.ch/~til/publications/index.html): More
Extending the system T 0 of explicit mathematics: the limit.. - Jäger, Studer (Correct)
Autonomous Fixed Point Progressions and Fixed Point Transfinite.. - Strahm (Correct)
Upper bounds for metapredicative Mahlo in explicit mathematics .. - Jäger, Strahm (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC