P

Pi

• in: Freund A.
  "Well ordering principles and Pi$1$₄-statements: a pilot study" (2021)
• in: Freund A.
  "Pi$1$₁-Comprehension as a Well-Ordering Principle" (2019)

Pigeonhole

in: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010) 

Pilot

in: Freund A.
"Well ordering principles and Pi$1$₄-statements: a pilot study" (2021) 

Pinto P.

• in: Dinis B. and Pinto P.
  "Effective metastability for a method of alternating resolvents" (2024)
• in: Dinis B. and Pinto P.
  "Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
• in: Dinis B. and Pinto P.
  "On the convergence of algorithms with Tikhonov regularization terms" (2021)
• in: Dinis B. and Pinto P.
  "Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021)
• in: Dinis B. and Pinto P.
  "Metastability of the proximal point algorithm with multi-parameters" (2020)
• in: Firmino P. and Pinto P.
  "The alternating Halpern-Mann iteration for families of maps" (2024)
• in: Kohlenbach U. and Pinto P.
  "Fejér monotone sequences revisited" (2025)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
• in: Leuştean L. and Pinto P.
  "Rates of asymptotic regularity for the alternating Halpern-Mann iteration" (2024)
• in: Leuştean L. and Pinto P.
  "Quantitative results on a Halpern-type proximal point algorithm" (2021)
• in: Pinto P.
  "On the finitary content of Dykstra's cyclic projections algorithm" (2025)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
• in: Pinto P. and Pischke N.
  "On Dykstra's algorithm with Bregman projections" (2024)
• in: Pinto P. and Pischke N.
  "On the Halpern method with adaptive anchoring parameters" (2024)
• in: Pinto P. and Sipoş A.
  "Product of hyperbolic spaces" (2024)
• in: Pinto P.
  "Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)
• in: Pinto P. and Pischke N.
  "On computational properties of Cauchy problems generated by accretive operators" (2023)
• in: Pinto P.
  "On quantitative versions of Xu's Lemma" (2023)
• in: Pinto P.
  "A rate of metastability for the Halpern type Proximal Point Algorithm" (2021)

Piro R.

in: Otto M. and Piro R.
"A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008) 

Pischke N.

• in: Kohlenbach U. and Pischke N.
  "Proof theory and nonsmooth analysis" (2023)
• in: Pinto P. and Pischke N.
  "On Dykstra's algorithm with Bregman projections" (2024)
• in: Pinto P. and Pischke N.
  "On the Halpern method with adaptive anchoring parameters" (2024)
• in: Pinto P. and Pischke N.
  "On computational properties of Cauchy problems generated by accretive operators" (2023)
• in: Pischke N.
  "A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025)
• in: Pischke N.
  "Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)
• in: Pischke N.
  "Generalized Fejér monotone sequences and their finitary content" (2025)
• in: Pischke N. and Kohlenbach U.
  "Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)
• in: Pischke N.
  "Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)
• in: Pischke N.
  "Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)
• in: Pischke N.
  "Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024)
• in: Pischke N.
  "On Infinitary Gödel Logics" (2023)
• in: Pischke N.
  "On Intermediate Justification Logics" (2023)
• in: Pischke N.
  "On Korpelevich's Extragradient Algorithm" (2023)
• in: Pischke N.
  "Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)
• in: Pischke N. and Kohlenbach U.
  "Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)

Plotkin G.D.

• in: Keimel K. and Plotkin G.D.
  "Predicate transformers for convex powerdomains" (2009)
• in: Tix R., Keimel K. and Plotkin G.D.
  "Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)

Pohlers W.

in: Otto M.
"Bisimulation invariance and finite models" (2006) 

Point

• in: Berwanger D. and Blumensath A.
  "Automata for Guarded Fixed Point Logics" (2002)
• in: Briseid E.M.
  "Addendum to the Paper: Some Results on Kirk's Asymptotic Contractions" (2007)
• in: Briseid E.M.
  "Some Results on Kirk's Asymptotic Contractions" (2007)
• in: Dinis B. and Pinto P.
  "Effective metastability for a method of alternating resolvents" (2024)
