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

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

Cited in

(19)

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