The \(Q\)-consistency of \(F_{22}\)

DOI10.1305/ndjfl/1093887826zbMath0283.02027OpenAlexW1966106666MaRDI QIDQ1844216

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)

Related Items

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