Pages that link to "Item:Q1315831"
From MaRDI portal
The following pages link to The logic of arithmetical hierarchy (Q1315831):
Displaying 7 items.
- On the complexity of arithmetical interpretations of modal formulae (Q688859) (← links)
- An arithmetical hierarchy in propositional dynamic logic (Q1119628) (← links)
- A short note on essentially \(\Sigma_1\) sentences (Q1945709) (← links)
- The Arithmetical Hierarchy Over the Reals (Q4018169) (← links)
- Definability of the set of all true propositions of arithmetic by passage to the limit (Q4232363) (← links)
- A logical characterization of the counting hierarchy (Q5277825) (← links)
- HARRINGTON’S PRINCIPLE IN HIGHER ORDER ARITHMETIC (Q5501766) (← links)