The following pages link to The next admissible set (Q5645404):
Displayed 18 items.
- Computational inductive definability (Q598276) (← links)
- Model theory for \(L_{\infty \omega _ 1}\) (Q762061) (← links)
- Descriptive characterizations of computational complexity (Q1123616) (← links)
- Bounds on the strength of ordinal definable determinacy in small admissible sets (Q1762358) (← links)
- A non-hyperarithmetical Gödel logic (Q2151390) (← links)
- The Shoenfield absoluteness lemma (Q2542514) (← links)
- Hanf numbers for fragments of L\(_{\infty \omega}\) (Q2557686) (← links)
- A few more dissimilarities between second-order arithmetic and set theory (Q2700817) (← links)
- Minimal Covers and Hyperdegrees (Q4075452) (← links)
- The Theory of Countable Analytical Sets (Q4078033) (← links)
- A Generalized Kleene-Moschovakis Theorem (Q4116438) (← links)
- Barwise: Infinitary Logic and Admissible Sets (Q4678932) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- THE ORDER OF REFLECTION (Q5021928) (← links)
- Inductive Definitions and Computability (Q5628117) (← links)
- The Game Quantifier (Q5654033) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)