C

Calculus

• in: Müller N. and Ziegler M.
  "From Calculus to Algorithms without Errors" (2014)
• in: Streicher T.
  "A classical realizability model arising from a stable model of untyped lambda calculus." (2017)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)

Calude C.

in: Leuştean L. and Sipoş A.
"An application of proof mining to the proximal point algorithm in CAT(0) spaces" (2018) 

Cambridge

• in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
  "Continuous Lattices and Domains" (2003)
• 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: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)

Can

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

Canavoi F.

in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) 

Canonical

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

Canonization

• in: Otto M.
  "Canonization for two variables and puzzles on the square" (1997)
• in: Otto M.
  "Ptime canonization for two variables with counting" (1995)

Carlo

in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) 

Casari E.

in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999) 

Case

• in: Despres L.M. and Kohlenbach U.
  "Herbrand analyses in geometry: a case study" (2025)
• in: Pinto P.
  "Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm" (2024)

CAT

• in: Dinis B. and Pinto P.
  "Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
• in: Kohlenbach U. and Nicolae A.
  "A proof-theoretic bound extraction theorem for CAT$(\kappa )$-spaces" (2017)
• in: Kohlenbach U. and Leuştean L.
  "Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
• in: Kohlenbach U. and Leuştean L.
  "Effective metastability for Halpern iterates in CAT(0) space." (2012)
• 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: Leuştean L.
  "A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007)
• in: Schade K. and Kohlenbach U.
  "Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)

Cate (ten) B.

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

Categorical

• in: Altenkirch T., Hofmann M. and Streicher T.
  "Categorical reconstruction of a reduction free normalization proof." (1995)
• in: Freund A.
  "A Categorical Construction of Bachmann-Howard Fixed Points" (2019)
• in: Streicher T.
  "Krivine's Classical Realizability from a Categorical Perspective" (2013)

Categories

• in: Awodey S., Butz C., Simpson A. and Streicher T.
  "Relating first-order set theories, toposes and categories of classes." (2014)
• in: Kohlenbach U.
  "On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010)

Caucal

in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008) 

Cauchy

• 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)

CAV

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

Cayley

in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) 

Cegielski P.

in: Grohe M. and Otto M.
"Pebble games and linear equations" (2012) 

Centenary

in: Kohlenbach U.
"Goedel's functional interpretation and its use in current mathematics" (2008) 

Center

in: Leuştean L. and Roşu G.
"Certifying Kalman Filters" (2003) 

Central

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

Century

in: Hofmann K.H. and Keimel K.
"A mathematician's view of an Italian 15th century painting: The Annunciation, with St. Emidius, by Carlo Crivelli (in Japanese)" (2011) 

Chain

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

Characterisation

• 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: Dawar A. and Otto M.
  "Modal characterisation theorems over special classes of frames" (2005)
• 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.
  "Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
• in: Otto M.
  "Modal and guarded characterisation theorems over finite transition systems" (2004)
• in: Otto M.
  "Modal and guarded characterisation theorems over finite transition systems" (2002)

Chatzidakis Z.

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

Chebycheff

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

Chidume

in: Findling R. and Kohlenbach U.
"Rates of convergence and metastability for Chidume's algorithm for the approximation of zeros of accretive operators in Banach spaces" (2024) 

China

in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023) 

Choice

• in: Gregoriades V.
  "Choice free Fixed Point Property in separable Banach spaces" (2014)
• in: Kohlenbach U.
  "Intuitionistic choice and restricted classical logic" (2001)
• in: Kohlenbach U.
  "On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
• in: Streicher T.
  "Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)

Choquet-Kendall-Matheron

in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011) 

Chun J.

in: Bae S.W., Baffier J.F., Chun J., Eades P., Eickmeyer K., Grilli L., Hong S.H., Korman M., Montecchiani F., Rutter I. and Tóth C.D.
"Gap-planar graphs" (2018) 

CiAD

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

Ciardelli I.

• in: Ciardelli I. and Otto M.
  "Inquisitive bisimulation" (2018)
• in: Ciardelli I. and Otto M.
  "Bisimulation in inquisitive modal logic" (2017)

CiE

• in: Ambos-Spies K., Brandt U. and Ziegler M.
  "Real Benefit of Promises and Advice" (2013)
• in: Kohlenbach U.
  "Proof mining in functional analysis (abstract)" (2005)

Circuits

in: Otto M.
"The logic of explicitly representation-invariant circuits" (1997) 

Class

