Bibliography

Tree

Index

Bibliography

&--1 2 3 4 5 6 7 8 9 A &A -A B C -C -C -C D E &E F G H I -I J K &K L &L M N &N O P &P Q R S &S -S -S T -T -T U V W X Y Z

S

Stationary

in: Otto M.
"Automorphism properties of stationary logic" (1992)

Statistics

in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)

Steinberg F.

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

Steinhorn C.

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

Steklov

in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)

Stone

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

Store

in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)

Streicher T.

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: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories, toposes and categories of classes." (2014)
in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007)
in: Bénabou J. and Streicher T.
"Partial Toposes" (2003)
in: Battenfeld I., Keimel K. and Streicher T.
"Observationally-induced algebras in Domain Theory" (2014)
in: Broy M. and Streicher T.
"Modular functional modelling of Petri nets with individual tokens. " (1992)
in: Broy M. and Streicher T.
"Specification and design of shared resource arbitration." (1991)
in: Broy M. and Streicher T.
"Views of distributed systems." (1987)
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Definable Completeness" (2004)
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"The Michael completion of a topos spread" (2002)
in: Bunge M., Funk J., Jibladze M. and Streicher T.
"Distribution algebras and duality" (2000)
in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016)
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.
"Induction and recursion on the partial real line with applications to Real PCF." (1999)
in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006)
in: Hofmann M., Oosten (van) J. and Streicher T.
"Well-foundedness in realizability" (2006)
in: Hofmann M. and Streicher T.
"Completeness of continuation models for $λμ$ -calculus" (2002)
in: Hofmann M. and Streicher T.
"The groupoid interpretation of type theory" (1998)
in: Jacobs B., Moggi E. and Streicher T.
"Relating models of impredicative type theories." (1991)
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: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006)
in: Lietz P. and Streicher T.
"Realizability models refuting Ishihara's boundedness principle." (2012)
in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002)
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: Maschio S. and Streicher T.
"Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
in: Neumann E., Pape M. and Streicher T.
"Computability in Basic Quantum Mechanics." (2018)
in: Oliva P. and Streicher T.
"On Krivine's realizability interpretation of classical second-order arithmetic" (2008)
in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
in: Reus B. and Streicher T.
"Relative completeness for logics of functional programs." (2011)
in: Reus B. and Streicher T.
"About Hoare logics for higher-order store" (2005)
in: Reus B. and Streicher T.
"Semantics and logic of object calculi" (2004)
in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999)
in: Reus B. and Streicher T.
"Classical logic, continuation semantics and abstract machines" (1998)
in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)
in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)
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)
in: Streicher T.
"Forcing for IZF in Sheaf Toposes" (2009)
in: Streicher T. and Kohlenbach U.
"Shoenfield is Goedel after Krivine" (2007)
in: Streicher T.
"Domain-theoretic Foundations of Functional Programming" (2006)
in: Streicher T.
"Universes in Toposes" (2005)
in: Streicher T.
"Denotational completness revisited" (1999)
in: Streicher T.
"Inductive construction of repletion" (1999)
in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and $∃$ . " (1994)
in: Streicher T.
"Dependence and independence results for (impredicative) calculi of dependent types." (1992)
in: Streicher T.
"Independence of the induction principle and the axiom of choice in the pure calculus of constructions." (1992)
in: Streicher T.
"Semantics of Type Theory" (1991)
in: Streicher T.
"Independence results for calculi of dependent types." (1989)

Strength

in: Freund A.
"A mathematical commitment without computational strength" (2022)
in: Kreuzer A.P.
"On the strength of weak compactness." (2012)

Strong

in: Dinis B. and Pinto P.
"Strong convergence for the alternating Halpern-Mann iteration in CAT(0) spaces" (2023)
in: Freund A.
"How strong are single fixed points of normal functions?" (2020)
in: Kohlenbach U.
"Mathematically strong subystems of analysis with low rate of growth of provably recursive functionals" (1996)
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: Leuştean L. and Sipoş A.
"Effective strong convergence of the proximal point algorithm in CAT(0) spaces" (2018)
in: Safarik P.
"A quantitative nonlinear strong ergodic theorem for Hilbert spaces." (2012)

Strongly

in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006)
in: Kohlenbach U.
"On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces" (2016)
in: Pischke N. and Kohlenbach U.
"Effective rates for iterations involving Bregman strongly nonexpansive operators" (2024)