• in: Dinis B. and Pinto P.
  "Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021)
• in: Dinis B. and Pinto P.
  "Metastability of the proximal point algorithm with multi-parameters" (2020)
• in: Gerhardy P.
  "A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
• in: Gregoriades V.
  "Choice free Fixed Point Property in separable Banach spaces" (2014)
• in: Kohlenbach U.
  "On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
• in: Kohlenbach U.
  "Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021)
• in: Kohlenbach U.
  "Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed point property in product spaces (abstract)" (2005)
• in: Kohlenbach U.
  "Some computational aspects of metric fixed point theory" (2005)
• in: Kohlenbach U. and Lambov B.
  "Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
• in: Kohlenbach U.
  "On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
• in: Leuştean L. and Pinto P.
  "Quantitative results on a Halpern-type proximal point algorithm" (2021)
• in: Leuştean L., Nicolae A. and Sipoş A.
  "An abstract proximal point algorithm" (2018)
• in: Leuştean L. and Sipoş A.
  "An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
• in: Leuştean L. and Sipoş A.
  "Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018)
• in: Pinto P.
  "A rate of metastability for the Halpern type Proximal Point Algorithm" (2021)
• in: Schade K. and Kohlenbach U.
  "Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)

Points

• in: Briseid E.M.
  "Fixed Points of Generalized Contractive Mappings" (2008)
• in: Freund A.
  "Patterns of resemblance and Bachmann-Howard fixed points" (2022)
• in: Freund A.
  "How strong are single fixed points of normal functions?" (2020)
• in: Freund A.
  "A Categorical Construction of Bachmann-Howard Fixed Points" (2019)
• in: Gregoriades V.
  "The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2007)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2006)

Pointwise

in: Kohlenbach U.
"Pointwise hereditary majorization and some applications" (1992) 

Poisson

in: Kawamura A., Steinberg F. and Ziegler M.
"Complexity of Laplace's and Poisson's Equation" (2014) 

Polish

in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014) 

Politehnica

in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002) 

Polymorphic

in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996) 

Polynomial

in: Kohlenbach U.
"A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019) 

Polytime

in: Herrmann C., Sokoli J. and Ziegler M.
"Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013) 

Portugaliae

in: Dinis B. and Pinto P.
"Metastability of the proximal point algorithm with multi-parameters" (2020) 

Positive

in: Günzel D. and Kohlenbach U.
"Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016) 

Poussin

in: Kohlenbach U.
"Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993) 

Powell T.

in: Kohlenbach U. and Powell T.
"Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020) 

Power

• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• in: Otto M.
  "The expressive power of fixed-point logic with counting" (1996)

Powerdomain

• in: Heckmann R. and Keimel K.
  "Quasicontinuous domains and the Smyth powerdomain" (2013)
• in: Keimel K.
  "Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
• in: Keimel K.
  "Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
• in: Keimel K.
  "The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)

Powerdomains

in: Keimel K. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009) 

PRA

in: Kohlenbach U.
"Things that can and things that can't be done in PRA" (2000) 

Practice

in: Keimel K.
"On the equivalence of state transformer senmatics and predicate transformer semantics " (2012) 

Prasad Venkatesan R.

in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003) 

Predicate

• in: Keimel K.
  "On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
• in: Keimel K., Rosenbusch A.P. and Streicher T.
  "Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011)
• in: Keimel K., Rosenbusch A.P. and Streicher T.
  "A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)
• in: Keimel K. and Plotkin G.D.
  "Predicate transformers for convex powerdomains" (2009)

Predicative

in: Freund A.
"Predicative Collapsing Principles" (2020) 

Prediction

• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
• in: Leuştean L.
  "Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)

Prefix-Recognisable

in: Blumensath A.
"Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001) 

Preoteasa V.

in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) 

Presentations

• in: Blumensath A. and Grädel E.
  "Finite Presentations of Infinite Structures: Automata and Interpretations" (2004)
• in: Blumensath A. and Grädel E.
  "Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)

Press

• in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
  "An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
• in: Blumensath A., Colcombet T. and Löding C.
  "Logical theories and compatible operations" (2007)
