Finitely Representable Functions

Journal of Symbolic Logic 38 (1):157-158 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271757

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Review: John Myhill, Finitely Representable Functions. [REVIEW]Martin Davis - 1973 - Journal of Symbolic Logic 38 (1):157-158.
On the Kolmogorov complexity of continuous real functions.Amin Farjudian - 2013 - Annals of Pure and Applied Logic 164 (5):566-576.
A simple construction of representable relation algebras with non‐representable completions.Tarek Sayed Ahmed - 2009 - Mathematical Logic Quarterly 55 (3):237-244.
Ordinals and ordinal functions representable in the simply typed lambda calculus.N. Danner - 1999 - Annals of Pure and Applied Logic 97 (1-3):179-201.
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.
On representable ordered residuated semigroups.Szabolcs Mikulás - 2011 - Logic Journal of the IGPL 19 (1):233-240.
The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.
On the search for a finitizable algebraization of first order logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.
The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable.Robin Hirsch - 2005 - Logic Journal of the IGPL 13 (2):159-171.
On nonrepresentable G-polyadic algebras with representable cylindric reducts.Gábor Sági - 2011 - Logic Journal of the IGPL 19 (1):105-109.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Nonfinite axiomatizability results for cylindric and relation algebras.Roger D. Maddux - 1989 - Journal of Symbolic Logic 54 (3):951-974.
Continuously Representable Paretian Quasi-Orders.Vicki Knoblauch - 2006 - Theory and Decision 60 (1):1-16.
Expressive Three-valued Truth Functions.Stephen Pollard - 2006 - Australasian Journal of Logic 4:226-245.
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.

Analytics

Added to PP
2015-02-05

Downloads
2 (#1,784,141)

6 months
1 (#1,510,037)

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

No references found.

Add more references