Switch to: Citations

References in:

Consistency and konsistenz

Erkenntnis 26 (1):1 - 43 (1987)

Add references

You must login to add references.
  1. Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • The incompleteness theorems.Craig Smorynski - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 821 -- 865.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • Der wahrheitsbegriff in den formalisierten sprachen.Alfred Tarski - 1935 - Studia Philosophica 1:261--405.
    Download  
     
    Export citation  
     
    Bookmark   343 citations  
  • Handbook of mathematical logic.Jon Barwise (ed.) - 1977 - New York: North-Holland.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Relativity phenomena in set theory.Claes Åberg - 1974 - Synthese 27 (1-2):189 - 198.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic in the twenties: The nature of the quantifier.Warren D. Goldfarb - 1979 - Journal of Symbolic Logic 44 (3):351-368.
    Download  
     
    Export citation  
     
    Bookmark   102 citations  
  • (1 other version)Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Paradoxien des Unendlichen.Bernard Bolzano - 2012 - Hamburg: Meiner, F. Edited by Christian Tapp.
    Die "Paradoxien des Unendlichen" sind ein Klassiker der Philosophie der Mathematik und zugleich eine gute Einführung in das Denken des "Urgroßvaters" der analytischen Philosophie. Das Unendliche - seit jeher ein Faszinosum für die philosophische Reflexion - wurde in der Zeit nach der Grundlegung der Analysis durch Leibniz und Newton in der Mathematik zunächst als Problem betrachtet, das sich nicht vollkommen widerspruchsfrei behandeln lässt. Bernard Bolzano, der heute als "Urgroßvater der analytischen Philosophie" (Michael Dummett) gilt, zeigt in diesem klassisch gewordenen Text (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Full Satisfaction Classes and Recursive Saturation.Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):295--97.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
    Download  
     
    Export citation  
     
    Bookmark   202 citations  
  • Bemerkungen über die Grundlagen der Mathematik.Ludwig Wittgenstein - 1974 - Frankfurt am Main,: Suhrkamp.
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • Construction of Satisfaction Classes for Nonstandard Models.Henryk Kotlarski, Stanislav Krajewski & Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):283--93.
    Download  
     
    Export citation  
     
    Bookmark   34 citations