Structural Highness Notions

Journal of Symbolic Logic 88 (4):1692-1724 (2023)
  Copy   BIBTEX

Abstract

We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and several other problems related to computing isomorphisms. These other problems include Scott analysis (in the form of back-and-forth relations), jump hierarchies, and computing descending sequences in linear orders.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,150

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Superhighness.Bjørn Kjos-Hanssen & Andrée Nies - 2009 - Notre Dame Journal of Formal Logic 50 (4):445-452.
Representations gone mental.Alex Morgan - 2014 - Synthese 191 (2):213-244.
Structural Realism, Metaphysical Unification, and the Ontology and Epistemology of Patterns.Majid Davoody Beni - 2017 - International Studies in the Philosophy of Science 31 (3):285-300.
A theorem on strongly finite propositional calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
Do Objects Depend on Structures?Johanna Wolff - 2012 - British Journal for the Philosophy of Science 63 (3):607-625.

Analytics

Added to PP
2022-04-29

Downloads
23 (#684,486)

6 months
16 (#158,921)

Historical graph of downloads
How can I increase my downloads?