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: 91,610

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

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.
Embeddings into the Medvedev and Muchnik lattices of Π0 1 classes.Stephen Binns & Stephen G. Simpson - 2004 - Archive for Mathematical Logic 43 (3):399-414.
Representation of finite demi-p-lattices by means of posets.Hernando Gaitan - 1996 - Studia Logica 56 (1-2):97 - 110.
Infinite substructure lattices of models of Peano Arithmetic.James H. Schmerl - 2010 - Journal of Symbolic Logic 75 (4):1366-1382.
Decision problem for separated distributive lattices.Yuri Gurevich - 1983 - Journal of Symbolic Logic 48 (1):193-196.
Finite Distributive Lattices As Sums Of Boolean Algebras.Jerzy Kotas & Piotr Wojtylak - 1995 - Reports on Mathematical Logic:35-40.
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.
Representation of posets.Yungchen Cheng & Paula Kemp - 1992 - Mathematical Logic Quarterly 38 (1):269-276.
A dense family of well-behaved finite monogenerated left-distributive groupoids.Matthew Smedberg - 2013 - Archive for Mathematical Logic 52 (3-4):377-402.
Canonical extensions and completions of posets and lattices.Mai Gehrke & Hilary Priestley - 2008 - Reports on Mathematical Logic.
On the predicate logics of finite Kripke frames.D. Skvortsov - 1995 - Studia Logica 54 (1):79-88.
Disjunctions in closure spaces.Andrzej W. Jankowski - 1985 - Studia Logica 44 (1):11 - 24.
The Uniqueness Of The Decomposition Of Distributive Lattices Into Sums Of Boolean Lattices.Joanna Grygiel & Piotr Wojtylak - 1997 - Reports on Mathematical Logic:93-102.
A splitting theorem for the Medvedev and Muchnik lattices.Stephen Binns - 2003 - Mathematical Logic Quarterly 49 (4):327.

Analytics

Added to PP
2017-11-25

Downloads
28 (#565,512)

6 months
7 (#419,635)

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