Strong Representability of Sets by Calculi

Journal of Symbolic Logic 32 (3):391-392 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270789

Links

PhilArchive



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

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: S. Ju. Maslov, Elliott Mendelson, Strong Representability of Sets by Calculi. [REVIEW]E. M. Fels - 1967 - Journal of Symbolic Logic 32 (3):391-392.
The Concept of Strong Representability in the General Theory of Calculi.V. P. Orevkov & N. A. Sanin - 1974 - Journal of Symbolic Logic 39 (1):187-188.
Review: S. U. Maslov, V. P. Orevkov, N. A. Sanin, The Concept of Strong Representability in the General Theory of Calculi. [REVIEW]Robert A. DiPaola - 1974 - Journal of Symbolic Logic 39 (1):187-188.
Undecidability of representability as binary relations.Robin Hirsch & Marcel Jackson - 2012 - Journal of Symbolic Logic 77 (4):1211-1244.
Strong Normalizability of Typed Lambda-Calculi for Substructural Logics.Motohiko Mouri & Norihiro Kamide - 2008 - Logica Universalis 2 (2):189-207.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.
Strong measure zero sets without Cohen reals.Martin Goldstern, Haim Judah & Saharon Shelah - 1993 - Journal of Symbolic Logic 58 (4):1323-1341.
Strong measure zero sets and rapid filters.Jaime I. Ihoda - 1988 - Journal of Symbolic Logic 53 (2):393-402.
Representability of Recursively Enumerable Sets in Formal Theories.A. Ehrenfeucht & S. Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-530.
Effective embeddings into strong degree structures.Timothy H. McNicholl - 2003 - Mathematical Logic Quarterly 49 (3):219.
Review: J. C. Shepherdson, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]Robert A. DiPaola - 1969 - Journal of Symbolic Logic 34 (1):117-117.
Review: A. Ehrenfeucht, S. Feferman, Representability of Recursively Enumerable Sets in Formal Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-530.
Strong Cardinals and Sets of Reals in Lω1.Ralf-Dieter Schindler - 1999 - Mathematical Logic Quarterly 45 (3):361-369.
Finite powers of strong measure zero sets.Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1295-1306.
Labeled calculi and finite-valued logics.Matthias Baaz, Christian G. Fermüller, Gernot Salzer & Richard Zach - 1998 - Studia Logica 61 (1):7-33.

Analytics

Added to PP
2015-02-05

Downloads
3 (#1,712,253)

6 months
1 (#1,471,551)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references