Uniform interpolation and compact congruences

, &
Annals of Pure and Applied Logic 168 (10):1927-1948 (2017)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.05.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Lattice properties of congruences for stochastic relations.Ernst-Erich Doberkat - 2012 - Annals of Pure and Applied Logic 163 (8):1016-1029.
Modality, bisimulation and interpolation in infinitary logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.
Locally compact, ω1-compact spaces.Peter Nyikos & Lyubomyr Zdomskyy - 2024 - Annals of Pure and Applied Logic 175 (1):103324.
Modal interpolation via nested sequents.Melvin Fitting & Roman Kuznets - 2015 - Annals of Pure and Applied Logic 166 (3):274-305.
Modularity results for interpolation, amalgamation and superamalgamation.Silvio Ghilardi & Alessandro Gianola - 2018 - Annals of Pure and Applied Logic 169 (8):731-754.
Multicomponent proof-theoretic method for proving interpolation properties.Roman Kuznets - 2018 - Annals of Pure and Applied Logic 169 (12):1369-1418.
Lyndon interpolation theorem of instantial neighborhood logic – constructively via a sequent calculus.Junhua Yu - 2020 - Annals of Pure and Applied Logic 171 (1):102721.

Analytics

Added to PP
2017-05-30

Downloads
24 (#155,087)

6 months
13 (#1,035,185)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Beth definability and the Stone-Weierstrass Theorem.Luca Reggio - 2021 - Annals of Pure and Applied Logic 172 (8):102990.
Uniform interpolation and the existence of sequent calculi.Rosalie Iemhoff - 2019 - Annals of Pure and Applied Logic 170 (11):102711.
Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.

View all 9 references / Add more references