Irish Math. Soc. Bulletin), 77–Recent Progress on the Daugavet Property DIRK WERNER

Source URL: www.maths.tcd.ie

• Banach spaces
• Functional analysis
• Metric geometry
• Compact operator
• Reflexive space
• HahnBanach theorem
• Uniform boundedness principle
• Schauder basis
• Isometry
• Continuous function
• BanachAlaoglu theorem
• Frchet space

141 Documenta Math. Some Boundedness Results for Fano-Like Moishezon Manifolds

Source URL: www.math.uiuc.edu

• Algebraic geometry
• Birational geometry
• Minimal model program
• Ample line bundle
• Projective variety
• Vector bundle
• Algebraic variety
• Manifold
• Kodaira dimension
• Blowing up

The Journal of Symbolic Logic Volume 75, Number 1, March 2010 ON TAO’S “FINITARY” INFINITE PIGEONHOLE PRINCIPLE JAIME GASPAR AND ULRICH KOHLENBACH

Source URL: jg.sdf.org

• Mathematical analysis
• Mathematics
• Analysis
• IP
• Characteristic function
• Uniform boundedness principle
• Operator theory
• Banach spaces
• Compact operator on Hilbert space
• Algebraic number field

A HEURISTIC FOR BOUNDEDNESS OF RANKS OF ELLIPTIC CURVES JENNIFER PARK, BJORN POONEN, JOHN VOIGHT, AND MELANIE MATCHETT WOOD Abstract. We present a heuristic that suggests that ranks of elliptic curves E over Q are bounde

Source URL: math.dartmouth.edu

On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness Ulrich Kohlenbach BRICSy

Source URL: www.mathematik.tu-darmstadt.de

• Complexity classes
• Computability theory
• Effective descriptive set theory
• Arithmetical hierarchy
• Hierarchy
• FO

PROOF MINING: A SYSTEMATIC WAY OF ANALYSING PROOFS IN MATHEMATICS ULRICH KOHLENBACH AND PAULO OLIVA Abstract. We call proof mining the process of logically analyzing proofs in mathematics with the aim of obtaining new i

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical logic
• Quantification
• Logic
• Semantics
• Peano axioms
• Symbol
• Constructible universe
• Universal quantification
• Interpretation
• Uniform boundedness principle
• Witness
• Combinatory logic

Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces∗ Dedicated to Georg Kreisel on the occasion of his 85th birthday U. Kohlenbach1 , L. Leu¸stean1,2 1

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Analysis
• Metric geometry
• Operator theory
• Convex analysis
• Convex function
• Injective metric space
• Spectral theory
• Functional analysis
• Browder fixed point theorem
• Uniform boundedness principle

Repla e this le with prent sma ro.sty for your meeting, or with ent sma ro.sty for your meeting. Both an be found at the ENTCS Ma ro Home Page. A logi al uniform boundedness prin iple for abstra t metri and hyperboli

Source URL: www.mathematik.tu-darmstadt.de

• Orthogonal polynomials
• Polynomials

The use of a logical principle of uniform boundedness in analysis Ulrich Kohlenbach Department of Mathematics University of Michigan Ann Arbor

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Analysis
• Functional analysis
• Approximation theory
• Constructivism
• Fourier analysis
• Modulus of continuity
• Uniform boundedness principle
• Substitution
• Continuous function

RATES OF CONVERGENCE AND METASTABILITY FOR ABSTRACT CAUCHY PROBLEMS GENERATED BY ACCRETIVE OPERATORS ULRICH KOHLENBACH AND ANGELIKI KOUTSOUKOU-ARGYRAKI Department of Mathematics

Source URL: www.mathematik.tu-darmstadt.de

• Operator theory
• Functional analysis
• Uniform boundedness principle
• Partial differential equation
• Uniform space
• Complex analysis
• NeumannPoincar operator
• Contraction