Property‐Theoretic Foundations of Mathematics

In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 377–387 (2002)
  Copy   BIBTEX

Abstract

This chapter contains sections titled: Introduction On Foundations Properties, Sums, Plurality, and Reality Mereological Property Theory Foundations of Mathematics.

Categories

Add categories

Keywords

Reprint years

ISBN(s)

9780470996751   9780631216711

DOI

10.1002/9780470996751.ch26

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical Foundations of Set Theory and Mathematics.Mary Tiles - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 365–376.
The anti-Specker property, a Heine–Borel property, and uniform continuity.Josef Berger & Douglas Bridges - 2008 - Archive for Mathematical Logic 46 (7-8):583-592.
On partial disjunction properties of theories containing Peano arithmetic.Taishi Kurahashi - 2018 - Archive for Mathematical Logic 57 (7-8):953-980.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Uniform Lyndon interpolation property in propositional modal logics.Taishi Kurahashi - 2020 - Archive for Mathematical Logic 59 (5):659-678.
Stewart Shapiro. Introduction—intensional mathematics and constructive mathematics. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, vol. 113, North-Holland, Amsterdam, New York, and Oxford, 1985, pp. 1–10. - Stewart Shapiro. Epistemic and intuitionistic arithmetic. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 11–46. - John Myhill. Intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 47–61. - Nicolas D. Goodman. A genuinely intensional set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 63–79. - Andrej Ščedrov. Extending Godel's modal interpretation to type theory and set theory. Intensional mathematics, edited by Stewart Shapiro, Studies in logic and the foundations of mathematics, pp. 81–119. - Robert C. Flagg. Church's. [REVIEW]Craig A. Smorynski - 1991 - Journal of Symbolic Logic 56 (4):1496-1499.
Type-free property theory, exemplification and Russell's paradox.Francesco Orilia - 1991 - Notre Dame Journal of Formal Logic 32 (3):432-447.
Intermediate Logics and the de Jongh property.Dick Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
Intermediate Logics and the de Jongh property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$.Sohei Iwata, Taishi Kurahashi & Yuya Okawa - 2024 - Archive for Mathematical Logic 63 (1):1-37.

Analytics

Added to PP
2023-06-15

Downloads
12 (#1,375,203)

6 months
5 (#1,056,575)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Michael Jubien
University of Florida

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references