Structure

in: Blumensath A.
"On the structure of graphs in the Caucal hierarchy" (2008)
in: Otto M. and Van Den Bussche J.
"First-order queries on databases embedded in an infinite structure" (1996)

Structures

in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002)
in: Blumensath A.
"Axiomatising tree-interpretable structures" (2004)
in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004)
in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003)
in: Blumensath A.
"Structures of Bounded Partition Width" (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.
"Automatic Structures" (1999)
in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017)
in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017)
in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)
in: Freund A.
"From Kruskal's theorem to Friedman's gap condition" (2020)
in: Goubault-Larrecq J. and Keimel K.
"Choquet-Kendall-Matheron theorems for non-Hausdorff spaces" (2011)
in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
in: Huth M., Jung A. and Keimel K.
"Linear types, approximation, and topology" (2000)
in: Keimel K. and Plotkin G.D.
"Predicate transformers for convex powerdomains" (2009)
in: Kreutzer S., Otto M. and Schweikardt N.
"Boundedness of monadic FO over acyclic structures" (2007)
in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)
in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015)
in: Otto M.
"Model theoretic methods for fragments of FO and special classes of (finite) structures" (2011)
in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
in: Streicher T.
"Krivine's Classical Realizability from a Categorical Perspective" (2013)

Studia

in: Burmeister P.
"Algebraic Theory of Quasivarieties of Heterogeneous Partial Algebras" (2004)
in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
in: Kohlenbach U. and Nicolae A.
"A proof-theoretic bound extraction theorem for CAT $(κ)$ -spaces" (2017)
in: Kohlenbach U.
"On the disjunctive Markov principle" (2015)
in: Kohlenbach U.
"A note on Goodman's theorem" (1999)
in: Wille A.M.
"The variety of lattice-ordered monoids generated by the natural numbers" (2004)

Studies

in: Kohlenbach U.
"Kreisel's shift of emphasis and contemporary proof mining" (2023)
in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and Rprop learning algorithm" (2001)
in: Leuştean L.
"Some algebraic properties of non-commutative fuzzy structures" (2000)

Study

in: Despres L.M. and Kohlenbach U.
"Herbrand analyses in geometry: a case study" (2025)
in: Freund A.
"Well ordering principles and Pi¹₄-statements: a pilot study" (2021)
in: Otto M.
"Bounded variable logics and counting -- A study in finite models" (1997)

Sub-

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)

Sub

in: Freund A.
"Well ordering principles and Pi¹₄-statements: a pilot study" (2021)
in: Freund A.
"Pi¹₁-Comprehension as a Well-Ordering Principle" (2019)
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 Oliva P.
"Proof mining in L₁-approximation" (2003)
in: Kohlenbach U.
"A note on the $Π$ ₂-induction rule" (1995)
in: Otto M.
"Note on the number of monadic quantifiers in monadic $Σ$ ¹₁" (1995)

Subgradient-type

in: Pischke N. and Kohlenbach U.
"Quantitative analysis of a subgradient-type method for equilibrium problems" (2022)

Subgraphs

in: Eickmeyer K. and Kawarabayashi K.i.
"Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs" (2016)

Substructures

in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012)
in: Kieronski E. and Otto M.
"Small substructures and decidability issues for two-variable first-order logic" (2005)

Subtoposes

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

Subystems

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

Successor-Invariant

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

Succinctness

in: Eickmeyer K., Elberfeld M. and Harwath F.
"Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017)
in: Eickmeyer K., Elberfeld M. and Harwath F.
"Expressivity and Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2014)

Sums

in: Simpson A. and Streicher T.
"Constructive toposes with countable sums as models of constructive set theory." (2012)

Sunny

in: Kohlenbach U. and Sipoş A.
"The finitary content of sunny nonexpansive retractions" (2021)

Sup

in: Freund A.
"Well ordering principles and Pi¹₄-statements: a pilot study" (2021)
in: Freund A.
"Pi¹₁-Comprehension as a Well-Ordering Principle" (2019)
in: Kohlenbach U.
"A note on the $Π$ ₂-induction rule" (1995)
in: Otto M.
"Note on the number of monadic quantifiers in monadic $Σ$ ¹₁" (1995)

SuperSAB

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

Symb

in: Kreuzer A.P. and Kohlenbach U.
"Term extraction and Ramsey's theorem for pairs." (2012)

