Switch to: Citations

References in:

Consistency and konsistenz

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

Add references

You must login to add references.
  1. 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   101 citations  
  • Full Satisfaction Classes and Recursive Saturation.Alistair H. Lachlan - 1981 - Canadian Mathematical Bulletin 24 (1):295--97.
    Download  
     
    Export citation  
     
    Bookmark   20 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   33 citations  
  • 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   42 citations  
  • Paradoxien des Unendlichen.Bernard Bolzano - 2012 - Hamburg: Felix Meiner Verlag. 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   43 citations  
  • 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  
  • Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 16 (1):72-73.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Limits of inquiry.William Boos - 1983 - Erkenntnis 20 (2):157 - 194.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Relativity phenomena in set theory.Claes Åberg - 1974 - Synthese 27 (1-2):189 - 198.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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  
  • Handbook of Mathematical Logic.Jon Barwise - 1979 - British Journal for the Philosophy of Science 30 (3):306-309.
    Download  
     
    Export citation  
     
    Bookmark   31 citations