Advertisement

A note on proofs of falsehood

  • Jan Krajíček
Article

Keywords

Mathematical Logic 
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.

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