Isomorphism of structures in s-toposes

Journal of Symbolic Logic 46 (3):449-459 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273748

Other Versions

No versions found

Links

PhilArchive



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

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

Bell J. L.. Toposes and local set theories. An introduction. Oxford logic guides, no. 14. Clarendon Press, Oxford University Press, Oxford and New York 1988, xii + 267 pp. [REVIEW]G. C. Wraith - 1990 - Journal of Symbolic Logic 55 (2):886-887.
Countable structures of given age.H. D. Macpherson, M. Pouzet & R. E. Woodrow - 1992 - Journal of Symbolic Logic 57 (3):992-1010.
A theorem on the isomorphism property.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):1011-1017.
Bell J. L.. Boolean-valued models and independence proofs in set theory. Oxford logic guides. Clarendon Press, Oxford 1977, xviii + 126 pp. [REVIEW]Thomas Jech - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Classes of structures with no intermediate isomorphism problems.Antonio Montalbán - 2016 - Journal of Symbolic Logic 81 (1):127-150.
Bell J. L. and Machover M.. A course in mathematical logic. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1977, xix + 599 pp. [REVIEW]Perry Smith - 1980 - Journal of Symbolic Logic 45 (2):378-379.
Isomorphism of Computable Structures and Vaught's Conjecture.Howard Becker - 2013 - Journal of Symbolic Logic 78 (4):1328-1344.
J. L. Bell and A. B. Slomson. Models and ultraproducts: An introduction. North-Holland Publishing Company, Amsterdam and London1969, IX + 322 pp. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (4):763-764.
Book review: John Bell. Introduction to toposes and local set theory. [REVIEW]Colin McLarty - 1989 - Notre Dame Journal of Formal Logic 31 (1):150-161.

Analytics

Added to PP
2009-01-28

Downloads
62 (#345,540)

6 months
10 (#423,770)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

John L. Bell
University of Western Ontario

Citations of this work

Studies in logical theory.John Dewey - 1903 - New York: AMS Press.
Infinitary logic.John L. Bell - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

Boolean-Valued Models and Independence Proofs in Set Theory.J. L. Bell & Dana Scott - 1981 - Journal of Symbolic Logic 46 (1):165-165.
Topos Theory.P. T. Johnstone - 1982 - Journal of Symbolic Logic 47 (2):448-450.

Add more references