$\alpha$-models and the systems $T$ and $T^\ast$

Notre Dame Journal of Formal Logic 15 (3):443-454 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Analytics

Added to PP
2010-08-24

Downloads
123 (#376,038)

6 months
21 (#493,873)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

A generalization of the concept of ω-consistency.Leon Henkin - 1954 - Journal of Symbolic Logic 19 (3):183-196.
On ω-consistency and related properties.Steven Orey - 1956 - Journal of Symbolic Logic 21 (3):246-252.
A generalization of the concept of ω-completeness.Leon Henkin - 1957 - Journal of Symbolic Logic 22 (1):1-14.

Add more references