Arboreal categories and equi-resource homomorphism preservation theorems

&
Annals of Pure and Applied Logic 175 (6):103423 (2024)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103423

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

Relativised Homomorphism Preservation at the Finite Level.Lucy Ham - 2017 - Studia Logica 105 (4):761-786.
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.
Syntactic Preservation Theorems for Intuitionistic Predicate Logic.Jonathan Fleischmann - 2010 - Notre Dame Journal of Formal Logic 51 (2):225-245.
First order properties on nowhere dense structures.Jaroslav Nešetřil & Patrice Ossona de Mendez - 2010 - Journal of Symbolic Logic 75 (3):868-887.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.
First order properties on nowhere dense structures.Jaroslav Nešetřil & Patrice Ossona de Mendez - 2010 - Journal of Symbolic Logic 75 (3):868 - 887.
First order properties on nowhere dense structures.Nešetřil Jaroslav & Ossona De Mendez Patrice - 2010 - Journal of Symbolic Logic 75 (3):868-887.
Understanding preservation theorems, II.Chaz Schlindwein - 2010 - Mathematical Logic Quarterly 56 (5):549-560.
Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad.Anuj Dawar - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 671-699.
Rules in relevant logic - I: Semantic classification.Ross T. Brady - 1994 - Journal of Philosophical Logic 23 (2):111 - 137.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
Equality-free logic: the method of diagrams and preservation theorems.P. Dellunde - 1999 - Logic Journal of the IGPL 7 (6):717-732.
Homomorphism reductions on Polish groups.Konstantinos A. Beros - 2018 - Archive for Mathematical Logic 57 (7-8):795-807.
New reals: Can live with them, can live without them.Martin Goldstern & Jakob Kellner - 2006 - Mathematical Logic Quarterly 52 (2):115-124.

Analytics

Added to PP
2024-02-16

Downloads
13 (#1,041,664)

6 months
13 (#200,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Abstract elementary classes and accessible categories.Tibor Beke & Jirí Rosický - 2012 - Annals of Pure and Applied Logic 163 (12):2008-2017.
On Moschovakis closure ordinals.Jon Barwise - 1977 - Journal of Symbolic Logic 42 (2):292-296.
A note on graded modal logic.Maarten de Rijke - 2000 - Studia Logica 64 (2):271-283.

View all 7 references / Add more references