Symbolic

in: Awodey S., Butz C., Simpson A. and Streicher T.
"Relating first-order set theories and elementary toposes" (2007)
in: Briseid E.M.
"Logical Aspects of Rates of Convergence in Metric Spaces" (2009)
in: Freund A.
"A mathematical commitment without computational strength" (2022)
in: Freund A.
"Well ordering principles and Pi¹₄-statements: a pilot study" (2021)
in: Freund A.
"How strong are single fixed points of normal functions?" (2020)
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: Gaspar J. and Kohlenbach U.
"On Tao's finitary infinite pigeonhole principle" (2010)
in: Hodkinson I. and Otto M.
"Finite conformal hypergraph covers and Gaifman cliques in finite structures" (2003)
in: Kieronski E. and Otto M.
"Small substructures and decidability issues for first-order logic with two variables" (2012)
in: Kohlenbach U.
"On the no-counterexample interpretation" (1999)
in: Kohlenbach U.
"Relative constructivity" (1998)
in: Kohlenbach U.
"Effective bounds from ineffective proofs in analysis: an application of functional interpretation and majorization" (1992)
in: Otto M.
"Two-variable first-order logic over ordered domains" (2001)
in: Otto M.
"An interpolation theorem" (2000)
in: Otto M.
"Epsilon-logic is more expressive than first-order logic over finite structures" (2000)
in: Otto M.
"The expressive power of fixed-point logic with counting" (1996)
in: Otto M.
"Automorphism properties of stationary logic" (1992)

Symmetries

in: Otto M.
"Finite groupoids, finite coverings and symmetries in finite structures" (2015)
in: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013)

Symmetry

in: Otto M.
"Amalgamation and symmetry: from local to global consistency in the finite" (2017)
in: Otto M.
"A reduction scheme for phase spaces with almost-Kähler symmetry - regularity results for momentum level sets" (1987)

Symp

in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003)
in: Blumensath A. and Grädel E.
"Automatic Structures" (2000)
in: Kawamura A., Ota H., Rösnick C. and Ziegler M.
"Computational Complexity of Smooth Differential Equations" (2012)

Symposium

in: Akama Y., Berardi S., Hayashi S. and Kohlenbach U.
"An arithmetical hierarchy of the law of excluded middle and related principles" (2004)
in: Barany V., Gottlob G. and Otto M.
"Querying the guarded fragment" (2010)
in: Canavoi F. and Otto M.
"Common knowledge and multi-scale locality analysis in Cayley structures" (2017)
in: Dawar A. and Otto M.
"Modal characterisation theorems over special classes of frames" (2005)
in: Grädel E., Hirsch C. and Otto M.
"Back and forth between guarded and modal logics" (2000)
in: Kartzow A.
"Collapsible Pushdown Graphs of Level 2 are Tree-Automatic" (2010)
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: Otto M.
"Groupoids, hypergraphs, and symmetries in finite models" (2013)
in: Otto M.
"Highly acyclic groups, hypergraph covers and the guarded fragment" (2010)
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.
"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)

Synthese

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

Synthetic

in: Reus B. and Streicher T.
"A synthetic theory of sequential domains." (2012)
in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach." (1999)
in: Reus B. and Streicher T.
"General synthetic domain theory---a logical approach (extended abstract)" (1997)

System

in: Altenkirch T., Hofmann M. and Streicher T.
"Reduction-free normalisation for a polymorphic system" (1996)
in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)

Systematic

in: Kohlenbach U. and Oliva P.
"Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics" (2003)

Systems

in: Blumensath A.
"Axiomatising tree-interpretable structures" (2004)
in: Blumensath A. and Grädel E.
"Finite Presentations of Infinite Structures: Automata and Interpretations" (2004)
in: Broy M. and Streicher T.
"Views of distributed systems." (1987)
in: Freund A. and Kohlenbach U.
"Bounds for a nonlinear ergodic theorem for Banach spaces" (2023)
in: Keimel K.
"Sheaf Representations of algebraic systems. A personal historical account" (2013)
in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
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)

&--1 2 3 4 5 6 7 8 9 A &A -A B C -C -C -C D E &E F G H I -I J K &K L &L M N &N O P &P Q R S &S -S -S T -T -T U V W X Y Z

Overview

Tree

Index

Bibliography

PREV NEXT

FRAMES NO FRAME

Submit a bug