• in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
  "Continuous Lattices and Domains" (2003)
• in: Hofmann M. and Streicher T.
  "The groupoid interpretation of type theory" (1998)
• in: Kohlenbach U.
  "Gödel's functional interpretation and its use in current mathematics" (2011)
• in: Kohlenbach U.
  "Goedel's functional interpretation and its use in current mathematics" (2008)
• in: Kohlenbach U.
  "Interview on the Philosophy of Mathematics" (2008)
• in: Kohlenbach U.
  "Analysing proofs in analysis" (1996)
• in: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
• in: Streicher T.
  "Universes in Toposes" (2005)

Pribeanu C.

in: Pribeanu C. and Leuştean L.
"Consistence evaluation of a man-machine interaction language using connectionist models" (2000) 

Prime

in: Leuştean L.
"The prime and maximal spectra and the reticulation of BL-algebras" (2003) 

Primitive

in: Kreuzer A.P.
"Primitive recursion and the chain antichain principle." (2012) 

Principle

• in: Freund A.
  "Computable Aspects of the Bachmann-Howard Principle" (2020)
• in: Freund A.
  "Pi$1$₁-Comprehension as a Well-Ordering Principle" (2019)
• in: Gaspar J. and Kohlenbach U.
  "On Tao's finitary infinite pigeonhole principle" (2010)
• in: Kohlenbach U.
  "On the disjunctive Markov principle" (2015)
• in: Kohlenbach U.
  "A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
• in: Kohlenbach U.
  "On weak Markov's principle" (2002)
• in: Kohlenbach U.
  "The use of a logical principle of uniform boundedness in analysis" (1999)
• in: Kreuzer A.P.
  "A logical analysis of the generalized Banach contractions principle." (2012)
• in: Kreuzer A.P.
  "Primitive recursion and the chain antichain principle." (2012)
• in: Kreuzer A.P.
  "The cohesive principle and the Bolzano-Weierstraß principle." (2011)
• in: Lietz P. and Streicher T.
  "Realizability models refuting Ishihara's boundedness principle." (2012)
• in: Safarik P. and Kohlenbach U.
  "On the computational content of the Bolzano-Weierstrass principle" (2010)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)

Principles

• in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
  "An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
• in: Freund A.
  "Well ordering principles and Pi$1$₄-statements: a pilot study" (2021)
• in: Freund A.
  "Predicative Collapsing Principles" (2020)
• in: Fujiwara M. and Kohlenbach U.
  "Interrelation between weak fragments of double negation shift and related principles" (2018)
• in: Kohlenbach U.
  "Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021)

Probabilistic

• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• in: Keimel K., Rosenbusch A.P. and Streicher T.
  "A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)
• in: Keimel K.
  "Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in English)" (2009)
• in: Keimel K.
  "Abstract ordered compact convex sets and the algebras of the (sub-)probabilistic powerdomain monad over ordered compact spaces (in Russian)" (2009)
• in: Keimel K.
  "The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)

Probabilistic-Nondeterministic

in: Keimel K., Rosenbusch A.P. and Streicher T.
"Relating Direct and Predicate Transformer Partial Correctness Semantics for a Probabilistic-Nondeterministic Language" (2011) 

Probabilities

in: Fedel M., Keimel K., Montagna F. and Roth W.
"Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013) 

Probability

• in: Keimel K.
  "The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
• in: Keimel K.
  "Topological cones: Foundations for a domain theoretical semantics combining probability and nondeterminism" (2006)
• in: Tix R., Keimel K. and Plotkin G.D.
  "Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)

Problem

• in: Blumensath A., Otto M. and Weyer M.
  "Decidability results for the boundedness problem" (2014)
• in: Kolaitis P. and Otto M.
  "On the boundedness problem for two-variable first-order logic" (1998)
• in: Otto M.
  "The boundedness problem for monadic universal first-order logic" (2006)
• in: Pinto P.
  "Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)

Problems

• in: Keimel K.
  "Bicontinuous domains and some old problems in domain theory" (2009)
