M

Machines

• in: Gärtner T. and Ziegler M.
  "Real Analytic Machines and Degrees" (2011)
• 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., Sokoli J. and Ziegler M.
  "Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines" (2013)
• in: Reus B. and Streicher T.
  "Classical logic, continuation semantics and abstract machines" (1998)

Majorization

• in: Kohlenbach U.
  "Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
• in: Kohlenbach U.
  "Pointwise hereditary majorization and some applications" (1992)

Makovsky J.

in: Gerhardy P.
"Refined Complexity Analysis of Cut Elimination" (2003) 

Man-machine

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

Mann

• in: Kohlenbach U. and Leuştean L.
  "Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
• in: Kohlenbach U.
  "Uniform asymptotic regularity for Mann iterates" (2003)

Many-valued

in: Leuştean L.
"Representations of many-valued algebras" (2004) 

Map

in: Eickmeyer K. and Kawarabayashi K.i.
"FO Model Checking on Map Graphs" (2017) 

Mappings

• in: Bacak M. and Kohlenbach U.
  "On proximal mappings with Young functions in uniformly convex Banach spaces" (2018)
• in: Briseid E.M.
  "Fixed Points of Generalized Contractive Mappings" (2008)
• in: Körnlein D. and Kohlenbach U.
  "Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Quantitative asymptotic regularity for the composition of two mappings" (2017)
• in: Kohlenbach U.
  "On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
• in: Kohlenbach U. and Leuştean L.
  " Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010)
• in: Kohlenbach U. and Lambov B.
  "Bounds on iterations of asymptotically quasi-non-expansive mappings" (2004)
• in: Kohlenbach U. and Leuştean L.
  "Mann iterates of directionally nonexpansive mappings in hyperbolic spaces" (2003)
• in: Leuştean L.
  "Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007)

Maps

• in: Firmino P. and Pinto P.
  "The alternating Halpern-Mann iteration for families of maps" (2024)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)

Marcus

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

Marion J.Y.

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

Markov

• in: Kohlenbach U.
  "On the disjunctive Markov principle" (2015)
• in: Kohlenbach U.
  "On weak Markov's principle" (2002)

Martin-Löf

in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016) 

Marx M.

in: Hoogland E., Marx M. and Otto M.
"Beth definability for the guarded fragment" (1999) 

Marz M.

in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999) 

Maschio S.

in: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015) 

Master

in: Gerhardy P.
"Improved Complexity Analysis of Cut Elimination and Herbrand's Theorem" (2003) 

Math

• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)
• in: Escardó M. and Streicher T.
  "In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002)
• in: Escardó M. and Streicher T.
  "In domain realizability, not all functionals on $C[-1,1]$ are continuous." (2002)
• 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: Gerhardy P. and Kohlenbach U.
  "General logical metatheorems for functional analysis" (2008)
• in: Gerhardy P.
  "A quantitative version of Kirk's fixed point theorem for asymptotic contractions" (2006)
• in: Gerhardy P. and Kohlenbach U.
  "Extracting Herbrand Disjuntions by Functional Interpretation" (2005)
• in: Gregoriades V.
  "Choice free Fixed Point Property in separable Banach spaces" (2014)
• in: Gregoriades V.
  "Classes of Polish spaces under effective Borel isomorphism" (2014)
• in: Gregoriades V.
  "Turning Borel sets into clopen sets effectively" (2012)
• in: Hofmann M. and Streicher T.
  "Completeness of continuation models for $\lambda \mu$-calculus" (2002)
• in: Keimel K. and Lawson J.D.
  "$D$-completions and the $d$-topology" (2009)
• in: Keimel K.
  "Topological Cones: Functional Analysis in a T$$-Setting" (2008)
• in: Keimel K. and Lawson J.D.
  "Measure extension theorems for $T$-spaces" (2005)
• in: Kohlenbach U. and Nicolae A.
  "A proof-theoretic bound extraction theorem for CAT$(\kappa )$-spaces" (2017)
