New axiomatizations for logics with generalized quantifiers

DOI10.1007/BF02764920zbMath0404.03023MaRDI QIDQ1256443

Michael Makkai, Victor Harnik

Publication date: 1979

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Standard ModelDeductive SystemAdmissible FragmentsCompleteness TheoremCountable Admissible SetGeneralized QuantifierStationary LogicWeak Model

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Categoricity and completeness of theories (03C35) Logic on admissible sets (03C70)

Related Items (1)

A cut elimination theorem for stationary logic

Cites Work

• Unnamed Item
• Unnamed Item
• Some model theoretic results for \(\omega\)-logic
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Model-Theoretic Forcing in Logic With a Generalized Quantifier
• Refinements of Vaught's normal from theorem
• Uncountable models and infinitary elementary extensions
• Scott sentences and admissible sets
• Generalized Quantifiers and Compact Logic
• On Models ≡ ∞ω to an Uncountable Model
• Applications of vaught sentences and the covering theorem
• An introduction to recursively saturated and resplendent models
• Stationary logic
• Models with compactness properties relative to an admissible language
• The pure part of HYP(ℳ)
• Boolean models and infinitary first order languages
• Logic with the quantifier “there exist uncountably many”

This page was built for publication: New axiomatizations for logics with generalized quantifiers