• in: Koutsoukou-Argyraki A. and Kohlenbach U.
  "Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
• in: Pinto P. and Pischke N.
  "On computational properties of Cauchy problems generated by accretive operators" (2023)
• in: Pischke N.
  "Rates of convergence for the asymptotic behavior of second-order Cauchy problems" (2024)
• in: Pischke N. and Kohlenbach U.
  "Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)

Proc

• in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
  "An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
• in: Ambos-Spies K., Brandt U. and Ziegler M.
  "Real Benefit of Promises and Advice" (2013)
• in: Blumensath A., Otto M. and Weyer M.
  "Boundedness of monadic second-order formulae over finite words" (2009)
• in: Blumensath A.
  "Axiomatising Tree-Interpretable Structures" (2003)
• in: Blumensath A. and Grädel E.
  "Finite Presentations of Infinite Structures: Automata and Interpretations" (2002)
• in: Blumensath A. and Grädel E.
  "Automatic Structures" (2000)
• in: Blumensath A.
  "Bounded Arithmetic and Descriptive Complexity" (2000)
• in: Gregoriades V.
  "Choice free Fixed Point Property in separable Banach spaces" (2014)
• in: Herrmann C., Sokoli J. and Ziegler M.
  "Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
• in: Herrmann C. and Ziegler M.
  "Computational Complexity of Quantum Satisfiability" (2011)
• in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
  "Computational Complexity of Smooth Differential Equations" (2012)
• in: Kohlenbach U.
  "Proof-theoretic methods in nonlinear analysis" (2019)
• in: Kohlenbach U. and Lambov B.
  "Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
• in: Kohlenbach U. and Oliva P.
  "Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
• in: Kohlenbach U.
  "On the computational content of the Krasnoselski and Ishikawa fixed point theorems" (2001)
• in: Müller N. and Ziegler M.
  "From Calculus to Algorithms without Errors" (2014)
• in: Reus B. and Streicher T.
  "Relative completeness for logics of functional programs." (2011)

Proceedings

• in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
  "Boundedness theorems for flowers and sharps" (2022)
• in: Altenkirch T., Hofmann M. and Streicher T.
  "Reduction-free normalisation for a polymorphic system" (1996)
• in: Altenkirch T., Hofmann M. and Streicher T.
  "Categorical reconstruction of a reduction free normalization proof." (1995)
• in: Barany V., Cate (ten) B. and Otto M.
  "Queries with guarded negation" (2012)
• in: Barany V., Gottlob G. and Otto M.
  "Querying the guarded fragment" (2010)
• in: Barbălată C. and Leuştean L.
  "Applications of feed-forward neural networks to ecological phenomena forecasting" (2000)
• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• in: Dawar A. and Otto M.
  "Modal characterisation theorems over special classes of frames" (2005)
• in: Freund A.
  "Set-theoretic reflection is equivalent to induction over well-founded classes" (2020)
• in: Gerhardy P.
  "Refined Complexity Analysis of Cut Elimination" (2003)
• in: Grädel E., Hirsch C. and Otto M.
  "Back and forth between guarded and modal logics" (2000)
• in: Grohe M. and Otto M.
  "Pebble games and linear equations" (2012)
• in: Hoogland E., Marx M. and Otto M.
  "Beth definability for the guarded fragment" (1999)
• in: Jacobs B., Moggi E. and Streicher T.
  "Relating models of impredicative type theories." (1991)
• in: Kartzow A.
  "Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
• in: Keimel K.
  "On the equivalence of state transformer senmatics and predicate transformer semantics " (2012)
• in: Kieronski E. and Otto M.
  "Small substructures and decidability issues for two-variable first-order logic" (2005)
• in: Kolaitis P. and Otto M.
  "On the boundedness problem for two-variable first-order logic" (1998)
• in: Kreutzer S., Otto M. and Schweikardt N.
  "Boundedness of monadic FO over acyclic structures" (2007)
• in: Löw T. and Streicher T.
  "Universality Results for Models in Locally Boolean Domains" (2006)
• in: Mück A., Streicher T. and Lock H.
  "A tiny constraint functional logic language and its continuation semantics." (1994)
