The following pages link to Juan P. Aguilera (Q1699739):
Displaying 42 items.
- Ten problems in Gödel logic (Q1699740) (← links)
- Projective games on the reals (Q1981987) (← links)
- Determinate logic and the axiom of choice (Q2007876) (← links)
- Long Borel games (Q2048863) (← links)
- The number of axioms (Q2120967) (← links)
- A non-hyperarithmetical Gödel logic (Q2151390) (← links)
- A characterization of \(\Sigma_1^1\)-reflecting ordinals (Q2231693) (← links)
- Ackermann and Goodstein go functorial (Q2234350) (← links)
- On the maximization of menu-dependent interval orders (Q2397660) (← links)
- Long games and \(\sigma \)-projective sets (Q2659104) (← links)
- The Löwenheim-Skolem theorem for Gödel logic (Q2683781) (← links)
- Compactness in Infinitary Gödel Logics (Q2820682) (← links)
- Cut Elimination for Gödel Logic with an Operator Adding a Constant (Q2820683) (← links)
- Verification logic (Q4555452) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- (Q4636023) (← links)
- STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES (Q4977222) (← links)
- SHORTENING CLOPEN GAMES (Q5021927) (← links)
- THE ORDER OF REFLECTION (Q5021928) (← links)
- Feedback hyperjump (Q5028309) (← links)
- Boundedness theorems for flowers and sharps (Q5086943) (← links)
- THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY (Q5107234) (← links)
- Determined admissible sets (Q5221364) (← links)
- GAMES AND REFLECTION IN (Q5855749) (← links)
- PROVABLY GAMES (Q5855751) (← links)
- Noetherian Gödel logics (Q5872863) (← links)
- Countable ordinals in indiscernibility spectra (Q6044549) (← links)
- Locally hyperarithmetical induction (Q6096755) (← links)
- A topological completeness theorem for transfinite provability logic (Q6103511) (← links)
- Functorial Fast-Growing Hierarchies (Q6148467) (← links)
- The Π21$\Pi ^1_2$ consequences of a theory (Q6176438) (← links)
- The Order of Reflection (Q6321168) (← links)
- The Logic of Correct Models (Q6523152) (← links)
- A proof of Grilliot's theorem (Q6545484) (← links)
- Fundamental logic is decidable (Q6610195) (← links)
- \(\sigma\)-projective sets of reals, cut elimination, and large cardinals (Q6622564) (← links)
- Monotone versus non-monotone projective operators (Q6663909) (← links)
- Gödel-Dummett linear temporal logic (Q6665714) (← links)
- The Limits of Determinacy in Higher-Order Arithmetic (Q6752469) (← links)
- Large cardinals, structural reflection, and the HOD Conjecture (Q6753923) (← links)
- On some subtheories of strong dependent choice (Q6755225) (← links)
- Induction on Dilators and Bachmann-Howard Fixed Points (Q6758572) (← links)
