scientific article; zbMATH DE number 3265727

zbMATH Open0166.00103MaRDI QIDQ5552145FDOQ5552145

Authors: William Todd 

Publication date: 1965

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

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

zbMATH Keywords

foundations of mathematics

Mathematics Subject Classification ID

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

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)