• in: Marz M., Rohr A. and Streicher T.
  "Full abstraction and universality via realisability" (1999)
• in: Neven F., Otto M., Tyszkiewicz J. and Van Den Bussche J.
  "Adding FOR-loops to first-order logic" (1999)
• in: Otto M.
  "Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
• in: Otto M. and Piro R.
  "A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
• in: Otto M.
  "The boundedness problem for monadic universal first-order logic" (2006)
• in: Otto M.
  "Modal and guarded characterisation theorems over finite transition systems" (2002)
• in: Otto M.
  "Eliminating recursion in the mu-calculus" (1999)
• in: Otto M.
  "Capturing bisimulation-invariant Ptime" (1997)
• in: Otto M.
  "Ptime canonization for two variables with counting" (1995)
• in: Otto M.
  "Generalized quantifiers for simple properties" (1994)
• in: Reus B. and Streicher T.
  "About Hoare logics for higher-order store" (2005)
• in: Reus B. and Streicher T.
  "General synthetic domain theory---a logical approach (extended abstract)" (1997)
• in: Streicher T.
  "Independence results for calculi of dependent types." (1989)

Proceeedings

• in: Kohlenbach U.
  "Arithmetizing proofs in analysis" (1998)
• in: Kohlenbach U.
  "Analysing proofs in analysis" (1996)

Product

• in: Herrmann C., Sokoli J. and Ziegler M.
  "Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2007)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2006)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed point property in product spaces (abstract)" (2005)
• in: Pinto P. and Sipoş A.
  "Product of hyperbolic spaces" (2024)

Products

in: Di Nola A., Georgescu G. and Leuştean L.
"Boolean products of BL-algebras" (2000) 

Program

• in: Broy M. and Streicher T.
  "Specification and design of shared resource arbitration." (1991)
• in: Kreuzer A.P.
  "Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)

Programs

• in: Reus B. and Streicher T.
  "Relative completeness for logics of functional programs." (2011)
• in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
  "Certifying optimality of state estimation programs" (2003)

Progress

in: Kohlenbach U.
"Recent progress in proof mining in nonlinear analysis" (2017) 

Projections

• in: Kohlenbach U.
  "A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019)
• in: Pinto P.
  "On the finitary content of Dykstra's cyclic projections algorithm" (2025)
• in: Pinto P. and Pischke N.
  "On Dykstra's algorithm with Bregman projections" (2024)

Projective

in: Abbes S. and Keimel K.
"Projective topology on bifinite domains and applications" (2006) 

Promises

in: Ambos-Spies K., Brandt U. and Ziegler M.
"Real Benefit of Promises and Advice" (2013) 

Proof

• in: Altenkirch T., Hofmann M. and Streicher T.
  "Categorical reconstruction of a reduction free normalization proof." (1995)
• in: Freund A. and Kohlenbach U.
  "R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces" (2022)
• in: Kohlenbach U.
  "Kreisel's shift of emphasis and contemporary proof mining" (2023)
• in: Kohlenbach U. and Pischke N.
  "Proof theory and nonsmooth analysis" (2023)
• in: Kohlenbach U.
  "Recent progress in proof mining in nonlinear analysis" (2017)
• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
• in: Kohlenbach U.
  "Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
• in: Kohlenbach U.
  "Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
• in: Kohlenbach U.
  "Herbrand's theorem and extractive proof theory" (2008)
• in: Kohlenbach U.
  "Proof interpretations and the computational content of proofs in mathematics" (2007)
• in: Kohlenbach U.
  "Proof Interpretations and the Computational Content of Proofs" (2005)
• in: Kohlenbach U.
  "Proof mining in functional analysis (abstract)" (2005)
• in: Kohlenbach U. and Oliva P.
  "Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
• in: Kohlenbach U. and Oliva P.
  "Proof mining in L$$₁-approximation" (2003)
• in: Kohlenbach U.
  "Applied foundations: proof mining in analysis" (2002)
• in: Kohlenbach U.
  "Proof theory and computational analysis" (1998)
