An existence theorem for a special ultrafilter when

Journal of Symbolic Logic 58 (4):1359-1364 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275148

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,063

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

An Existence Theorem for a Special Ultrafilter when $\mathfrak{d} = \mathfrak{c}$.James Moloney - 1994 - Journal of Symbolic Logic 59 (4):1359-1364.
On the role of the baire category theorem and dependent choice in the foundations of logic.Robert Goldblatt - 1985 - Journal of Symbolic Logic 50 (2):412-422.
A few special ordinal ultrafilters.Claude Laflamme - 1996 - Journal of Symbolic Logic 61 (3):920-927.
Algebraic closure without choice.Bernhard Banaschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
Algebraic Closure Without Choice.Bernahrd Banschewski - 1992 - Mathematical Logic Quarterly 38 (1):383-385.
Hindman's theorem: An ultrafilter argument in second order arithmetic.Henry Towsner - 2011 - Journal of Symbolic Logic 76 (1):353 - 360.
-Ultrafilters in the Rational Perfect Set Model.Jonathan Cancino-manríquez - 2024 - Journal of Symbolic Logic 89 (1):175-194.
Verena H. Dyson, James P. Jones, and John C. Shepherdson. Some diophantine forms of Gödel's theorem. Archiv für mathematische Logik und Grundlagenforschung, vol. 22 , pp. 51–60. - James P. Jones. Universal diophantine equation. The journal of symbolic logic, vol. 47 , pp. 549–571. - J. P. Jones and Ju. V. Matijasevič. Exponential diophantine representation of recursively enumerable sets. English with French abstract. Proceedings of the Herbrand Symposium, Logic Colloquium '81, Proceedings of the Herbrand Symposium held in Marseilles, France, July 1981, edited by J. Stern, Studies in logic and the foundations of mathematics, vol. 107, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 159–177. - J. P. Jones and Y. V. Matijasevič. Register machine proof of the theorem on exponential diophantine representation of enumerable sets. The journal of symbolic logic, vol. 49 , pp. 818–829. [REVIEW]Martin Davis - 1986 - Journal of Symbolic Logic 51 (2):477-479.

Analytics

Added to PP
2009-01-28

Downloads
230 (#111,573)

6 months
10 (#379,980)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.

Add more references