• in: Kohlenbach U.
  "Some Logical Metatheorems with Applications in Functional Analysis" (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.
  "Uniform asymptotic regularity for Mann iterates" (2003)
• in: Kohlenbach U.
  "On weak Markov's principle" (2002)
• in: Kohlenbach U.
  "A note on Spector's quantifier-free rule of extensionality" (2001)
• in: Kohlenbach U.
  "Intuitionistic choice and restricted classical logic" (2001)
• in: Kohlenbach U.
  "Elimination of Skolem functions for monotone formulas in analysis" (1998)
• in: Kohlenbach U.
  "Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
• in: Kohlenbach U.
  "A note on the $\Pi$₂-induction rule" (1995)
• in: Kohlenbach U.
  "A note on the $\Pi$₂-induction rule" (1995)
• in: Kohlenbach U.
  "Pointwise hereditary majorization and some applications" (1992)
• in: Kohlenbach U.
  "Remarks on Herbrand normal forms and Herbrand Realizations" (1992)
• in: Kreuzer A.P.
  "The cohesive principle and the Bolzano-Weierstraß principle." (2011)
• in: Leuştean L.
  "Proof mining in $R$-trees and hyperbolic spaces " (2006)
• in: Lietz P. and Streicher T.
  "Impredicativity entails untypedness" (2002)
• in: Otto M.
  "Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995)
• in: Reus B. and Streicher T.
  "General synthetic domain theory---a logical approach." (1999)
• in: Safarik P.
  "A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)
• in: Streicher T.
  "A universality theorem for PCF with recursive types, parallel-or and $\exists$. " (1994)
• in: Streicher T.
  "Dependence and independence results for (impredicative) calculi of dependent types." (1992)

Mathematica

• in: Dinis B. and Pinto P.
  "Metastability of the proximal point algorithm with multi-parameters" (2020)
• in: Freund A.
  "Patterns of resemblance and Bachmann-Howard fixed points" (2022)
• in: Keimel K. and Liang J.H.
  "Order environments of topological spaces" (2004)
• 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: Sipoş A.
  "Codensity and Stone spaces" (2018)

Mathematicae

in: Keimel K.
"Locally convex cones and the Schröder--Simpson theorem" (2012) 

Mathematical

• in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
  "Boundedness theorems for flowers and sharps" (2022)
• in: Briseid E.M.
  "A Rate of Convergence for Asymptotic Contractions" (2007)
• in: Broy M. and Streicher T.
  "Views of distributed systems." (1987)
• in: Di Nola A. and Leuştean L.
  "Compact representations of BL-algebras" (2003)
• in: Di Nola A., Georgescu G. and Leuştean L.
  "Boolean products of BL-algebras" (2000)
• in: Freund A.
  "A mathematical commitment without computational strength" (2022)
• in: Freund A.
  "A note on ordinal exponentiation and derivatives of normal functions" (2020)
• in: Freund A.
  "Computable Aspects of the Bachmann-Howard Principle" (2020)
• in: Freund A.
  "From Kruskal's theorem to Friedman's gap condition" (2020)
• in: Freund A.
  "Set-theoretic reflection is equivalent to induction over well-founded classes" (2020)
• in: Freund A.
  "What is effective transfinite recursion in reverse mathematics?" (2020)
• in: Freund A.
  "A Categorical Construction of Bachmann-Howard Fixed Points" (2019)
• in: Freund A.
  "A Note on Iterated Consistency and Infinite Proofs" (2019)
• in: Fujiwara M. and Kohlenbach U.
  "Classical provability of uniform versions and intuitionistic provability" (2015)
• in: Georgescu G. and Leuştean L.
  "Some classes of pseudo-BL algebras" (2002)
• in: Goubault-Larrecq J. and Keimel K.
  "Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011)
• in: Grädel E., Otto M. and Rosen E.
  "Undecidability results for two-variable logics" (1999)
• in: Hofmann M., Oosten (van) J. and Streicher T.
  "Well-foundedness in realizability" (2006)
• in: Huth M., Jung A. and Keimel K.
  "Linear types, approximation, and topology" (2000)
• in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
  "Computational Complexity of Smooth Differential Equations" (2012)
• in: Keimel K. and Plotkin G.D.
  "Predicate transformers for convex powerdomains" (2009)
• in: Khan M.A.A. and Kohlenbach U.
  "Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
• in: Kohlenbach U.
  "Proof-theoretic uniform boundedness and bounded collection principles and Heine-Borel compactness" (2021)
• in: Kohlenbach U.
  "A note on the monotone functional interpretation" (2011)
• in: Kohlenbach U.
  "On the asymptotic behavior of odd operators" (2011)
• in: Kohlenbach U. and Leuştean L.
  " Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010)
• in: Kohlenbach U.
  "Applied foundations: proof mining in analysis" (2002)
• in: Kohlenbach U.
  "Foundational and mathematical uses of higher types" (2002)
• in: Koutsoukou-Argyraki A. and Kohlenbach U.
  "Effective asymptotic regularity for one-parameter nonexpansive semigroups" (2016)
• in: Koutsoukou-Argyraki A. and Kohlenbach U.
  "Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
• in: Kreuzer A.P.
  "Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)
• in: Leuştean L.
  "A quadratic rate of asymptotic regularity in CAT(0)-spaces" (2007)
• in: Müller N. and Ziegler M.
  "From Calculus to Algorithms without Errors" (2014)
• in: Otto M.
  "Bounded-variable logics: two, three, and more" (1999)
• in: Otto M.
  "EM functors for a class of generalized quantifiers" (1992)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (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: Safarik P. and Kohlenbach U.
  "On the computational content of the Bolzano-Weierstrass principle" (2010)
• in: Streicher T.
  "Krivine's Classical Realizability from a Categorical Perspective" (2013)
• in: Streicher T. and Kohlenbach U.
  "Shoenfield is Goedel after Krivine" (2007)

Mathematically

in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996) 

Mathematician

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) 