• in: Kohlenbach U.
  "Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
• in: Leuştean L. and Sipoş A.
  "An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
• in: Leuştean L.
  "Proof mining in $R$-trees and hyperbolic spaces " (2006)
• in: Otto M.
  "Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
• in: Pinto P.
  "Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)
• in: Pischke N.
  "Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)

Proofs

• in: Freund A. and Pakhomov F.
  "Short Proofs for Slow Consistency" (2020)
• in: Freund A.
  "A Note on Iterated Consistency and Infinite Proofs" (2019)
• in: Gerhardy P. and Kohlenbach U.
  "Strongly uniform bounds from semi-constructive proofs" (2006)
• in: Kohlenbach U. and Leuştean L.
  "On the computational content of convergence proofs via Banach limitd." (2012)
• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)
• in: Kohlenbach U.
  "Effective bounds from proofs in abstract functional analysis" (2008)
• in: Kohlenbach U.
  "Proof interpretations and the computational content of proofs in mathematics" (2007)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed points of nonexpansive functions in product spaces" (2006)
• in: Kohlenbach U.
  "Proof Interpretations and the Computational Content of Proofs" (2005)
• in: Kohlenbach U. and Oliva P.
  "Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
• in: Kohlenbach U.
  "Arithmetizing proofs in analysis" (1998)
• in: Kohlenbach U.
  "Analysing proofs in analysis" (1996)
• in: Kohlenbach U.
  "Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
• in: Kohlenbach U.
  "New effective moduli of uniqueness and uniform a-priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory" (1993)
• in: Kohlenbach U.
  "Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)

Proof-theoretic

• in: Kohlenbach U.
  "Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021)
• in: Kohlenbach U.
  "Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
• in: Kohlenbach U.
  "Proof-theoretic methods in nonlinear analysis" (2019)
• in: Kohlenbach U. and Nicolae A.
  "A proof-theoretic bound extraction theorem for CAT$(\kappa )$-spaces" (2017)

Proof-Theoretic

in: Pischke N.
"A Proof-Theoretic Metatheorem for Nonlinear Semigroups generated by an Accretive Operator and Applications" (2025) 

Properties

• in: Leuştean L.
  "Some algebraic properties of non-commutative fuzzy structures" (2000)
• in: Otto M.
  "Generalized quantifiers for simple properties" (1994)
• in: Otto M.
  "Automorphism properties of stationary logic" (1992)
• in: Pinto P. and Pischke N.
  "On computational properties of Cauchy problems generated by accretive operators" (2023)

Property

• in: Gregoriades V.
  "Choice free Fixed Point Property in separable Banach spaces" (2014)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "A uniform betweenness property in metric spaces and its role in the quantitative analysis of the Lion-Man game" (2021)
• in: Kohlenbach U. and Leuştean L.
  "Approximate fixed point property in product spaces (abstract)" (2005)

Propositional

in: Leuştean L.
"Canonical models and filtrations in three-valued propositional modal logic" (2002) 

Provability

in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015) 

Provably

• in: Kohlenbach U.
  "Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
• in: Kreuzer A.P. and Kohlenbach U.
  "Ramsey's theorem for pairs and provably recursive functions" (2009)

Proximal

• in: Bacak M. and Kohlenbach U.
  "On proximal mappings with Young functions in uniformly convex Banach spaces" (2018)
• in: Dinis B. and Pinto P.
  "Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021)
• in: Dinis B. and Pinto P.
  "Metastability of the proximal point algorithm with multi-parameters" (2020)
• in: Kohlenbach U.
  "On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
• in: Kohlenbach U.
  "Quantitative results on the Proximal Point Algorithm in uniformly convex Banach spaces" (2021)
• in: Kohlenbach U.
  "Quantitative analysis of a Halpern-type Proximal Point Algorithm for accretive operators in Banach spaces" (2020)
• in: Leuştean L. and Pinto P.
  "Quantitative results on a Halpern-type proximal point algorithm" (2021)
• in: Leuştean L., Nicolae A. and Sipoş A.
  "An abstract proximal point algorithm" (2018)
