Switch to: References

Citations of:

Dualität

Dialectica 12 (3‐4):451-465 (1958)

Add citations

You must login to add citations.
  1. (1 other version)Extensional quotients for type theory and the consistency problem for NF.Gian Aldo Antonelli - 1998 - Journal of Symbolic Logic 63 (1):247-261.
    Quine’s “New Foundations” (NF) was first presented in Quine [1937] and later on in Quine [1963]. Ernst Specker [1958, 1962], building upon a previous result of Ehrenfeucht and Mostowski [1956], showed that NF is consistent if and only if there is a model of the Theory of Negative (and positive) Types (TNT) with full extensionality that admits of a “shifting automorphism,” but the existence of a such a model remains an open problem.
    Download  
     
    Export citation  
     
    Bookmark  
  • On Relations between Structures.Per Lindström - 1966 - Theoria 32 (3):172-185.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • In Memoriam: Ernst Specker 1920–2011.Erwin Engeler - 2012 - Bulletin of Symbolic Logic 18 (3):413-417.
    Download  
     
    Export citation  
     
    Bookmark  
  • The status of the axiom of choice in set theory with a universal set.T. E. Forster - 1985 - Journal of Symbolic Logic 50 (3):701-707.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Projective duality and the rise of modern logic.Günther Eder - 2021 - Bulletin of Symbolic Logic 27 (4):351-384.
    The symmetries between points and lines in planar projective geometry and between points and planes in solid projective geometry are striking features of these geometries that were extensively discussed during the nineteenth century under the labels “duality” or “reciprocity.” The aims of this article are, first, to provide a systematic analysis of duality from a modern point of view, and, second, based on this, to give a historical overview of how discussions about duality evolved during the nineteenth century. Specifically, we (...)
    Download  
     
    Export citation  
     
    Bookmark