The Q-consistency of F₂₂

DOI10.1305/NDJFL/1093887826MaRDI QIDQ1844216zbMATH OpenOpenAlexFDO

Authors Jonathan P. Seldin

Publication date 1977

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1093887826

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Proof theory and constructive mathematics (03F99)

Cited in

(2)

• Predicate calculus of arbitrarily high finite order
• Consistency notions in illative combinatory logic

This page was built for publication: The \(Q\)-consistency of \(F_{22}\)

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