scientific article; zbMATH DE number 3304001

zbMATH Open0191.28205MaRDI QIDQ5585364FDOQ5585364

Authors: William S. Hatcher 

Publication date: 1968

Title of this publication is not available (Why is that?)

zbMATH Keywords

philosophy and foundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30)

Cited In (19)

• Covers for monoids.
• Universal algebra in higher types
• Combinatorial computation of combinatorial formulas for knot invariants
• Notes on the theory of variable binding term operators
• Map theory
• On a synonymy relation for extensional first order theories. I: A notion of synonymy
• The versatility of universality in \textit{Principia mathematica}
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Per una teoria delle classi comunque grandi
• Nonreflexive, well founded sets and natural numbers
• Logic in category theory
• About the axiomatizations of fuzzy set theory
• A model for science kinematics
• Big mathematical systems
• Towards proof-theoretic formulation of the general theory of term-forming operators
• A logical framework for large file information handling
• Adverbs and events
• On the possibility of a Σ₂¹well-ordering of the Baire space
• Equational type logic

This page was built for publication:

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