scientific article; zbMATH DE number 3304001

MaRDI QIDQ5585364zbMATH OpenFDO

Authors William S. Hatcher

Publication date 1968

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)

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