Examples in the theory of existential completeness

Journal of Symbolic Logic 43 (4):650-658 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273504

Other Versions

No versions found

Links

PhilArchive



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

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

Joram Hirschfeld and William H. Wheeler. Forcing, arithmetic, division rings. Lecture notes in mathematics, vol. 454. Springer-Verlag, Berlin, Heidelberg, and New York, 1975, VII + 266 pp. [REVIEW]H. Simmons - 1980 - Journal of Symbolic Logic 45 (1):188-190.
Greg Cherlin and Joram Hirschfeld. Ultrafilters and ultraproducts in non-standard analysis. Contributions to non-standard analysis, edited by W. A. J. Luxemburg and A. Robinson, Studies in logic and the foundations of mathematics, vol. 69, North-Holland Publishing Company, Amsterdam and London 1972, pp. 261–279. [REVIEW]Ralph Kopperman - 1975 - Journal of Symbolic Logic 40 (4):634.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
On the Completeness of Quantification Theory.Burton Dreben - 1953 - Journal of Symbolic Logic 18 (4):339-339.
Consistency and completeness of the theory of combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
Completeness and Persistence in the Theory of Models.Abraham Robinson - 1960 - Journal of Symbolic Logic 25 (2):170-171.
Completeness of global intuitionistic set theory.Satoko Titani - 1997 - Journal of Symbolic Logic 62 (2):506-528.
Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.

Analytics

Added to PP
2009-01-28

Downloads
55 (#391,995)

6 months
22 (#135,814)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Completing theories by forcing.J. Barwise - 1970 - Annals of Mathematical Logic 2 (2):119.
Counting countable ec structures.Harry Simmons - 1975 - Logique Et Analyse 18 (71):307-357.

Add more references