A theorem on maximal sets

Notre Dame Journal of Formal Logic 2 (4):222-223 (1961)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A theorem on ${\rm S}4.2$ and ${\rm S}4.4$.Ivo Thomas - 1967 - Notre Dame Journal of Formal Logic 8 (4):335-336.
The fundamental ${\rm S}$-theorem---a corollary.Robert K. Meyer, Errol P. Martin & Robert Dwyer - 1983 - Notre Dame Journal of Formal Logic 24 (4):509-516.
The deduction theorem in ${\rm S}4,$ ${\rm S}4.2$, and ${\rm S}5$.J. Jay Zeman - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):56-60.
Around Silver's Theorem.Moti Gitik - 2005 - Notre Dame Journal of Formal Logic 46 (3):323-325.
A Lindström Theorem for Intuitionistic Propositional Logic.Guillermo Badia - 2020 - Notre Dame Journal of Formal Logic 61 (1):11-30.
Maximal full matrices.Biswambhar Pahi - 1972 - Notre Dame Journal of Formal Logic 13 (1):142-144.

Analytics

Added to PP
2010-08-24

Downloads
35 (#678,037)

6 months
12 (#218,371)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Dichotomy of the Recursively Enumerable Sets.Robert W. Robinson - 1968 - Mathematical Logic Quarterly 14 (21-24):339-356.
A theorem on hyperhypersimple sets.Donald A. Martin - 1963 - Journal of Symbolic Logic 28 (4):273-278.

Add more citations

References found in this work

No references found.

Add more references