×

On orderings of the family of all logics. (English) Zbl 0499.03024


MSC:

03C80 Logic with extra quantifiers and operators
03C95 Abstract model theory
PDFBibTeX XMLCite
Full Text: DOI EuDML

References:

[1] Barwise, J.: Axioms for abstract model theory. Ann. Math. Logic7, 221–265 (1974). · Zbl 0324.02034 · doi:10.1016/0003-4843(74)90016-3
[2] Lindström, P.: First order logic and generalized quantifiers. Theoria32, 187–195 (1966). · Zbl 1230.03072
[3] Lindström, P.: On extensions of elementary logic. Theoria35, 1–11 (1969). · Zbl 0206.27202 · doi:10.1111/j.1755-2567.1969.tb00356.x
[4] Makowsky, J., Shelah, S., Stavi, J.: {\(\Delta\)}-logics and generalized quantifiers. Ann. Math. Logic10, 155–192 (1976). · Zbl 0346.02007 · doi:10.1016/0003-4843(76)90021-8
[5] Manders, K.: First order logical systems and set-theoretical definability (to appear).
[6] Shelah, S.: Generalized quantifiers and compact logic. Trans. Am. Math. Soc.204, 342–364 (1975). · Zbl 0322.02010 · doi:10.1090/S0002-9947-1975-0376334-6
[7] Stavi, J.: Compactness properties of infinitary and abstract languages. I. Logic Colloquium ’77 (North-Holland, Amsterdam 1978), pp. 263–276.
[8] Westerståhl, D.: Some philosophical aspects of abstract model theory. Philosophical Communications No. 2. University of Gothenburg, 1976.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.