On Skolemization in constructive theories
Journal of Symbolic Logic 73 (3):969-998 (2008)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMatthias Baaz & Rosalie Iemhoff (2006). Gentzen Calculi for the Existence Predicate. Studia Logica 82 (1):7 - 23.
Albert G. Dragalin (1995). Explicit Algebraic Models for Constructive and Classical Theories with Non-Standard Elements. Studia Logica 55 (1):33 - 61.
Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Jeremy Avigad (2004). Forcing in Proof Theory. Bulletin of Symbolic Logic 10 (3):305-333.
Laura Felline (2011). Scientific Explanation Between Principle and Constructive Theories. Philosophy of Science 78 (5):989-1000.
Peter Lipton (2006). What Can Bas Believe? Musgrave and van Fraassen on Observability. Analysis 66 (3):226-233.
James Ladyman (2000). What's Really Wrong with Constructive Empiricism? Van Fraassen and the Metaphysics of Modality. British Journal for the Philosophy of Science 51 (4):837-856.
Amit Hagar (2008). Length Matters: The Einstein–Swann Correspondence and the Constructive Approach to the Special Theory of Relativity. Studies in History and Philosophy of Modern Physics 39 (3):532-556.
Wesley Van Camp (2011). Principle Theories, Constructive Theories, and Explanation in Modern Physics. Studies in History and Philosophy of Science Part B 42 (1):23-31.
Jeremy Avigad (2000). Interpreting Classical Theories in Constructive Ones. Journal of Symbolic Logic 65 (4):1785-1812.
Hans Halvorson (2012). What Scientific Theories Could Not Be. Philosophy of Science 79 (2):183-206.
Analytics
Monthly downloads |
Added to index2010-09-12Total downloads3 ( #202,107 of 549,699 )Recent downloads (6 months)1 ( #63,425 of 549,699 )How can I increase my downloads? |
My notes
Discussion
