Juan P. Aguilera

Available identifiers

zbMath Open aguilera.juan-pabloMaRDI QIDQ1699739

List of research outcomes

Publication	Date of Publication	Type
Gödel-Dummett linear temporal logic	2025-01-17	Paper
Monotone versus non-monotone projective operators	2025-01-15	Paper
\(\sigma\)-projective sets of reals, cut elimination, and large cardinals	2024-10-22	Paper
Fundamental logic is decidable	2024-09-25	Paper
A proof of Grilliot's theorem	2024-05-29	Paper
Functorial Fast-Growing Hierarchies	2024-02-07	Paper
Reflection Properties of Ordinals in Generic Extensions	2023-11-21	Paper
Locally hyperarithmetical induction	2023-09-15	Paper
The Π21$\Pi ^1_2$ consequences of a theory	2023-08-23	Paper
A topological completeness theorem for transfinite provability logic	2023-06-05	Paper
Time and Gödel: fuzzy temporal reasoning in PSPACE	2023-06-02	Paper
Countable ordinals in indiscernibility spectra	2023-05-19	Paper
The Löwenheim-Skolem theorem for Gödel logic	2023-02-15	Paper
Noetherian Gödel logics	2023-01-04	Paper
Boundedness theorems for flowers and sharps	2022-07-08	Paper
A non-hyperarithmetical Gödel logic	2022-07-01	Paper
The number of axioms	2022-04-01	Paper
Feedback hyperjump	2022-02-08	Paper
SHORTENING CLOPEN GAMES	2022-01-17	Paper
THE ORDER OF REFLECTION	2022-01-17	Paper
Ackermann and Goodstein go functorial	2021-10-19	Paper
A characterization of \(\Sigma_1^1\)-reflecting ordinals	2021-09-30	Paper
Projective games on the reals	2021-09-07	Paper
Long Borel games	2021-08-24	Paper
Long games and \(\sigma \)-projective sets	2021-03-25	Paper
PROVABLY GAMES	2021-03-19	Paper
GAMES AND REFLECTION IN	2021-03-19	Paper
Ackermann and Goodstein go functorial	2020-11-06	Paper
THE CONSISTENCY STRENGTH OF LONG PROJECTIVE DETERMINACY	2020-04-17	Paper
Determined admissible sets	2020-03-25	Paper
Determinate logic and the axiom of choice	2019-11-22	Paper
Long Borel Games	2019-06-27	Paper
The Order of Reflection	2019-06-27	Paper
UNSOUND INFERENCES MAKE PROOFS SHORTER	2019-03-15	Paper
Verification logic	2018-11-20	Paper
https://portal.mardi4nfdi.de/entity/Q4636023	2018-04-23	Paper
Ten problems in Gödel logic	2018-02-23	Paper
STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES	2017-08-03	Paper
On the maximization of menu-dependent interval orders	2017-05-23	Paper
Compactness in Infinitary Gödel Logics	2016-09-09	Paper
Cut Elimination for Gödel Logic with an Operator Adding a Constant	2016-09-09	Paper
The Logic of Correct Models	N/A	Paper

Research outcomes over time

This page was built for person: Juan P. Aguilera