What is a Higher-Level Set?

DOI10.1093/PHILMAT/NKW032MaRDI QIDQ4626044zbMATH OpenOpenAlexFDO

Authors Dimitris Tsementzis

Publication date 26 February 2019

Published in Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/0052d9e143941a3299e2d264b243fb45efc8ab46

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05)

Recommendations

• Why Sets?
• Where do sets come from?
• What Are Higher-Order Networks?
• THE POTENTIAL HIERARCHY OF SETS
• LEVEL THEORY, PART 1: AXIOMATIZING THE BARE IDEA OF A CUMULATIVE HIERARCHY OF SETS
• scientific article; zbMATH DE number 5938111
• Constructing hierarchical set systems
• Bounded-low sets and the high/low hierarchy
• Theory of sets or set of theories?

Cited in

(1)

• Univalent foundations as structuralist foundations

This page was built for publication: What is a Higher-Level Set?

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