• in: Leuştean L. and Sipoş A.
  "An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018)
• in: Leuştean L. and Sipoş A.
  "Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018)
• in: Pinto P.
  "A rate of metastability for the Halpern type Proximal Point Algorithm" (2021)

Pseudo-BL

in: Georgescu G. and Leuştean L.
"Some classes of pseudo-BL algebras" (2002) 

Pseudocontractive

in: Körnlein D. and Kohlenbach U.
"Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014) 

Pseudo-hoops

in: Georgescu G., Leuştean L. and Preoteasa V.
"Pseudo-hoops" (2005) 

Ptime

• in: Otto M.
  "Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999)
• in: Otto M.
  "Capturing bisimulation-invariant Ptime" (1997)
• in: Otto M.
  "Ptime canonization for two variables with counting" (1995)

Publications

• in: Kohlenbach U.
  "Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)

Publishers

• in: Burmeister P.
  "Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
• in: Kohlenbach U.
  "Effective bounds from proofs in abstract functional analysis" (2008)
• in: Kohlenbach U. and Lambov B.
  "Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
• in: Kohlenbach U.
  "The use of a logical principle of uniform boundedness in analysis" (1999)

Pure

• in: Awodey S., Butz C., Simpson A. and Streicher T.
  "Relating first-order set theories, toposes and categories of classes." (2014)
• in: Berg (van den) B., Briseid E.M. and Safarik P.
  "A functional interpretation for nonstandard arithmetic." (2012)
• in: Blumensath A.
  "A Model Theoretic Characterisation of Clique-Width" (2006)
• in: Dawar A. and Otto M.
  "Modal Characterisation Theorems over Special Classes of Frames" (2009)
• in: Escardó M. and Streicher T.
  "The intrinsic topology of Martin-Löf universes" (2016)
• in: Freund A. and Rathjen M.
  "Derivatives of normal functions in reverse mathematics" (2021)
• in: Gerhardy P. and Kohlenbach U.
  "Strongly uniform bounds from semi-constructive proofs" (2006)
• in: Keimel K. and Lawson J.D.
  "$D$-completions and the $d$-topology" (2009)
• in: Keimel K., Rosenbusch A.P. and Streicher T.
  "A Minkowksi Type Duality Mediating Between State and Predicate Transformer Semantics for a Probabilistic Nondeterministic Language" (2009)
• in: Kohlenbach U. and Safarik P.
  "Fluctuations, effective learnability and metastability in analysis" (2014)
• in: Kohlenbach U.
  "Gödel functional interpretation and weak compactness" (2012)
• in: Kohlenbach U. and Oliva P.
  "Proof mining in L$$₁-approximation" (2003)
• in: Kohlenbach U.
  "On uniform weak König's lemma" (2002)
• in: Kohlenbach U.
  "Things that can and things that can't be done in PRA" (2000)
• in: Kohlenbach U.
  "On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
• in: Kohlenbach U.
  "Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallee Poussin's proof for Chebycheff approximation" (1993)
• in: Lietz P. and Streicher T.
  "Realizability models refuting Ishihara's boundedness principle." (2012)
• in: Maschio S. and Streicher T.
  "Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
• in: Otto M.
  "Expressive completeness through logically tractable models" (2013)
• in: Otto M.
  "Modal and guarded characterisation theorems over finite transition systems" (2004)
• in: Otto M.
  "Canonization for two variables and puzzles on the square" (1997)
• in: Reus B. and Streicher T.
  "A synthetic theory of sequential domains." (2012)
• in: Simpson A. and Streicher T.
  "Constructive toposes with countable sums as models of constructive set theory." (2012)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
• in: Ziegler M.
  "Real Computation with Least Discrete Advice" (2012)

Pushdown

• in: Kartzow A.
  "Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
• in: Kartzow A.
  "FO Model Checking on Nested Pushdown Trees" (2009)

Puzzles

in: Otto M.
"Canonization for two variables and puzzles on the square" (1997) 

PVLDB

in: Barany V., Cate (ten) B. and Otto M.
"Queries with guarded negation" (2012) 

Submit a bug

This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)