On the complexity of the Leibniz hierarchy

Annals of Pure and Applied Logic 170 (7):805-824 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2019.02.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,244

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

Partial collapses of the complexity hierarchy in models for fragments of bounded arithmetic.Zofia Adamowicz & Leszek Aleksander Kołodziejczyk - 2007 - Annals of Pure and Applied Logic 145 (1):91-95.
Turing reducibility in the fine hierarchy.Alexander G. Melnikov, Victor L. Selivanov & Mars M. Yamaleev - 2020 - Annals of Pure and Applied Logic 171 (7):102766.
A multiplication operation for the hierarchy of norms.Alexander C. Block & Benedikt Löwe - 2018 - Annals of Pure and Applied Logic 169 (7):656-673.
Polarized partitions on the second level of the projective hierarchy.Jörg Brendle & Yurii Khomskii - 2012 - Annals of Pure and Applied Logic 163 (9):1345-1357.
Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models.Stewart Baldwin - 1983 - Annals of Pure and Applied Logic 25 (2):103-127.
Determinacy in the difference hierarchy of co-analytic sets.P. D. Welch - 1996 - Annals of Pure and Applied Logic 80 (1):69-108.
Iterated team semantics for a hierarchy of informational types.Vít Punčochář - 2022 - Annals of Pure and Applied Logic 173 (10):103156.
Ordinal notations based on a hierarchy of inaccessible cardinals.Wolfram Pohlers - 1987 - Annals of Pure and Applied Logic 33 (C):157-179.
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.
Determinacy of refinements to the difference hierarchy of co-analytic sets.Chris Le Sueur - 2018 - Annals of Pure and Applied Logic 169 (1):83-115.

Analytics

Added to PP
2019-03-02

Downloads
43 (#404,882)

6 months
8 (#820,709)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.
On Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.

Add more citations

References found in this work

A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Equivalence of Consequence Operations.W. J. Blok & Bjarni Jónsson - 2006 - Studia Logica 83 (1-3):91-110.
Protoalgebraic Logics.Janusz Czelakowski - 2003 - Studia Logica 74 (1):313-342.
Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.

View all 13 references / Add more references