Hyperarithmetical quantifiers
C. Spector (1960)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Uncountable suborderings of the isols”
Hyperarithmetical quantifiers
Notation systems and recursive ordered fields
Yiannis N. Moschovakis (1965-1966)
Compositio Mathematica
Similarity:
Good choice sets
J. C. E. Dekker (1966)
Annali della Scuola Normale Superiore di Pisa - Classe di Scienze
Similarity:
Recursiveness of initial segments of Kleene's O
Carl Jockusch (1975)
Fundamenta Mathematicae
Similarity:
Extension pathology in regressive isols
Matthew J. Hassett (1973)
Compositio Mathematica
Similarity:
On the decidability of the theory of linear orderings with generalized quantifiers
H. Tuschik (1980)
Fundamenta Mathematicae
Similarity:
Regressive upper bounds
Joseph Barback (1967)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
Notes on monotonically metacompact generalized ordered spaces
Ai-Jun Xu (2015)
Open Mathematics
Similarity:
In this paper, we show that any generalized ordered space X is monotonically (countably) metacompact if and only if the subspace X - { x } is monotonically (countably) metacompact for every point x of X and monotone (countable) metacompact property is hereditary with respect to convex (open) subsets in generalized ordered spaces. In addition, we show the equivalence of two questions posed by H.R. Bennett, K.P. Hart and D.J. Lutzer.