scientific article; zbMATH DE number 7377974
From MaRDI portal
Publication:5004949
zbMath1505.03126MaRDI QIDQ5004949
Fernando Ferreira, Patrícia Engrácia
Publication date: 3 August 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
First-order arithmetic and fragments (03F30) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25)
Related Items
A proof‐theoretic metatheorem for tracial von Neumann algebras, Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting), Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness, The abstract type of the real numbers, BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH, On false Heine/Borel compactness principles in proof mining
