Foundations and Applications: Axiomatization and Education

DOI10.2178/bsl/1052669290zbMath1058.03080OpenAlexW2127879943MaRDI QIDQ4650298

F. William Lawvere

Publication date: 9 February 2005

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

Full work available at URL: https://projecteuclid.org/euclid.bsl/1052669290

zbMATH Keywords

axiomatic methodmathematical practicecategorical methodaxiomatics of set theory

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Categorical logic, topoi (03G30) Methodology of mathematics (00A35) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

THE UNITY AND IDENTITY OF DECIDABLE OBJECTS AND DOUBLE-NEGATION SHEAVES

Cites Work

• Cohesive Toposes and Cantor's 'lauter Einsen'
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item

This page was built for publication: Foundations and Applications: Axiomatization and Education