Ekeland's variational principle in weak and strong systems of arithmetic

DOI10.1007/S00029-020-00597-ZzbMath1467.03006arXiv1902.03915OpenAlexW3090687855MaRDI QIDQ2003985

Paul Shafer, Keita Yokoyama, David Fernández-Duque

Publication date: 13 October 2020

Published in: Selecta Mathematica. New Series (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1902.03915

zbMATH Keywords

variational principlescomputability theoryreverse mathematicssecond-order arithmetic

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Variational principles in infinite-dimensional spaces (58E30) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Related Items (1)

Representations and the foundations of mathematics

Cites Work

• An extension of Ekeland's variational principle to locally complete spaces
• The strong Ekeland variational principle, the strong drop theorem and applications
• A general principle on ordered sets in nonlinear functional analysis
• On the variational principle
• Nonconvex minimization problems
• Fixed Point Theorems for Mappings Satisfying Inwardness Conditions
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Ekeland's variational principle in weak and strong systems of arithmetic