New axiomatizations for logics with generalized quantifiers

Victor Harnik, Michael Makkai

Research output: Contribution to journalArticlepeer-review


We give a complete axiomatization for admissible fragments of L {ie257-1}(Q). This axiomatization implies syntactically Gregory's characterization of L {ie257-2} sentences with no uncountable models ([5]). This is then extended to stationary logic. To obtain these results, we employ Ressayre's methods ([16], [17]) augmented with an application of game sentences. In section 4 we prove a result emphasizing the naturalness of Gregory's result.

Original languageEnglish
Pages (from-to)257-281
Number of pages25
JournalIsrael Journal of Mathematics
Issue number2-3
StatePublished - Jun 1979

ASJC Scopus subject areas

  • General Mathematics


Dive into the research topics of 'New axiomatizations for logics with generalized quantifiers'. Together they form a unique fingerprint.

Cite this