No finite axiomatizations for posets embeddable into distributive lattices

Annals of Pure and Applied Logic 169 (3):235-242 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2017.11.001

Links

PhilArchive



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

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

A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees.Steffen Lempp & Manuel Lerman - 1997 - Annals of Pure and Applied Logic 87 (2):167-185.
Commodious axiomatization of quantifiers in multiple-valued logic.Reiner Hähnle - 1998 - Studia Logica 61 (1):101-121.
On MODkP Counting Degrees.Masamitsu Ozaki & Juichi Shinoda - 1999 - Mathematical Logic Quarterly 45 (3):327-342.
A necessary and sufficient condition for embedding principally decomposable finite lattices into the computably enumerable degrees.M. Lerman - 2000 - Annals of Pure and Applied Logic 101 (2-3):275-297.
Mutually embeddable models of ZFC.Monroe Eskew, Sy-David Friedman, Yair Hayut & Farmer Schlutzenberg - 2024 - Annals of Pure and Applied Logic 175 (1):103325.
On bi-embeddable categoricity of algebraic structures.Nikolay Bazhenov, Dino Rossegger & Maxim Zubkov - 2022 - Annals of Pure and Applied Logic 173 (3):103060.
The structure of the honest polynomial m-degrees.Rod Downey, William Gasarch & Michael Moses - 1994 - Annals of Pure and Applied Logic 70 (2):113-139.
Gödel algebras free over finite distributive lattices.Stefano Aguzzoli, Brunella Gerla & Vincenzo Marra - 2008 - Annals of Pure and Applied Logic 155 (3):183-193.
Posets of copies of countable ultrahomogeneous tournaments.Miloš S. Kurilić & Stevo Todorčević - forthcoming - Annals of Pure and Applied Logic.
Axiomatizations of team logics.Martin Lück - 2018 - Annals of Pure and Applied Logic 169 (9):928-969.

Analytics

Added to PP
2017-11-25

Downloads
28 (#588,700)

6 months
7 (#491,170)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Recursive axiomatisations from separation properties.Rob Egrot - 2021 - Journal of Symbolic Logic 86 (3):1228-1258.

Add more citations

References found in this work

Representable posets.Rob Egrot - 2016 - Journal of Applied Logic 16:60-71.

Add more references