On an algebra of sets of finite sequences

Journal of Symbolic Logic 35 (1):19-28 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200092185

Links

PhilArchive



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

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

On an algebra of sets of finite sequences.J. Donald Monk - 1970 - Journal of Symbolic Logic 35 (1):19-28.
On sets not belonging to algebras.L. Š Grinblat - 2007 - Journal of Symbolic Logic 72 (2):483-500.
An Undecidable Property of Recurrent Double Sequences.Mihai Prunescu - 2008 - Notre Dame Journal of Formal Logic 49 (2):143-151.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
Index sets in the arithmetical Hierarchy.Ulrike Brandt - 1988 - Annals of Pure and Applied Logic 37 (2):101-110.
Characteristic Formulas of Partial Heyting Algebras.Alex Citkin - 2013 - Logica Universalis 7 (2):167-193.
Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.
Characteristic Inference Rules.Alex Citkin - 2015 - Logica Universalis 9 (1):27-46.
The existence of a near-unanimity term in a finite algebra is decidable.Miklós Maróti - 2009 - Journal of Symbolic Logic 74 (3):1001-1014.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Axiomatization of abelian-by- G groups for a finite group G.Francis Oger - 2001 - Archive for Mathematical Logic 40 (7):515-521.
Pairs, sets and sequences in first-order theories.Albert Visser - 2008 - Archive for Mathematical Logic 47 (4):299-326.
A new symbolic representation for the algebra of sets.Jerome Frazee - 1990 - History and Philosophy of Logic 11 (1):67-75.
A categorical approach to polyadic algebras.Roch Ouellet - 1982 - Studia Logica 41 (4):317 - 327.
The finite model property for knotted extensions of propositional linear logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.

Analytics

Added to PP
2016-06-30

Downloads
13 (#1,041,239)

6 months
3 (#984,770)

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

Boolean notions extended to higher dimensions.W. Craig - 1965 - In J. W. Addison (ed.), The theory of models. Amsterdam,: North-Holland Pub. Co.. pp. 55--69.

Add more references