On the nonaxiomatizability of some logics by finitely many schemas
From MaRDI portal
Publication:1820771
DOI10.1305/ndjfl/1093636517zbMath0615.03016MaRDI QIDQ1820771
Saharon Shelah, Charles I. Steinhorn
Publication date: 1986
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093636517
axiom schema; recursive axiomatizability; strong limit cardinal; axiomatizable logic; two- cardinal models
Related Items