A note on proofs of falsehood
- 22 Downloads
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
- [F]Friedman, H.: Translatability and relative consistency. II. Manuscript, 1980.Google Scholar
- [P-D]Paris, J., Dimitracopoulos, C.: A note on the undefinability of cuts. J. Symb. Logic48, 564–569 (1983).Google Scholar
- [P-W]Paris, J., Wilkie, A.:Δ 0-sets and induction. Ann. Pure Appl. Logic (to appear).Google Scholar
- [Pu]Pudlák, P.: Cuts, consistency statements and interpretability. J. Symb. Logic50, 423–441 (1985).Google Scholar
- [W]Wilkie, A.: On sentences interpretable in systems of arithmetic. In: Logic Colloquium '84, pp. 329–342. Paris, J.B., Wilkie, A.J., Wilmers, G.M. (eds.). Amsterdam: North-Holland 1986.Google Scholar
© Verlag W. Kohlhammer 1987