Mathematicians

in: Kohlenbach U.
"Proof-theoretic methods in nonlinear analysis" (2019) 

Mathematiciens

in: Kohlenbach U.
"Herbrand's theorem and extractive proof theory" (2008) 

Mathematicl

in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009) 

Mathematics

• in: Aguilera J.P., Freund A., Rathjen M. and Weiermann A.
  "Ackermann and Goodstein go functorial" (2021)
• in: Briseid E.M.
  "A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
• in: Freund A., Rathjen M. and Weiermann A.
  "Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022)
• in: Freund A. and Rathjen M.
  "Derivatives of normal functions in reverse mathematics" (2021)
• in: Freund A.
  "What is effective transfinite recursion in reverse mathematics?" (2020)
• in: Freund A.
  "Pi$1$₁-Comprehension as a Well-Ordering Principle" (2019)
• in: Günzel D. and Kohlenbach U.
  "Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
• in: Keimel K. and Liang J.H.
  "Compact continuous L-domains" (1999)
• 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 Sipoş A.
  "The finitary content of sunny nonexpansive retractions" (2021)
• in: Kohlenbach U.
  "Local formalizations in nonlinear analysis and related areas and proof-theoretic tameness" (2020)
• in: Kohlenbach U. and Powell T.
  "Rates of convergence for iterative solutions of equations involving set-valued accretive operators" (2020)
• in: Kohlenbach U.
  "A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space" (2019)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019)
• in: Kohlenbach U.
  "On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019)
• in: Kohlenbach U., Leuştean L. and Nicolae A.
  "Quantitative results on Fejér monotone sequences " (2018)
• in: Kohlenbach U.
  "On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
• in: Kohlenbach U. and Leuştean L.
  "Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
• in: Kohlenbach U.
  "A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
• in: Kohlenbach U. and Leuştean L.
  "Effective metastability for Halpern iterates in CAT(0) space." (2012)
• in: Kohlenbach U.
  "Gödel's functional interpretation and its use in current mathematics" (2011)
• in: Kohlenbach U.
  "Gödel's functional interpretation and its use in current mathematics" (2011)
• in: Kohlenbach U.
  "On quantitative versions of theorems due to F.E. Browder and R. Wittmann" (2011)
• in: Kohlenbach U.
  "Applied Proof Theory: Proof Interpretations and their Use in Mathematics" (2008)
