Skip to main content
SpringerLink
Log in

Interpolation, compactness and JEP in soft model theory

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

Abstract

Let

be the following statement: “for any infinite regularκ, for any uniform ultrafilterD onκ,D isλ-descendingly incomplete for all infiniteλ”.

is weaker than ⌍0#. Assuming

we prove the following: letL be a logic in which the class of sentences of typeτ is a set if so isτ; then: (I)L is compact iffL has JEP; (II)L satisfies Robinson Consistency Theorem iffL is compact and satisfies Craig Interpolation theorem; (III) if, in addition,L is single-sorted, thenL satisfies Robinson Consistency Theorem iffL has JEP#. JEP (resp. JEP#) are the natural generalizations for logicL of the familiar Joint Embedding Property of elementary (resp. complete) embeddings in first order logic. As a corollary, we characterize first order logic as the only logic having Löwenheim number equal toω together with JEP.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Barwise, K.J.: Axioms for abstract model theory. Ann. Math. Logic7, 221–265 (1974).

    MATH  MathSciNet  Google Scholar 

  2. Chang, C.C., Keisler, J.: Model theory (second edition). Amsterdam: North-Holland 1977

    Google Scholar 

  3. Feferman, S.: Two notes on abstract model theory. I. Fund. Math.82, 153–165 (1974) and II, ibid.89, 111–130 (1975).

    MATH  Google Scholar 

  4. Flum, J.: First order logic and its extensions. Lecture Notes in Mathematics, Vol. 499, pp. 248–310. Berlin, Heidelberg, New York: Springer 1976.

    Google Scholar 

  5. Jensen, R.B., Koppelberg, B.J.: A note on ultrafilters, Notices AMS 78T-E21.

  6. Makowsky, J.A., Shelah, S.: The theorems of Beth and Craig in abstract model theory. I. Trans. AMS256, 215–239 (1979).

    MathSciNet  Google Scholar 

  7. Makowsky, J. A., Shelah, S., Stavi, J.:Δ-logics and generalized quantifiers. Ann. Math. Logic10, 155–192 (1976).

    Article  MathSciNet  Google Scholar 

  8. Mundici, D.: Applications of many-sorted Robinson consistency theorem. Z. Math. Logik27, 181–188 (1981).

    MATH  MathSciNet  Google Scholar 

  9. Donder, D., Jensen, R.B., Koppelberg, B.J.: Some applications of the core model. In: Lecture Notes in Mathematics, Vol. 872, pp. 55–97. Berlin, Heidelberg, New York: Springer 1981.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Loc. Romola N. 76, I-50060, Donnini (Florence), Italy

    Daniele Mundici

Authors
  1. Daniele Mundici
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Mundici, D. Interpolation, compactness and JEP in soft model theory. Arch math Logik 22, 61–67 (1980). https://doi.org/10.1007/BF02318027

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02318027

Keywords

Search

Navigation