Maximality in effective topology

&
Journal of Symbolic Logic 48 (1):100-112 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273326

Other Versions

No versions found

Links

PhilArchive



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

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

Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19‐24):295-302.
Some Remarks on a Theorem of Iraj Kalantari Concerning Convexity and Recursion Theory.R. Downey - 1984 - Mathematical Logic Quarterly 30 (19-24):295-302.
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209–219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 , pp. 481–491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 , pp. 293–303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 , pp. 430–441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 , pp. 260–269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3. [REVIEW]Henry A. Kierstead - 1986 - Journal of Symbolic Logic 51 (1):229-232.
On foreman’s maximality principle.Mohammad Golshani & Yair Hayut - 2016 - Journal of Symbolic Logic 81 (4):1344-1356.
Combining resurrection and maximality.Kaethe Minden - 2021 - Journal of Symbolic Logic 86 (1):397-414.
Simplicity in effective topology.Iraj Kalantari & Anne Leggett - 1982 - Journal of Symbolic Logic 47 (1):169-183.
Leggett H. W.. Bertrand Russell, O. M. A pictorial biography. Philosophical Library, New York 1950, 79 pp. [REVIEW]Alonzo Church - 1951 - Journal of Symbolic Logic 16 (3):223-223.
Women in Mathematics. [REVIEW]Peggy Aldrich Kidwell - 2007 - Minerva 45 (3):353-356.
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.
A blend of methods of recursion theory and topology.Iraj Kalantari & Larry Welch - 2003 - Annals of Pure and Applied Logic 124 (1-3):141-178.

Analytics

Added to PP
2009-01-28

Downloads
62 (#344,349)

6 months
20 (#147,745)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Effective topological spaces I: A definability theory.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (1):1-27.
Effective topological spaces II: A hierarchy.Iraj Kalantari & Galen Weitkamp - 1985 - Annals of Pure and Applied Logic 29 (2):207-224.
Effective inseparability in a topological setting.Dieter Spreen - 1996 - Annals of Pure and Applied Logic 80 (3):257-275.

Add more citations

References found in this work

Recursively enumerable vector spaces.G. Metakides - 1977 - Annals of Mathematical Logic 11 (2):147.
Effective content of field theory.G. Metakides - 1979 - Annals of Mathematical Logic 17 (3):289.

Add more references