# Arithmetical hierarchy

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2004

2004

- DCFS
- 2004

Language equations with all Boolean operations and concatenation and a particular order on the set of solutions are proved to be… (More)

Is this relevant?

2004

2004

- Proceedings of the 19th Annual IEEE Symposium on…
- 2004

The topic of this paper is relative constructivism. We are concerned with classifying nonconstructive principles from the… (More)

Is this relevant?

2001

2001

- Studia Logica
- 2001

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- J. Artif. Intell. Res.
- 2000

This paper presents a new approach to hierarchical reinforcement learning based on decomposing the target Markov decision process… (More)

Is this relevant?

1999

1999

- Theor. Comput. Sci.
- 1999

We pursue the study of the computational power of Piecewise Constant Derivative PCD systems started in PCD systems are dynamical… (More)

Is this relevant?

1999

1999

- MFCS
- 1999

A real number is computable if it is the limit of an effectively converging computable sequence of rational numbers, and left… (More)

Is this relevant?

1995

1995

- FSTTCS
- 1995

In this paper we show how to construct for every set P of integers in the arithmetical hierarchy a dynamical system H with… (More)

Is this relevant?

1994

1994

- Notre Dame Journal of Formal Logic
- 1994

In this paper we apply the idea of Revision Rules, originally developed within the framework of the theory of truth and later… (More)

Is this relevant?

1989

1989

- Inf. Comput.
- 1989

Propositional dynamic logic (PDL), as introduced by Fischer and Ladner (1979) is the propositional part of the dynamic logic of… (More)

Is this relevant?

1979

1979

- Theor. Comput. Sci.
- 1979

Various sets of Turing machines naturally occurring in the theory of computational complexity are shown to be complete on the… (More)

Is this relevant?