scientific article; zbMATH DE number 3265727

MaRDI QIDQ5552145zbMATH OpenFDO

Authors William Todd

Publication date 1965

zbMATH Keywords

foundations of mathematics

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Disquotation and infinite conjunctions
• Elimination of infinitesimal quantifiers
• Quantifier elimination for infinite terms
• scientific article; zbMATH DE number 3966034
• Infinite and finite Gleason’s theorems and the logic of indeterminacy
• Infinitary combinatorics and modal logic
• Infinitary logics and 0-1 laws
• Quantifiers and congruence closure
• Contraction, infinitary quantifiers, and omega paradoxes
• An infinity of intuitionistic connexive logics

Cited in

(3)

• Quantifier elimination for infinite terms
• Disquotation and infinite conjunctions
• Proof of the law of infinite conjunction using the perfect disjunctive normal form

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 Q5552145)