List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Determinacy on the edge of second-order arithmetic. I Journal of the London Mathematical Society. Second Series | 2026-03-05 | Paper |
| Intuitionistic Gödel-Löb without sharps ACM Transactions on Computational Logic | 2025-12-01 | Paper |
| Gödel-Dummett linear temporal logic Artificial Intelligence | 2025-01-17 | Paper |
| Monotone versus non-monotone projective operators Bulletin of the London Mathematical Society | 2025-01-15 | Paper |
| \(\sigma\)-projective sets of reals, cut elimination, and large cardinals Internationale Mathematische Nachrichten | 2024-10-22 | Paper |
| Fundamental logic is decidable ACM Transactions on Computational Logic | 2024-09-25 | Paper |
| A proof of Grilliot's theorem Bulletin of the Belgian Mathematical Society - Simon Stevin | 2024-05-29 | Paper |
| Functorial Fast-Growing Hierarchies Forum of Mathematics, Sigma | 2024-02-07 | Paper |
| Reflection Properties of Ordinals in Generic Extensions | 2023-11-21 | Paper |
| Locally hyperarithmetical induction Bulletin of the London Mathematical Society | 2023-09-15 | Paper |
| The Π21$\Pi ^1_2$ consequences of a theory Journal of the London Mathematical Society | 2023-08-23 | Paper |
| A topological completeness theorem for transfinite provability logic Archive for Mathematical Logic | 2023-06-05 | Paper |
| Time and Gödel: fuzzy temporal reasoning in PSPACE Logic, Language, Information, and Computation | 2023-06-02 | Paper |
| Countable ordinals in indiscernibility spectra Fundamenta Mathematicae | 2023-05-19 | Paper |
| The Löwenheim-Skolem theorem for Gödel logic Annals of Pure and Applied Logic | 2023-02-15 | Paper |
| Noetherian Gödel logics Journal Of Logic And Computation | 2023-01-04 | Paper |
| Boundedness theorems for flowers and sharps Proceedings of the American Mathematical Society | 2022-07-08 | Paper |
| A non-hyperarithmetical Gödel logic | 2022-07-01 | Paper |
| The number of axioms Annals of Pure and Applied Logic | 2022-04-01 | Paper |
| Feedback hyperjump Journal Of Logic And Computation | 2022-02-08 | Paper |
| SHORTENING CLOPEN GAMES Journal of Symbolic Logic | 2022-01-17 | Paper |
| THE ORDER OF REFLECTION Journal of Symbolic Logic | 2022-01-17 | Paper |
| Ackermann and Goodstein go functorial Pacific Journal of Mathematics | 2021-10-19 | Paper |
| Ackermann and Goodstein go functorial Pacific Journal of Mathematics | 2021-10-19 | Paper |
| A characterization of \(\Sigma_1^1\)-reflecting ordinals Annals of Pure and Applied Logic | 2021-09-30 | Paper |
| Projective games on the reals Notre Dame Journal of Formal Logic | 2021-09-07 | Paper |
| Long Borel games Israel Journal of Mathematics | 2021-08-24 | Paper |
| Long games and \(\sigma \)-projective sets Annals of Pure and Applied Logic | 2021-03-25 | Paper |
| Provably \(\Delta_1\) games Journal of Symbolic Logic | 2021-03-19 | Paper |
| GAMES AND REFLECTION IN Journal of Symbolic Logic | 2021-03-19 | Paper |
| Ackermann and Goodstein go functorial (available as arXiv preprint) | 2020-11-06 | Paper |
| The consistency strength of long projective determinacy Journal of Symbolic Logic | 2020-04-17 | Paper |
| The consistency strength of long projective determinacy Journal of Symbolic Logic | 2020-04-17 | Paper |
| Determined admissible sets Proceedings of the American Mathematical Society | 2020-03-25 | Paper |
| Determinate logic and the axiom of choice Annals of Pure and Applied Logic | 2019-11-22 | Paper |
| Long Borel Games (available as arXiv preprint) | 2019-06-27 | Paper |
| The Order of Reflection (available as arXiv preprint) | 2019-06-27 | Paper |
| Unsound inferences make proofs shorter Journal of Symbolic Logic | 2019-03-15 | Paper |
| Verification logic Journal Of Logic And Computation | 2018-11-20 | Paper |
| scientific article; zbMATH DE number 6863635 (Why is no real title available?) | 2018-04-23 | Paper |
| Ten problems in Gödel logic Soft Computing | 2018-02-23 | Paper |
| Strong completeness of provability logic for ordinal spaces Journal of Symbolic Logic | 2017-08-03 | Paper |
| On the maximization of menu-dependent interval orders Social Choice and Welfare | 2017-05-23 | Paper |
| Compactness in infinitary Gödel logics Logic, Language, Information, and Computation | 2016-09-09 | Paper |
| Cut elimination for Gödel logic with an operator adding a constant Logic, Language, Information, and Computation | 2016-09-09 | Paper |
| The Logic of Correct Models (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Juan P. Aguilera
