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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2022.35

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

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

Computable analogs of cardinal characteristics: Prediction and rearrangement.Iván Ongay-Valverde & Paul Tveite - 2021 - Annals of Pure and Applied Logic 172 (1):102872.
On two notions concerning the structural sentential calculi.Wieslaw Dziobiak & Wojciech Sachwanowicz - 1979 - Bulletin of the Section of Logic 8 (2):54-58.
Superhighness.Bjørn Kjos-Hanssen & Andrée Nies - 2009 - Notre Dame Journal of Formal Logic 50 (4):445-452.
Highness and local noncappability.Chengling Fang, Wang Shenling & Guohua Wu - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 203--211.
His Royal Highness Prince Aga Khan, guide, philosopher, and friend of the world of Islam.Qayyum A. Malick - 1954 - Karachi,: Ismailia Association, Pakistan.
On three notions of effective computation over R.Wesley Calvert - unknown
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.
Causality and Endogenous Structural Change in Economics and History.Josef Taalbi - manuscript
A theorem on strongly finite propositional calculi.Ryszard Wójcicki - 1975 - Bulletin of the Section of Logic 4 (1):2-6.
Structural realism and the mind.Gordon McCabe - 2006
Reviewed Work(s): Lowness properties and randomness. Advances in Mathematics, vol. 197 by André Nies; Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 by Bjørn Kjos-Hanssen; André Nies; Frank Stephan; Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 by Noam Greenberg; Joseph S. Miller; Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 by Laurent Bienvenu; Joseph S. Miller; Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 by Johanna N. Y. Franklin; Frank Stephan; Liang Yu; Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 by George Barmpalias; Joseph S. Miller; André Nies. [REVIEW]Johanna N. Y. Franklin - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
Do Objects Depend on Structures?Johanna Wolff - 2012 - British Journal for the Philosophy of Science 63 (3):607-625.
Connections between some notions of completeness of structural propositional calculi.Marek Tokarz - 1973 - Studia Logica 32 (1):77 - 91.
André Nies. Lowness properties and randomness. Advances in Mathematics, vol. 197 , no. 1, pp. 274–305. - Bjørn Kjos-Hanssen, André Nies, and Frank Stephan. Lowness for the class of Schnorr random reals. SIAM Journal on Computing, vol. 35 , no. 3, pp. 647–657. - Noam Greenberg and Joseph S. Miller. Lowness for Kurtz randomness. The Journal of Symbolic Logic, vol. 74 , no. 2, pp. 665–678. - Laurent Bienvenu and Joseph S. Miller. Randomness and lowness notions via open covers. Annals of Pure and Applied Logic, vol. 163 , no. 5, pp. 506–518. - Johanna N. Y. Franklin, Frank Stephan, and Liang. Yu Relativizations of randomness and genericity notions. The Bulletin of the London Mathematical Society, vol. 43 , no. 4, pp. 721–733. - George Barmpalias, Joseph S. Miller, and André Nies. Randomness notions and partial relativization. Israel Journal of Mathematics, vol. 191 , no. 2, pp. 791–816. [REVIEW]Johanna N. Y. Franklin - 2013 - Bulletin of Symbolic Logic 19 (1):115-118.

Analytics

Added to PP
2022-04-29

Downloads
23 (#675,507)

6 months
16 (#153,120)

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

Notions of weak genericity.Stuart A. Kurtz - 1983 - Journal of Symbolic Logic 48 (3):764-770.

View all 8 references / Add more references