The Foundations of Mathematics in the Theory of Sets

John P. Mayberry

doi:10.1017/CBO9781139087124

- Get access
  
  Buy a print copy
  
  Check if you have access via personal or institutional login
  
  Log in Register
Cited by 4
Cited by
- 4
Crossref Citations

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Sergeyev, Yaroslav D. 2010. Cellular Automata. Vol. 6350, Issue. , p. 646.

CrossRef

Google Scholar

Sergeyev, Yaroslav D. and Garro, Alfredo 2013. Single-tape and multi-tape Turing machines through the lens of the Grossone methodology. The Journal of Supercomputing, Vol. 65, Issue. 2, p. 645.

CrossRef

Google Scholar

Sergeyev, Yaroslav D. 2014. Frontiers of Fundamental Physics and Physics Education Research. Vol. 145, Issue. , p. 353.

CrossRef

Google Scholar

Sergeyev, Yaroslav D. and Garro, Alfredo 2015. Automata, Universality, Computation. Vol. 12, Issue. , p. 139.

CrossRef

Google Scholar

John P. Mayberry

Publisher:: Cambridge University Press
Online publication date:: March 2012
Print publication year:: 2001
Online ISBN:: 9781139087124
DOI:: https://doi.org/10.1017/CBO9781139087124

Subjects:: Mathematics (general), Mathematics, Logic, Categories and Sets, Philosophy: General Interest, Philosophy
Series:: Encyclopedia of Mathematics and its Applications (82)

62.99 (GBP)

Digital access for individuals
(PDF download and/or read online)
Add to cart

Added to cart

Digital access for individuals
(PDF download and/or read online)
View cart
Export citation
Buy a print copy

Information

Contents

Metrics

This 2001 book presents a unified approach to the foundations of mathematics in the theory of sets, covering both conventional and finitary (constructive) mathematics. It is based on a philosophical, historical and mathematical analysis of the relation between the concepts of 'natural number' and 'set'. This leads to an investigation of the logic of quantification over the universe of sets and a discussion of its role in second order logic, as well as in the analysis of proof by induction and definition by recursion. The subject matter of the book falls on the borderline between philosophy and mathematics, and should appeal to both philosophers and mathematicians with an interest in the foundations of mathematics.

Review of the hardback:' … this book is thought-provoking … distinctive approach to the twin issues of mathematical ontology and mathematical foundations'.

Source: Australasian Journal of Philosophy

- Aa Reduce text
- Aa Enlarge text

View selected items
Save to my bookmarks
Export citations
Download PDF (zip)
Save to Kindle
Save to Dropbox
Save to Google Drive
Save content to
To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to .

To save content items to your Kindle, first ensure coreplatform@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Please be advised that item(s) you selected are not available.
You are about to save
Your Kindle email address

Please provide your Kindle email.

@free.kindle.com @kindle.com (service fees apply)

By using this service, you agree that you will only keep content for personal use, and will not openly distribute them via Dropbox, Google Drive or other file sharing services

Metrics

Altmetric attention score

Total number of HTML views: 0

Total number of PDF views: 0 *

Loading metrics...

Total views: 0 *

Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed.

The Foundations of Mathematics in the Theory of Sets

This Book has been cited by the following publications. This list is generated based on data provided by Crossref.

Book description

Reviews

Refine List

Actions for selected content:

Contents

Frontmatter
pp i-vi

Contents
pp vii-ix

Preface
pp x-xx

Part One - Preliminaries
pp 1-2

1 - The Idea of Foundations for Mathematics
pp 3-16

2 - Simple Arithmetic
pp 17-64

Part Two - Basic Set Theory
pp 65-66

3 - Semantics, Ontology, and Logic
pp 67-110

4 - The Principal Axioms and Definitions of Set Theory
pp 111-150

Part Three - Cantorian Set Theory
pp 151-152

5 - Cantorian Finitism
pp 153-190

6 - The Axiomatic Method
pp 191-236

7 - Axiomatic Set Theory
pp 237-258

Part Four - Euclidean Set Theory
pp 259-260

8 - Euclidean Finitism
pp 261-299

9 - The Euclidean Theory of Cardinality
pp 300-324

10 - The Euclidean Theory of Simply Infinite Systems
pp 325-368

11 - Euclidean Set Theory from the Cantorian Standpoint
pp 369-380

12 - Envoi
pp 381-395

Appendix 1 - Conceptual Notation
pp 396-410

Appendix 2 - The Rank of a Set
pp 411-414

Bibliography
pp 415-420

Index
pp 421-424

Metrics

Altmetric attention score

Full text views

Book summary page views

The Foundations of Mathematics in the Theory of Sets

Book description

Reviews

Refine List

Actions for selected content:

Save Search

Contents

Metrics

Altmetric attention score

Full text views

Book summary page views