Equational Representations

Abstract

We begin by presenting the language L(N,℘N,℘℘N). This is the standard language for presenting third order sentences, using its intended interpretation.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

My notes

Similar books and articles

On the equational theory of projection lattices of finite von Neumann factors.Christian Herrmann - 2010 - Journal of Symbolic Logic 75 (3):1102-1110.
A form of feasible interpolation for constant depth Frege systems.Jan Krajíček - 2010 - Journal of Symbolic Logic 75 (2):774-784.
A Generalization of the Łukasiewicz Algebras.Teresa Almada & JÚlia Vaz de Carvalho - 2001 - Studia Logica 69 (3):329 - 338.
Flag Algebras.Alexander A. Razborov - 2007 - Journal of Symbolic Logic 72 (4):1239 - 1282.
Downward transfer of satisfiability for sentences of L 1,1.Jerome Malitz - 1983 - Journal of Symbolic Logic 48 (4):1146-1150.
Free abelian lattice-ordered groups.A. M. W. Glass, Angus Macintyre & Françoise Point - 2005 - Annals of Pure and Applied Logic 134 (2-3):265-283.
Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.
Definability of types, and pairs of o-minimal structures.Anand Pillay - 1994 - Journal of Symbolic Logic 59 (4):1400-1409.
Dynamic ordinal analysis.Arnold Beckmann - 2003 - Archive for Mathematical Logic 42 (4):303-334.
On the decidability of the theories of the arithmetic and hyperarithmetic degrees as uppersemilattices.James S. Barnes - 2017 - Journal of Symbolic Logic 82 (4):1496-1518.

Analytics

Added to PP
2010-12-22

Downloads
210 (#121,003)

6 months
210 (#14,496)

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