Isomorphism and higher order equivalence

Annals of Mathematical Logic 16 (3):181 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90001-9

Other Versions

No versions found

Links

PhilArchive



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

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

Characterizing all models in infinite cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.
Isomorphism Testing For Equivalence Relations.Edward Szczypka - 1996 - Reports on Mathematical Logic:101-109.
Borel equivalence relations and classifications of countable models.Greg Hjorth & Alexander S. Kechris - 1996 - Annals of Pure and Applied Logic 82 (3):221-272.
Counting the number of equivalence classes of Borel and coanalytic equivalence relations.Jack H. Silver - 1980 - Annals of Mathematical Logic 18 (1):1.
The logic of isomorphism and its uses.Staffan Angere - unknown
A Friedberg enumeration of equivalence structures.Rodney G. Downey, Alexander G. Melnikov & Keng Meng Ng - 2017 - Journal of Mathematical Logic 17 (2):1750008.
Derived rules related to a constructive theory of metric spaces in intuitionistic higher order arithmetic without countable choice.Susumu Hayashi - 1980 - Annals of Mathematical Logic 19 (1):33.
On ‐complete equivalence relations on the generalized Baire space.Tapani Hyttinen & Vadim Kulikov - 2015 - Mathematical Logic Quarterly 61 (1-2):66-81.
Higher set theory and mathematical practice.Harvey M. Friedman - 1971 - Annals of Mathematical Logic 2 (3):325.
On the adequacy of representing higher order intuitionistic logic as a pure type system.Hans Tonino & Ken-Etsu Fujita - 1992 - Annals of Pure and Applied Logic 57 (3):251-276.

Analytics

Added to PP
2014-01-17

Downloads
22 (#978,081)

6 months
8 (#600,396)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Second order logic or set theory?Jouko Väänänen - 2012 - Bulletin of Symbolic Logic 18 (1):91-121.
On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.
Characterizing all models in infinite cardinalities.Lauri Keskinen - 2013 - Annals of Pure and Applied Logic 164 (3):230-250.

View all 8 citations / Add more citations

References found in this work

Lectures in set theory.Thomas J. Jech - 1971 - New York,: Springer Verlag.

Add more references