Switch to: References

Add citations

You must login to add citations.
  1. God and Abstract Objects: The Coherence of Theism: Aseity.William Lane Craig - 2017 - Cham: Springer.
    This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A functional interpretation for nonstandard arithmetic.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2012 - Annals of Pure and Applied Logic 163 (12):1962-1994.
    We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The syntax of nonstandard analysis.Edward Nelson - 1988 - Annals of Pure and Applied Logic 38 (2):123-134.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Ars inveniendi et théorie des modèles.Hourya Benis-Sinaceur - 1988 - Dialogue 27 (4):591-.
    Download  
     
    Export citation  
     
    Bookmark