• 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.
  "Interview on the Philosophy of Mathematics" (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.
  "Higher order reverse mathematics" (2005)
• in: Kohlenbach U.
  "Higher order reverse mathematics" (2005)
• in: Kohlenbach U. and Oliva P.
  "Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)
• in: Kohlenbach U.
  "Foundational and mathematical uses of higher types" (2002)
• in: Kohlenbach U.
  "The use of a logical principle of uniform boundedness in analysis" (1999)
• in: Kreuzer A.P.
  "Non-principal ultrafilters, program extraction and higher order reverse mathematics." (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.
  "The prime and maximal spectra and the reticulation of BL-algebras" (2003)
• in: Otto M.
  "Avoiding incidental homomorphisms into guarded covers" (2009)
• in: Otto M.
  "Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
• in: Pischke N.
  "Duality, Fréchet differentiability and Bregman distances in hyperbolic spaces" (2025)
• in: Treusch J. and Kohlenbach U.
  "Rates of convergence for splitting algorithms" (2025)

Mathematicum

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

Mathilde

in: Kohlenbach U.
"Applied foundations: proof mining in analysis" (2002) 

Maximal

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

Mean

in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009) 

Measure

in: Keimel K. and Lawson J.D.
"Measure extension theorems for $T$-spaces" (2005) 

Measures

• in: Alvarez Manilla M., Jung A. and Keimel K.
  "Valuations and measures on stably compact spaces" (2004)
• in: Keimel K.
  "The Monad of Probability Measures over Compact Ordered Spaces and its Eilenberg-Moore Algebras" (2008)

Mechanics

in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018) 

Meinel C.

in: Otto M.
"Eliminating recursion in the mu-calculus" (1999) 

Mem

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

Memory

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

Metastability

• in: Dinis B. and Pinto P.
  "Effective metastability for a method of alternating resolvents" (2024)
• in: Dinis B. and Pinto P.
  "Metastability of the proximal point algorithm with multi-parameters" (2020)
• 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)
• in: Körnlein D. and Kohlenbach U.
  "Rate of metastability for Bruck's iteration of pseudocontractive mappings in Hilbert space" (2014)
• in: Kohlenbach U. and Leuştean L.
  "Addendum to `Effective metastability for Halpern iterates in CAT(0) space'." (2014)
• in: Kohlenbach U. and Safarik P.
  "Fluctuations, effective learnability and metastability in analysis" (2014)
• in: Kohlenbach U. and Leuştean L.
  "Effective metastability for Halpern iterates in CAT(0) space." (2012)
• in: Koutsoukou-Argyraki A. and Kohlenbach U.
  "Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators" (2015)
• 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)

Metatheorem

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

Metatheorems

• in: Günzel D. and Kohlenbach U.
  "Logical metatheorems for abstract spaces axiomatized in positive bounded logic" (2016)
• in: Gerhardy P. and Kohlenbach U.
  "General logical metatheorems for functional analysis" (2008)
• in: Gerhardy P. and Kohlenbach U.
  "General Logical Metatheorems for Functional Analysis" (2005)
• in: Kohlenbach U.
  "Some Logical Metatheorems with Applications in Functional Analysis" (2005)
• in: Pischke N.
  "Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)

Method

• in: Dinis B. and Pinto P.
  "Effective metastability for a method of alternating resolvents" (2024)
• in: Pinto P. and Pischke N.
  "On the Halpern method with adaptive anchoring parameters" (2024)
• in: Pischke N. and Kohlenbach U.
  "Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)

Methodologies

in: Leuştean L.
"Sheaf representations of BL-algebras" (2005) 

Methods

• in: Barany V., Gottlob G. and Otto M.
  "Querying the guarded fragment" (2014)
• in: Battenfeld I., Keimel K. and Streicher T.
  "Observationally-induced algebras in Domain Theory" (2014)
• in: Blumensath A., Otto M. and Weyer M.
  "Decidability results for the boundedness problem" (2014)
• in: Fedel M., Keimel K., Montagna F. and Roth W.
  "Imprecise probabilities, bets, and functional analytic methods in Lukasiewicz logic" (2013)
• in: Gärtner T. and Ziegler M.
  "Real Analytic Machines and Degrees" (2011)
• in: Gregoriades V.
  "The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011)
