Developing arithmetic in set theory without infinity: some historical remarks

DOI10.1080/01445348708837116MaRDI QIDQ3786464zbMATH OpenOpenAlexWikidataFDO

Authors Charles Parsons

Publication date 1987

Published in History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/01445348708837116

zbMATH Keywords

axiom of infinityBernaysDedekindFregeGrellingGödelhistorical development of arithmetic in set theoryQuinevon NeumannZermelo

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)

Recommendations

• scientific article; zbMATH DE number 2226258
• On the development of the notion of a cardinal number
• Dedekind's analysis of number: Systems and axioms
• scientific article; zbMATH DE number 3851015
• scientific article; zbMATH DE number 2101964

Cites work

• A basis for number theory in finite classes
• A system of axiomatic set theory - Part VII
• A system of axiomatic set theory—Part I
• A system of axiomatic set theory—Part II
• Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory
• Consistency of the Continuum Hypothesis. (AM-3)
• EIGHTY YEARS OF FOUNDATIONAL STUDIES
• scientific article; zbMATH DE number 3782930 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3198017 (Why is no real title available?)
• The axiom of choice
• The theory of classes A modification of von Neumann's system

Cited in

(11)

• Zigzag and Fregean Arithmetic
• On the development of the notion of a cardinal number
• A note on induction, abstraction, and Dedekind-finiteness
• Zermelo and Set Theory
• Operation and predicativity: Lorenzen's approach to arithmetic
• Frege's other program
• Zermelo and Set Theory
• scientific article; zbMATH DE number 3051339 (Why is no real title available?)
• TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE
• Kripke, Quine and Steiner on Representing Natural Numbers in Set Theory
• Amending Frege's \textit{Grundgesetze der Arithmetik}

This page was built for publication: Developing arithmetic in set theory without infinity: some historical remarks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3786464)