Pages that link to "Item:Q5607224"

The following pages link to A Recursion-Theoretic Characterization of the Ramified Analytical Hierarchy (Q5607224):

Displaying 4 items.

• A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
• Some notes on truths and comprehension (Q722023) (← links)
• Constructibility in higher order arithmetics (Q1313594) (← links)
• THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS (Q4961868) (← links)