scientific article; zbMATH DE number 3265727

zbMATH Open0166.00103MaRDI QIDQ5552145FDOQ5552145

William Todd

Publication date: 1965

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

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

   Recommendations

• Disquotation and infinite conjunctions 👍 👎
• Elimination of infinitesimal quantifiers 👍 👎
• Quantifier elimination for infinite terms 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)