- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
Mathematical Logic Quarterly 67 (3):329-341 (2021)
Abstract
Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.Author's Profile
My notes
Similar books and articles
Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
Provably recursive functions of constructive and relatively constructive theories.Morteza Moniri - 2010 - Archive for Mathematical Logic 49 (3):291-300.
Lindenbaum algebras of intuitionistic theories and free categories.Peter Freyd, Harvey Friedman & Andre Scedrov - 1987 - Annals of Pure and Applied Logic 35 (C):167-172.
Forcing and satisfaction in Kripke models of intuitionistic arithmetic.Maryam Abiri, Morteza Moniri & Mostafa Zaare - 2019 - Logic Journal of the IGPL 27 (5):659-670.
The strength of countable saturation.Benno van den Berg, Eyvind Briseid & Pavol Safarik - 2017 - Archive for Mathematical Logic 56 (5-6):699-711.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Classical and Intuitionistic Models of Arithmetic.Kai F. Wehmeier - 1996 - Notre Dame Journal of Formal Logic 37 (3):452-461.
Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets.Luck Darnière - 2019 - Mathematical Logic Quarterly 65 (3):305-331.
The real-algebraic structure of Scott's model of intuitionistic analysis.Philip Scowcroft - 1984 - Annals of Pure and Applied Logic 27 (3):275-308.
Analytics
Added to PP
2023-08-30
Downloads
4 (#1,646,285)
6 months
2 (#1,448,741)
2023-08-30
Downloads
4 (#1,646,285)
6 months
2 (#1,448,741)
Historical graph of downloads
Author's Profile
References found in this work
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (25-30):427-436.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.
The real-algebraic structure of Scott's model of intuitionistic analysis.Philip Scowcroft - 1984 - Annals of Pure and Applied Logic 27 (3):275-308.
A new model for intuitionistic analysis.Philip Scowcroft - 1990 - Annals of Pure and Applied Logic 47 (2):145-165.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6686886f5-sqlzn uwo