• 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)
• in: Kohlenbach U.
  "A note on the $\Pi$₂-induction rule" (1995)
• in: Otto M.
  "Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995)
• in: Otto M.
  "EM functors for a class of generalized quantifiers" (1992)

Classes

• in: Awodey S., Butz C., Simpson A. and Streicher T.
  "Relating first-order set theories, toposes and categories of classes." (2014)
• in: Dawar A. and Otto M.
  "Modal Characterisation Theorems over Special Classes of Frames" (2009)
• in: Dawar A. and Otto M.
  "Modal characterisation theorems over special classes of frames" (2005)
• in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
  "Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013)
• in: Freund A.
  "Set-theoretic reflection is equivalent to induction over well-founded classes" (2020)
• in: Georgescu G. and Leuştean L.
  "Some classes of pseudo-BL algebras" (2002)
• in: Gregoriades V.
  "Classes of Polish spaces under effective Borel isomorphism" (2014)
• in: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)

Classical

• in: Fujiwara M. and Kohlenbach U.
  "Classical provability of uniform versions and intuitionistic provability" (2015)
• in: Kohlenbach U.
  "Intuitionistic choice and restricted classical logic" (2001)
• in: Oliva P. and Streicher T.
  "On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
• in: Reus B. and Streicher T.
  "Classical logic, continuation semantics and abstract machines" (1998)
• in: Streicher T.
  "A classical realizability model arising from a stable model of untyped lambda calculus." (2017)
• in: Streicher T.
  "Krivine's Classical Realizability from a Categorical Perspective" (2013)

Cliques

in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003) 

Clique-Width

in: Blumensath A.
"A Model Theoretic Characterisation of Clique-Width" (2006) 

Clopen

in: Gregoriades V.
"Turning Borel sets into clopen sets effectively" (2012) 

Closed

in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006) 

CO

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

Codensity

in: Sipoş A.
"Codensity and Stone spaces" (2018) 

Cohen B.

in: Cohen B., Escardó M. and Keimel K.
"The extended probabilistic power domain monad over stably compact spaces" (2006) 

Cohesive

in: Kreuzer A.P.
"The cohesive principle and the Bolzano-Weierstraß principle." (2011) 

Colcombet T.

in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 

Collapsible

in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010) 

Collection

in: Kohlenbach U.
"Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021) 

College

• 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)

Colloquium

• in: Blumensath A., Otto M. and Weyer M.
  "Boundedness of monadic second-order formulae over finite words" (2009)
• in: Kohlenbach U.
  "Arithmetizing proofs in analysis" (1998)
• in: Kohlenbach U.
  "Analysing proofs in analysis" (1996)
• in: Otto M.
  "Bisimulation invariance and finite models" (2006)

Commitment

in: Freund A.
"A mathematical commitment without computational strength" (2022) 

Common

in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017) 

Communications

• in: Kohlenbach U. and Sipoş A.
  "The finitary content of sunny nonexpansive retractions" (2021)
• in: Kohlenbach U., Leuştean L. and Nicolae A.
  "Quantitative results on Fejér monotone sequences " (2018)
• in: Kohlenbach U.
  "A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)

Comp

in: Hofmann M. and Streicher T.
"Completeness of continuation models for $\lambda \mu$-calculus" (2002) 

Compact

• in: Alvarez Manilla M., Jung A. and Keimel K.
  "Valuations and measures on stably compact spaces" (2004)
• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• in: Di Nola A. and Leuştean L.
  "Compact representations of BL-algebras" (2003)
• 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 Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)
• in: Keimel K.
  "The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
• in: Keimel K. and Liang J.H.
  "Compact continuous L-domains" (1999)

Compactness

• in: Kohlenbach U.
  "Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021)
• in: Kohlenbach U.
  "A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
• in: Kohlenbach U.
  "Gödel functional interpretation and weak compactness" (2012)
• in: Kreuzer A.P.
  "On the strength of weak compactness." (2012)

Compatible

in: Blumensath A., Colcombet T. and Löding C.
"Logical theories and compatible operations" (2007) 

Complete

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

Completeness

• in: Bunge M., Funk J., Jibladze M. and Streicher T.
  "Definable Completeness" (2004)
• in: Hofmann M. and Streicher T.
  "Completeness of continuation models for $\lambda \mu$-calculus" (2002)
• in: Otto M.
  "Expressive completeness through logically tractable models" (2013)
• in: Reus B. and Streicher T.
  "Relative completeness for logics of functional programs." (2011)

Completion

in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002) 

Submit a bug

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