Decision procedure for a class of $(L{\omega1\omega})_t$-types of $T_3$ spaces

Notre Dame Journal of Formal Logic 28 (2):284-290 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636945

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,991

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

On extensions of $L{\omega \omega }(Q1)$.Xavier Caicedo - 1981 - Notre Dame Journal of Formal Logic 22 (1):85-93.
Scott's Interpolation Theorem Fails for $L{omega1,omega}$.Henry Africk - 1974 - Journal of Symbolic Logic 39 (1):124-126.
The Hanf Number for Complete $L{omega1, omega}$-Sentences (Without GCH).James E. Baumgartner - 1974 - Journal of Symbolic Logic 39 (3):575-578.
A decision procedure for positive implication.Michael D. Resnik - 1962 - Notre Dame Journal of Formal Logic 3 (3):179-186.
Approximation to a decision procedure for the halting problem.Michael Anderson - 1968 - Notre Dame Journal of Formal Logic 9 (4):305-312.
A simplified decision procedure for categorical syllogisms.Harry J. Gensler - 1973 - Notre Dame Journal of Formal Logic 14 (4):457-466.
A decision procedure for Fitch's propositional calculus.Richmond H. Thomason - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):101-117.
Recursively saturated $\omega_1$-like models of arithmetic.Roman Kossak - 1985 - Notre Dame Journal of Formal Logic 26 (4):413-422.
A matrix decision procedure for three modal logics.Adrian Larner - 1979 - Notre Dame Journal of Formal Logic 20 (3):599-602.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.

Analytics

Added to PP
2010-08-24

Downloads
47 (#347,677)

6 months
16 (#172,468)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juan Martínez
Complutense University of Madrid

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references