On the nonaxiomatizability of some logics by finitely many schemas

DOI10.1305/ndjfl/1093636517zbMath0615.03016OpenAlexW2053221524MaRDI 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

zbMATH Keywords

axiom schemarecursive axiomatizabilitystrong limit cardinalaxiomatizable logictwo- cardinal models

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Set-theoretic model theory (03C55)

Related Items (2)

There are reasonably nice logics ⋮ The theorems of Beth and Craig in abstract model theory. III: \(\Delta\)- logics and infinitary logics

This page was built for publication: On the nonaxiomatizability of some logics by finitely many schemas