What is a Higher-Level Set?
From MaRDI portal
Publication:4626044
DOI10.1093/philmat/nkw032zbMath1423.03051OpenAlexW2553465979MaRDI QIDQ4626044
Publication date: 26 February 2019
Published in: Philosophia Mathematica (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0052d9e143941a3299e2d264b243fb45efc8ab46
Philosophical and critical aspects of logic and foundations (03A05) Categorical logic, topoi (03G30) Foundations of classical theories (including reverse mathematics) (03B30) Groupoids (i.e. small categories in which all morphisms are isomorphisms) (20L05) Foundations, relations to logic and deductive systems (18A15)
Related Items (1)
This page was built for publication: What is a Higher-Level Set?