Positive definability patterns

Annals of Pure and Applied Logic 176 (4):103539 (2025)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2024.103539

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 103,449

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

Infinite combinatorics and definability.Arnold W. Miller - 1989 - Annals of Pure and Applied Logic 41 (2):179-203.
Definability hierarchies of general quantifiers.Lauri Hella - 1989 - Annals of Pure and Applied Logic 43 (3):235.
On the definability of mad families of vector spaces.Haim Horowitz & Saharon Shelah - 2022 - Annals of Pure and Applied Logic 173 (4):103079.
First-order definability on finite structures.M. Ajtai - 1989 - Annals of Pure and Applied Logic 45 (3):211-225.
The definability of E in self-iterable mice.Farmer Schlutzenberg - 2023 - Annals of Pure and Applied Logic 174 (2):103208.
Effective topological spaces III: Forcing and definability.Iraj Kalantari & Galen Weitkamp - 1987 - Annals of Pure and Applied Logic 36:17-27.
Frame definability in finitely valued modal logics.Guillermo Badia, Xavier Caicedo & Carles Noguera - 2023 - Annals of Pure and Applied Logic 174 (7):103273.
Proof-theoretic methods in quantifier-free definability.Zoltan A. Kocsis - 2025 - Annals of Pure and Applied Logic 176 (4):103555.
Effective topological spaces I: A definability theory.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (1):1-27.
Semiconic idempotent logic II: Beth definability and deductive interpolation.Wesley Fussner & Nikolaos Galatos - 2025 - Annals of Pure and Applied Logic 176 (3):103528.

Analytics

Added to PP
2024-12-04

Downloads
3 (#1,867,272)

6 months
3 (#1,061,821)

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

Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.

Add more references