منابع مشابه
Generalized Silver and Miller measurability
1 We present some results about the burgeoning research area concerning set theory of the “κ-reals”. We focus on some notions of measurability coming from generalizations of Silver and Miller trees. We present analogies and mostly differences from the classical setting.
متن کاملNew product formulæ and quantum Zeno dynamics with generalized observables
We demonstrate a pair of new product formulæ which combine a projection with a resolvent of a positive operator, or with an exponential function and spectral projections, respectively. The convergence is strong or even operator-norm under more restrictive assumptions. The second mentioned formula can be used to describe Zeno dynamics in the situation when the usual non-decay measurement is repl...
متن کاملRealizing arithmetical formulæ
Correct (for the execution) program might be untypable : let stupid n =. if n=n+1 then 27 else trué Etienne Miquey Realizing arithmetical formulae Classical realizability Realizability game Zoology Gender equality Introduction Curry-Howard Correct (for the execution) program might be untypable : let stupid n =. if n=n+1 then 27 else trué Etienne Miquey Realizing arithmetical formulae Classical ...
متن کاملEnumeration Formulæ in Neutral Sets
We present several enumeration results holding in sets of words called neutral and which satisfy restrictive conditions on the set of possible extensions of nonempty words. These formulae concern return words and bifix codes. They generalize formulae previously known for Sturmian sets or more generally for tree sets. We also give a geometric example of this class of sets, namely the natural cod...
متن کاملReasoning on Schemata of Formulæ
Mnacho Echenim, Nicolas Peltier. Reasoning on Schemata of Formulæ. Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge. AISC 2012 Artificial Intelligence and Symbolic Computation (Part of CICM 2012), Jul 2012, Bremen, Germany. Springer, 7362, pp.310-325, 2012, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-31374-5 21>. <hal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Optics Express
سال: 2010
ISSN: 1094-4087
DOI: 10.1364/oe.18.006613