-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
U
- Ultrafilters
- in: Kreuzer A.P.
"Non-principal ultrafilters, program extraction and higher order reverse mathematics." (2012)
- Und
- in: Kohlenbach U. and Leuştean L.
"Approximate fixed points of nonexpansive functions in product spaces" (2006)
- Undecidability
- in: Grädel E., Otto M. and Rosen E.
"Undecidability results for two-variable logics" (1999)
- Under
- in: Gregoriades V.
"Classes of Polish spaces under effective Borel isomorphism" (2014)
- in: Gruenhage G. and Streicher T.
"Quotients of countably based spaces are not closed under sobrification." (2006)
- Unicity
- 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)
- Uniform
- in: Fujiwara M. and Kohlenbach U.
"Classical provability of uniform versions and intuitionistic provability" (2015)
- in: Gerhardy P. and Kohlenbach U.
"Strongly uniform bounds from semi-constructive proofs" (2006)
- in: Kohlenbach U.
"A uniform quantitative form of sequential weak compactness and Baillon's nonlinear ergodic theorem." (2012)
- in: Kohlenbach U.
"A logical uniform boundedness principle for abstract metric and hyperbolic spaces" (2006)
- in: Kohlenbach U.
"Uniform asymptotic regularity for Mann iterates" (2003)
- in: Kohlenbach U.
"On uniform weak König's lemma" (2002)
- in: Kohlenbach U.
"The use of a logical principle of uniform boundedness in analysis" (1999)
- in: Kohlenbach U.
"On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness" (1998)
- 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: Pauly A. and Ziegler M.
"Relative Computability and Uniform Continuity of Relations" (2013)
- Uniformity
- in: Briseid E.M.
"A New Uniformity for Asymptotic Contractions in the Sense of Kirk" (2010)
- Uniformly
- in: Khan M.A.A. and Kohlenbach U.
"Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces" (2013)
- in: Kohlenbach U. and Leuştean L.
" Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces" (2010)
- in: Kohlenbach U. and Leuştean L.
"A quantitative Mean Ergodic Theorem for uniformly convex Banach spaces" (2009)
- Uniqueness
- 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)
- Universal
- in: Leuştean L.
"Rates of asymptotic regularity for Halpern iterations of nonexpansive mappings" (2007)
- in: Otto M.
"The boundedness problem for monadic universal first-order logic" (2006)
- Universalis
- in: Wille A.M.
"A Gentzen system for involutive residuated lattices" (2005)
- Universality
- 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: Löw T. and Streicher T.
"Universality Results for Models in Locally Boolean Domains" (2006)
- in: Marz M., Rohr A. and Streicher T.
"Full abstraction and universality via realisability" (1999)
- in: Streicher T.
"A universality theorem for PCF with recursive types, parallel-or and $\exists $. " (1994)
- Universes
- in: Escardó M. and Streicher T.
"The intrinsic topology of Martin-Löf universes" (2016)
- in: Streicher T.
"Universes in Toposes" (2005)
- Universit&
- in: Leuştean L.
"Liquid flow time series prediction using feed-forward neural networks and SuperSAB learning algorithm" (2002)
- Universität
- in: Otto M.
"Avoiding incidental homomorphisms into guarded covers" (2009)
- in: Otto M.
"Elementary proof of the van Benthem-Rosen characterisation theorem" (2004)
- University
- 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 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)
- 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.
"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)
- Untypedness
- in: Lietz P. and Streicher T.
"Impredicativity entails untypedness" (2002)
- Updated
- in: Tix R., Keimel K. and Plotkin G.D.
"Semantic Domains for Combining Probability and Non-determinism (updated)" (2009)
- Upwards
- in: Keimel K.
"The probabilistic powerdomain for the upwards topology of a compact ordered space" (2004)
- USA
- in: Roşu G., Prasad Venkatesan R., Whittle J. and Leuştean L.
"Certifying optimality of state estimation programs" (2003)
- Use
- in: Kohlenbach U.
"Gödel's functional interpretation and its use in current mathematics" (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.
"The use of a logical principle of uniform boundedness in analysis" (1999)
- Uses
- in: Kohlenbach U.
"Foundational and mathematical uses of higher types" (2002)
- Usual
- in: Gaspar J.
"Negative translations not intuitionistically equivalent to the usual ones" (2013)
-&-1-123456789A-ABC-C-CDE&EFGHI-IJKL&LMN&NOP&PQRS&S-ST-T-TUVWXYZ
Submit a bug
This document was generated by bib2html 6.7.
Copyright © 1998-2011 Stephane GALLAND (under the GNU General Public License)