$\Alpha$-naming and $\alpha$-speedup theorems

Notre Dame Journal of Formal Logic 20 (2):241-261 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093882529

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

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

Sums of $\alpha$-spaces.Northrup Fowler - 1975 - Notre Dame Journal of Formal Logic 16 (3):379-388.
alpha-models and systems T and T.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15:443.
$\alpha$-models and the systems $T$ and $T^\ast$.Newton C. A. da Costa - 1974 - Notre Dame Journal of Formal Logic 15 (3):443-454.
New semantics for the extensional but hyper-intensional part $\scr L\alpha$ of the modal sense language ${\scr S}{\scr L}^\nu\alpha$.Aldo Bressan - 1990 - Notre Dame Journal of Formal Logic 32 (1):47-86.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
The Gödel-Herbrand theorems.Richard L. Call - 1972 - Notre Dame Journal of Formal Logic 13 (1):131-134.
A formal system for the non-theorems of the propositional calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
Remarks on strong nonstructure theorems.Tapani Hyttinen, Saharon Shelah & Heikki Tuuri - 1993 - Notre Dame Journal of Formal Logic 34 (2):157-168.
Relative separation theorems for L+.Heikki Tuuri - 1992 - Notre Dame Journal of Formal Logic 33 (3):383-401.
Deduction theorems in significance logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.

Analytics

Added to PP
2010-08-24

Downloads
17 (#895,795)

6 months
14 (#200,423)

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