Miniatura

Fitxers

TFM_Aguilar Enriquez_Miguel Alejandro.pdf (1.06 MB)

Tipus de document

Treball de fi de màster

Data de publicació

2024-09

Llicència de publicació

cc by-nc-nd (c) Aguilar Enríquez, 2024
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

Autors

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

Lògica matemàtica, Aritmètica, Espais de Hilbert, Espais de Banach, Treballs de fi de màster

Matèries (anglès)

Mathematical logic, Arithmetic, Hilbert space, Banach spaces, Master's thesis

Citació

Col·leccions

Màster Oficial - Pure and Applied Logic / Lògica Pura i aplicada

Citació

AGUILAR ENRÍQUEZ, Miguel alejandro. The mountain pass theorem on subsystems of second order arithmetic. [consulta: 28 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/215518]

Exportar metadades

JSON - METS

Compartir registre