Where do sets come from?

DOI10.2307/2274911MaRDI QIDQ3981451zbMATH OpenOpenAlexFDO

Authors Harold T. Hodes

Publication date 26 June 1992

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274911

zbMATH Keywords

higher-order logiclimitation-of-size conception of sethoodrestriction sequencesecond-order logicsemantics with truth-value gapsset theory as a coding of \(\omega\)-order logicset-theoretic axiomsweak monadic \(\omega\)-order logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order model theory (03C85) Set theory (03E99)

Recommendations

• Second order logic or set theory?
• scientific article; zbMATH DE number 4083619
• A critical appraisal of second-order logic
• Sets and classes as many

Cites work

• scientific article; zbMATH DE number 3882394 (Why is no real title available?)
• scientific article; zbMATH DE number 3627183 (Why is no real title available?)
• Term models for weak set theories with a universal set
• Three-valued logics: An introduction, a comparison of various logical lexica, and some philosophical remarks
• Where do the natural numbers come from?

Cited in

(12)

• The monadic theory of \((\omega{}_ 2,<)\) may be complicated
• Extensionalizing intensional second-order logic
• RELATIVE CATEGORICITY AND ABSTRACTION PRINCIPLES
• scientific article; zbMATH DE number 4172943 (Why is no real title available?)
• On foundational frames for formal modelling. Sets, \(\varepsilon\)-sets and a model of conception
• On nonstandard models in higher order logic
• scientific article; zbMATH DE number 4083619 (Why is no real title available?)
• What is a Higher-Level Set?
• IS-A Relation, the Principle of Comprehension and the Doctrine of Limitation of Size
• Sets and supersets
• Sets and classes as many
• A defense of logicism

This page was built for publication: Where do sets come from?

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