Topological Framework for Non‐Priority

Mathematical Logic Quarterly 37 (31-32):495-500 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19910373104

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Infinitary logic and topological homeomorphisms.T. A. McKee - 1975 - Mathematical Logic Quarterly 21 (1):405-408.
Algebraic Analysis of the Topological Logic L(I).George Georgescu - 1982 - Mathematical Logic Quarterly 28 (27‐32):447-454.
An Axiomatization of Topological Boolean Algebras.Joel Kagan - 1972 - Mathematical Logic Quarterly 18 (7):103-106.
The formal language Lt and topological products.L. E. Bertossi - 1990 - Mathematical Logic Quarterly 36 (2):89-94.
On the Topological Size of Sets of Random Strings.M. Zimand - 1986 - Mathematical Logic Quarterly 32 (6):81-88.
χ‐Local Operations for Topological Structures.J. Flum & J. C. Martinez - 1985 - Mathematical Logic Quarterly 31 (21‐23):345-349.
Topological Size of Sets of Partial Recursive Functions.Cristian Calude - 1982 - Mathematical Logic Quarterly 28 (27‐32):455-462.
Sentences Preserved between Equivalent Topological Bases.T. A. McKee - 1976 - Mathematical Logic Quarterly 22 (1):79-84.
A Topological Model for Intuitionistic Analysis with Kripke's Scheme.M. D. Krol - 1978 - Mathematical Logic Quarterly 24 (25‐30):427-436.

Analytics

Added to PP
2013-12-01

Downloads
58 (#368,057)

6 months
10 (#398,493)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A general framework for priority arguments.Steffen Lempp & Manuel Lerman - 1995 - Bulletin of Symbolic Logic 1 (2):189-201.
The combinatorics of the splitting theorem.Kyriakos Kontostathis - 1997 - Journal of Symbolic Logic 62 (1):197-224.

Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
Degrees of unsolvability.Joseph Robert Shoenfield - 1971 - New York,: American Elsevier.
Degrees of Unsolvability.Joseph R. Shoenfield - 1975 - Studia Logica 34 (3):284-288.

Add more references