Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Filters

J P Aguilera

Showing results (1-10 of 4) with videos related to

Pageof 1
Sort By:
Archive for Mathematical Logic|June 11, 2026
Binary choice games and arithmetical comprehensionJ P Aguilera, T Kouptchinsky
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2023
The spectrum of [Formula: see text]-soundnessJ P Aguilera, F Pakhomov
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2023
Modern perspectives in Proof TheoryJ P Aguilera, F Pakhomov, A Weiermann
Proceedings of the National Academy of Sciences of the United States of America|April 9, 2026
Large infinities and definable setsJ P Aguilera, J Bagaria, P Lücke
Pageof 1

Showing results (1-10 of 4) with videos related to

Sort By:
Pageof 1
Archive for Mathematical Logic|June 11, 2026
Binary choice games and arithmetical comprehensionJ P Aguilera, T Kouptchinsky
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2023
The spectrum of [Formula: see text]-soundnessJ P Aguilera, F Pakhomov
Philosophical Transactions. Series A, Mathematical, Physical, and Engineering Sciences|April 9, 2023
Modern perspectives in Proof TheoryJ P Aguilera, F Pakhomov, A Weiermann
Proceedings of the National Academy of Sciences of the United States of America|April 9, 2026
Large infinities and definable setsJ P Aguilera, J Bagaria, P Lücke
Pageof 1