T

Topos

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

Toposes

• 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: Maschio S. and Streicher T.
  "Models of intuitionistic set theory in subtoposes of nested realizability toposes" (2015)
• in: Simpson A. and Streicher T.
  "Constructive toposes with countable sums as models of constructive set theory." (2012)
• in: Streicher T.
  "Forcing for IZF in Sheaf Toposes" (2009)
• in: Streicher T.
  "Universes in Toposes" (2005)

Torenvliet L.

in: Kohlenbach U.
"Proof mining in functional analysis (abstract)" (2005) 

Tóth C.D.

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) 

Tractable

in: Otto M.
"Expressive completeness through logically tractable models" (2013) 

Tranactions

in: Kohlenbach U. and Pischke N.
"Proof theory and nonsmooth analysis" (2023) 

Trans

• in: Eickmeyer K., Elberfeld M. and Harwath F.
  "Succinctness of Order-Invariant Logics on Depth-Bounded Structures" (2017)
• in: Gerhardy P. and Kohlenbach U.
  "General logical metatheorems for functional analysis" (2008)
• in: Kohlenbach U.
  "Some Logical Metatheorems with Applications in Functional Analysis" (2005)

Transactions

• in: Grädel E., Hirsch C. and Otto M.
  "Back and forth between guarded and modal logics" (2002)
• in: Kohlenbach U. and Leuştean L.
  "On the computational content of convergence proofs via Banach limitd." (2012)
• in: Pinto P.
  "Nonexpansive maps in nonlinear smooth hyperbolic spaces" (2024)
• in: Pischke N.
  "Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions" (2024)

Transfinite

in: Freund A.
"What is effective transfinite recursion in reverse mathematics?" (2020) 

Transformer

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

Transformers

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

Transition

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

Translations

• in: Gaspar J.
  "Negative translations not intuitionistically equivalent to the usual ones" (2013)
• in: Kohlenbach U. and Pinto P.
  "Quantitative translations for viscosity approximation methods in hyperbolic spaces" (2022)

Tree-Automatic

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

Tree-interpretable

in: Blumensath A.
"Axiomatising tree-interpretable structures" (2004) 

Tree-Interpretable

in: Blumensath A.
"Axiomatising Tree-Interpretable Structures" (2003) 

Tree-like

in: Berwanger D. and Blumensath A.
"The Monadic Theory of Tree-like Structures" (2002) 

Trees

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

Submit a bug

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