Carregant...
Tipus de document
Treball de fi de màsterData de publicació
Llicència de publicació
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/215518
The mountain pass theorem on subsystems of second order arithmetic
Títol de la revista
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
The main goal of this work is to formalize the Mountain Pass Theorem of Ambrosetti
and Rabinowitz within the formal subsystem of second order arithmetic
known as ACA0. We develop some Analysis within this system to have access to
the space of continuous functions from [0, 1] into a separable Banach space and
from there built formalized proofs of the basic ingredients of the Mountain Pass
Theorem: The deformation lemma and the minimax principle that proves the theorem
itself.
Descripció
Treballs Finals del Màster de Lògica Pura i Aplicada, Facultat de Filosofia, Universitat de Barcelona. Curs: 2023-2024. Tutor: David Fernández-Duque
Matèries (anglès)
Citació
Citació
AGUILAR ENRÍQUEZ, Miguel alejandro. The mountain pass theorem on subsystems of second order arithmetic. [consulta: 30 de desembre de 2025]. [Disponible a: https://hdl.handle.net/2445/215518]