• in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
  "Computational Complexity of Smooth Differential Equations" (2014)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)
• in: Kohlenbach U.
  "Proof-theoretic methods in nonlinear analysis" (2019)
• in: Neumann E., Pape M. and Streicher T.
  "Computability in Basic Quantum Mechanics." (2018)
• in: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
• in: Streicher T.
  "A classical realizability model arising from a stable model of untyped lambda calculus." (2017)

Metric

• in: Briseid E.M.
  "Logical Aspects of Rates of Convergence in Metric Spaces" (2009)
• 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.
  "A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
• in: Kohlenbach U.
  "Some computational aspects of metric fixed point theory" (2005)

MFCS

• in: Eickmeyer K., Elberfeld M. and Harwath F.
  "Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
• in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
  "Computational Complexity of Smooth Differential Equations" (2012)

MFCS2009

in: Kartzow A.
"FO Model Checking on Nested Pushdown Trees" (2009) 

Michael

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

Michaux C.

in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011) 

Middle

in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004) 

Minari P.

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

Minimal

in: Freund A., Rathjen M. and Weiermann A.
"Minimal bad sequences are necessary for a uniform Kruskal theorem" (2022) 

Minkowksi

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) 

Minor-Closed

in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
"Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013) 

Mints

in: Kohlenbach U.
"On the logical analysis of proofs based on nonseparable Hilbert space theory" (2010) 

Mints G.

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

Mislove M.

in: Gierz G., Hofmann K.H., Keimel K., Lawson J.D., Mislove M. and Scott D.S.
"Continuous Lattices and Domains" (2003) 

M. Bezem

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

Modal

• in: Ciardelli I. and Otto M.
  "Bisimulation in inquisitive modal logic" (2017)
• 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: Goranko V. and Otto M.
  "Model Theory of Modal Logic" (2006)
• in: Goranko V. and Otto M.
  "Model Theory of Modal Logic" (2006)
• in: Grädel E., Hirsch C. and Otto M.
  "Back and forth between guarded and modal logics" (2002)
• in: Grädel E., Hirsch C. and Otto M.
  "Back and forth between guarded and modal logics" (2000)
• in: Leuştean L.
  "Canonical models and filtrations in three-valued propositional modal logic" (2002)
• 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. and Piro R.
  "A Lindstrom characterisation of the guarded fragment and of modal logic with a global modality" (2008)
• 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)

Modality

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

Model

• in: Blumensath A.
  "A Model Theoretic Characterisation of Clique-Width" (2006)
• in: Eickmeyer K. and Kawarabayashi K.i.
  "FO Model Checking on Map Graphs" (2017)
• in: Eickmeyer K., Kawarabayashi K.i. and Kreutzer S.
  "Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes" (2013)
• in: Escardó M., Hofmann M. and Streicher T.
  "On the non-sequential nature of the interval-domain model of real-number computation" (2004)
• in: Goranko V. and Otto M.
  "Model Theory of Modal Logic" (2006)
• in: Kartzow A.
  "FO Model Checking on Nested Pushdown Trees" (2009)
• in: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
• in: Otto M.
  "Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
• in: Streicher T.
  "A classical realizability model arising from a stable model of untyped lambda calculus." (2017)

Models

• in: Broy M. and Streicher T.
  "Views of distributed systems." (1987)
• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• in: Hofmann M. and Streicher T.
  "Completeness of continuation models for $\lambda \mu$-calculus" (2002)
• in: Jacobs B., Moggi E. and Streicher T.
  "Relating models of impredicative type theories." (1991)
• in: Löw T. and Streicher T.
  "Universality Results for Models in Locally Boolean Domains" (2006)
• in: Leuştean L.
  "Canonical models and filtrations in three-valued propositional modal logic" (2002)
• 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.
  "Groupoids, hypergraphs, and symmetries in finite models" (2013)
• in: Otto M.
  "Bisimulation invariance and finite models" (2006)
• in: Otto M.
  "Bounded variable logics and counting -- A study in finite models" (1997)
• in: Pribeanu C. and Leuştean L.
  "Consistence evaluation of a man-machine interaction language using connectionist models" (2000)
