scientific article; zbMATH DE number 2172009
From MaRDI portal
Publication:4679166
zbMath1072.18005MaRDI QIDQ4679166
Publication date: 27 May 2005
Full work available at URL: http://www.emis.de/journals/TAC/reprints/articles/11/tr11abs.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Categories of sets, characterizations (18B05)
Related Items (9)
Set Theory and Structures ⋮ Strange new universes: Proof assistants and synthetic foundations ⋮ Univalent foundations as structuralist foundations ⋮ Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ The weak choice principle WISC may fail in the category of sets ⋮ On the Distinction Between Sets and Classes: A Categorical Perspective ⋮ A characterisation of the category of compact Hausdorff spaces ⋮ A meaning explanation for HoTT
This page was built for publication:
