Generalized quantifiers and compact logic-Reference-Cited by-同舟云学术

Generalized quantifiers and compact logic

Published:1975 Issue:0 Volume:204 Page:342-364
ISSN:0002-9947
Container-title:Transactions of the American Mathematical Society
language:en
Short-container-title:Trans. Amer. Math. Soc.

Author:

Shelah Saharon

Abstract

We solve a problem of Friedman by showing the existence of a logic stronger than first-order logic even for countable models, but still satisfying the general compactness theorem, assuming e.g. the existence of a weakly compact cardinal. We also discuss several kinds of generalized quantifiers.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Link

http://www.ams.org/tran/1975-204-00/S0002-9947-1975-0376334-6/S0002-9947-1975-0376334-6.pdf

Reference35 articles.

1. Absolute logics and 𝐿_{∞𝜔};Barwise, K. Jon;Ann. Math. Logic,1972

2. C. C. Chang, Two refinements of Morley’s method on omitting types of elements, Notices Amer. Math. Soc. 11 (1964), 679. Abstract #64T-449.

3. A note on the two cardinal problem;Chang, C. C.;Proc. Amer. Math. Soc.,1965

4. C. C. Chang and H. I. Keisler, Model theory, North-Holland, Amsterdam, 1973.

5. Models of axiomatic theories admitting automorphisms;Ehrenfeucht, A.;Fund. Math.,1956

Cited by 56 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. When cardinals determine the power set: inner models and Härtig quantifier logic;Mathematical Logic Quarterly;2023-09-11

2. COFINALITY QUANTIFIERS IN ABSTRACT ELEMENTARY CLASSES AND BEYOND;The Journal of Symbolic Logic;2023-05-26

3. ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL;The Journal of Symbolic Logic;2023-01-05

4. Inner models from extended logics: Part 1;Journal of Mathematical Logic;2020-12-18

5. AN EXPOSITION OF THE COMPACTNESS OF;The Bulletin of Symbolic Logic;2020-06-11