Switch to: References

Citations of:

Set Theory: Boolean-Valued Models and Independence Proofs

Oxford University Press (2011)

Add citations

You must login to add citations.
  1. Elaine Landry,* Ed. Categories for the Working Philosopher. [REVIEW]Neil Barton - 2020 - Philosophia Mathematica 28 (1):95-108.
    LandryElaine, * ed. Categories for the Working Philosopher. Oxford University Press, 2017. ISBN 978-0-19-874899-1 ; 978-0-19-106582-8. Pp. xiv + 471.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Algebraic Metaphysical Semantics.Hasen Khudairi - manuscript
    This paper argues that metaphysically fundamental truths ought to be defined within an algebraic language. In the first part of the paper, I provide examples of the algebraic structures used to define models of physical ontology (namely, quantum mechanics and field theory); the mathematical universe (set-theory); modal logic; and the metaphysics of consciousness. I outline, then, some explanatory desiderata concerning the relation between fundamental and derivative truths. I argue that a relation of apriori material implication, i.e. 'scrutability', cannot satisfy the (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • The History of the Use of ⟦.⟧-Notation in Natural Language Semantics.Brian Rabern - 2016 - Semantics and Pragmatics 9 (12).
    In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't make use (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Topology and Models of ZFC at Early Universe.Jerzy Król & Torsten Asselmeyer-Maluga - 2019 - Philosophical Problems in Science 66:15-33.
    Recently the cosmological evolution of the universe has been considered where 3-dimensional spatial topology undergone drastic changes. The process can explain, among others, the observed smallness of the neutrino masses and the speed of inflation. However, the entire evolution is perfectly smooth from 4-dimensional point of view. Thus the raison d’être for such topology changes is the existence of certain non-standard 4-smoothness on R4 already at very early stages of the universe. We show that the existence of such smoothness can (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Transfinite Cardinals in Paraconsistent Set Theory.Zach Weber - 2012 - Review of Symbolic Logic 5 (2):269-293.
    This paper develops a (nontrivial) theory of cardinal numbers from a naive set comprehension principle, in a suitable paraconsistent logic. To underwrite cardinal arithmetic, the axiom of choice is proved. A new proof of Cantor’s theorem is provided, as well as a method for demonstrating the existence of large cardinals by way of a reflection theorem.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   18 citations