Lipparini, Paolo:
Some results about compact logics
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 72 (1982), fasc. n.6, p. 308-311, (English)
pdf (302 Kb), djvu (243 Kb). | MR 0726293 | Zbl 0548.03015
Sunto
Nell'ambito della Teoria dei Modelli Astratta è possibile dimostrare che una logica compatta L è univocamente determinata dalla sua relazione di L-elementare equivalenza (Teorema 1). Si enunciano poi alcuni risultati sulle logiche massime correlate a certe relazioni di equivalenza e sulle logiche compatte generate da qualche sistema di Fraissé-Ehrenfeucht.
Referenze Bibliografiche
[1]
K.J. Barwise (
1974) -
Axioms for abstract model theory,
«Ann. Math. Logic»,
7, 221-265. |
Zbl 0324.02034[2]
P. Lindstrom (
1966) -
First order predicate logic with generalized quantifiers,
«Theoria»,
32, 186-195. |
Zbl 1230.03072[3] P. Lipparini - Duality for compact logics and substitution in abstract model theory, preprint.
[4] J.A. Makowsky and S. Shelah - Positive results in abstract model theory, preprint.
[5]
J.A. Makowsky,
S. Shelah and
S. Stavi (
1976) -
$\Delta$-logics and generalized quantifiers,
«Ann. Math. Logic.»,
10, 155-192. |
Zbl 0346.02007[6]
D. Mundici (
1982) -
Interpolation, compactness and JEP in soft model theory,
«Arch. Math. Logik»,
22, 61-67. |
fulltext EuDML[7] D. Mundici (1982) - Duality between logics and equivalence relations, «Trans. Amer. Math. Soc.», 270, 111-129.
[8]
D. Mundici (
1981) -
An algebraic result about soft model theoretical equivalence relations with an application to H.
Friedman's fourth problem,
«J. Symbolic Logic»,
46, 523-530. |
Zbl 0465.03020[9] D. Mundici (1981) - Variations on Friedman's third and fourth problem, in Proceedings of the International Conference: «Open Days for Model Theory and Set Theory» (H. Rasiowa and W. Marek Chair.), Warsaw Sept.
[10]
M.E. Nadel (
1980) -
An arbitrary equivalence relation as elementary equivalence in abstract logic,
«Z. Math. Logik Grundlagen Math.»,
26, 103-109. |
Zbl 0444.03016[11]
S. Shelah (
1975) -
Generalized quantifiers and compact logic,
«Trans, Amer. Math. Soc.»,
204, 342-364. |
Zbl 0322.02010