The theorems of beth and Craig in abstract model theory II. Compact logics

&
Archive for Mathematical Logic 21 (1):13-35 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02011631

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,610

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
Limit ultrapowers and abstract logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.
The Craig, Robinson and Beth theorems for the modal logic of closure spaces.Jan Plaza - 1986 - Bulletin of the Section of Logic 15 (1):15-18.
Logical Interpolation and Projection onto State in the Duration Calculus.Dimitar P. Guelev - 2004 - Journal of Applied Non-Classical Logics 14 (1-2):181-208.
Vopěnka's principle and compact logics.J. A. Makowsky - 1985 - Journal of Symbolic Logic 50 (1):42-48.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
Duality for Compact Logics and Substitution in Abstract Model Theory.Paolo Lipparini - 1985 - Mathematical Logic Quarterly 31 (31‐34):517-532.
Positive results in abstract model theory: a theory of compact logics.J. A. Makowsky & S. Shelah - 1983 - Annals of Pure and Applied Logic 25 (3):263-299.
Duality for Compact Logics and Substitution in Abstract Model Theory.Paolo Lipparini - 1985 - Mathematical Logic Quarterly 31 (31-34):517-532.
Some Model Theory of Guarded Negation.Vince Bárány, Michael Benedikt & Balder ten Cate - 2018 - Journal of Symbolic Logic 83 (4):1307-1344.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
On non‐compact logics in NEXT(KTB).Zofia Kostrzycka - 2008 - Mathematical Logic Quarterly 54 (6):617-624.
Paraconsistent logic and model theory.Elias H. Alves - 1984 - Studia Logica 43 (1-2):17 - 32.

Analytics

Added to PP
2020-12-03

Downloads
1 (#1,898,331)

6 months
1 (#1,463,894)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Maximality of Logic Without Identity.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2024 - Journal of Symbolic Logic 89 (1):147-162.
Remarks in abstract model theory.Saharon Shelah - 1985 - Annals of Pure and Applied Logic 29 (3):255-288.
An exposition of the compactness of.Enrique Casanovas & Martin Ziegler - 2020 - Bulletin of Symbolic Logic 26 (3-4):212-218.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references