Juan P. Aguilera

Available identifiers

zbMath Open aguilera.juan-pabloMaRDI QIDQ1699739

List of research outcomes

Publication	Date of Publication	Type
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
GAMES AND REFLECTION IN	2021-03-19	Paper
PROVABLY GAMES	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	0001-01-03	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Juan P. Aguilera