A note on proofs of falsehood

  • Jan Krajíček
Article

Keywords

Mathematical Logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [F]
    Friedman, H.: Translatability and relative consistency. II. Manuscript, 1980.Google Scholar
  2. [P-D]
    Paris, J., Dimitracopoulos, C.: A note on the undefinability of cuts. J. Symb. Logic48, 564–569 (1983).Google Scholar
  3. [P-W]
    Paris, J., Wilkie, A.:Δ 0-sets and induction. Ann. Pure Appl. Logic (to appear).Google Scholar
  4. [Pu]
    Pudlák, P.: Cuts, consistency statements and interpretability. J. Symb. Logic50, 423–441 (1985).Google Scholar
  5. [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

Copyright information

© Verlag W. Kohlhammer 1987

Authors and Affiliations

  • Jan Krajíček
    • 1
  1. 1.Math. Inst. Acad. Sci.Praha 1Czechoslovakia

Personalised recommendations