Foundations and Applications: Axiomatization and Education

DOI10.2178/bsl/1052669290zbMath1058.03080MaRDI 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 method; mathematical practice; categorical method; axiomatics of set theory

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03G30: Categorical logic, topoi

00A35: Methodology of mathematics

03-03: History of mathematical logic and foundations

03E30: Axiomatics of classical set theory and its fragments

18A15: Foundations, relations to logic and deductive systems

Cites Work

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