The -rule

DOI10.1007/BF00370115MaRDI QIDQ1207341zbMATH OpenOpenAlexFDO

Authors Michael Thau

Publication date 1 April 1993

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00370115

zbMATH Keywords

\(\omega\)-logicfirst-order logic with \(\omega\)-rule

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Recommendations

• An extension of the omega-rule
• scientific article; zbMATH DE number 3908426
• Countable version of Omega-rule
• scientific article; zbMATH DE number 1324440
• scientific article; zbMATH DE number 17831

Cites work

• Henkin's completeness proof: Forty years later
• scientific article; zbMATH DE number 3054619 (Why is no real title available?)

Cited in

(11)

• Recursive \(\omega\)-rule for proof systems
• An extension of the omega-rule
• Countable version of Omega-rule
• Extending ω-consistent sets to maximally consistent, ω-complete sets
• Further applications of ultra-conservative ω-rules
• scientific article; zbMATH DE number 3908426 (Why is no real title available?)
• scientific article; zbMATH DE number 4057506 (Why is no real title available?)
• scientific article; zbMATH DE number 17831 (Why is no real title available?)
• On an extremely restricted ω-rule
• scientific article; zbMATH DE number 1324440 (Why is no real title available?)
• Completeness of the primitive recursive \(\omega \)-rule

This page was built for publication: The \(\omega{}\)-rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1207341)