• in: Simpson A. and Streicher T.
  "Constructive toposes with countable sums as models of constructive set theory." (2012)

Modified

• in: Horatiu Cheval U.K. and Leuştean L.
  "On modified Halpern and Tikhonov-Mann iterations" (2023)
• in: Schade K. and Kohlenbach U.
  "Effective metastability for modified Halpern iterations in CAT(0) spaces." (2012)

Modular

in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992) 

Moduli

• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019)
• in: Kohlenbach U.
  "On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness" (2019)
• 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)

Moggi E.

in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991) 

Momentum

in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987) 

Monad

• in: Cohen B., Escardó M. and Keimel K.
  "The extended probabilistic power domain monad over stably compact spaces" (2006)
• 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)

Monadic

• in: Berwanger D. and Blumensath A.
  "The Monadic Theory of Tree-like Structures" (2002)
• in: Blumensath A., Otto M. and Weyer M.
  "Boundedness of monadic second-order formulae over finite words" (2009)
• in: Blumensath A.
  "Simple Monadic Theories" (2008)
• in: Blumensath A.
  "Prefix-Recognisable Graphs and Monadic Second-Order Logic" (2001)
• in: Kreutzer S., Otto M. and Schweikardt N.
  "Boundedness of monadic FO over acyclic structures" (2007)
• in: Otto M.
  "The boundedness problem for monadic universal first-order logic" (2006)
• in: Otto M.
  "Note on the number of monadic quantifiers in monadic $\Sigma 1$₁" (1995)

Monoids

in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004) 

Monotone

• in: Kohlenbach U. and Pinto P.
  "Fejér monotone sequences revisited" (2025)
• in: Kohlenbach U.
  "On the Proximal Point Algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space" (2022)
• in: Kohlenbach U., López-Acedo G. and Nicolae A.
  "Moduli of regularity and rates of convergence for Fejér monotone sequences" (2019)
• in: Kohlenbach U., Leuştean L. and Nicolae A.
  "Quantitative results on Fejér monotone sequences " (2018)
• in: Kohlenbach U.
  "A note on the monotone functional interpretation" (2011)
• in: Kohlenbach U.
  "Elimination of Skolem functions for monotone formulas in analysis" (1998)
• in: Pischke N.
  "Generalized Fejér monotone sequences and their finitary content" (2025)
• in: Pischke N.
  "Logical Metatheorems for Accretive and (Generalized) Monotone Set-Valued Operators" (2024)
• in: Pischke N.
  "Quantitative Results on Algorithms for Zeros of Differences of Monotone Operators in Hilbert Space" (2023)

Montagna F.

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

Montecchiani F.

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) 

Monthly

in: Barbălată C. and Leuştean L.
"Average monthly liquid flow forecasting using neural networks" (2004) 

More

• in: Otto M.
  "Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
• in: Otto M.
  "Bounded-variable logics: two, three, and more" (1999)

MSCS

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

Mu-calculus

• in: Otto M.
  "Bisimulation-invariant Ptime and higher-dimensional mu-calculus" (1999)
• in: Otto M.
  "Eliminating recursion in the mu-calculus" (1999)

Muchnik

in: Blumensath A. and Kreutzer S.
"An Extension to Muchnik's Theorem" (2005) 

Mück A.

in: Mück A., Streicher T. and Lock H.
"A tiny constraint functional logic language and its continuation semantics." (1994) 

Müller N.

in: Müller N. and Ziegler M.
"From Calculus to Algorithms without Errors" (2014) 

Multi-Parameters

in: Dinis B. and Pinto P.
"Quantitative Results on the Multi-Parameters Proximal Point Algorithm" (2021) 

Multi-parameters

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

Multiple-Valued

• in: Georgescu G., Leuştean L. and Preoteasa V.
  "Pseudo-hoops" (2005)
• in: Leuştean L.
  "Baer extensions of BL-algebras" (2006)
• in: Leuştean L.
  "Canonical models and filtrations in three-valued propositional modal logic" (2002)

Multi-scale

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

Multi-valued

in: Gregoriades V.
"The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function" (2011) 

Submit a bug

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