Search

29 Mar 2011: affordsus no variables (as it might be ‘F’ and ‘G’) to range over the second orderobjects captured by the branching quantifiers which would enable us to say‘F = G’. ... 8). Let us instantiate ‘u’ for the lower-case variables in (8)

29 Jan 2010: The vectors {ug | g G} span Sp over k, since φ is a generator forIndGB δ. ... We work in the category MQ Q of Chow motives over Qwith coefficients in Q.

19 Dec 2014: A filter F over κ is normal if for every {Xα F : α < κ}, the diagonal. ... ii) Prove Ulam’s theorem: there is no κ+ -saturated κ+ -complete ideal over κ+.

29 Jan 2010: groups:. Conjecture B. Let E be a motive over Z. Then. ... d′i = d. ′. By the above,. each B′i is a motive over Z, so is a submotive of the universal extension B†i.

13 Aug 2009: S aSa. S bSb. Sε. generates the language of palindromes over the alphabet Σ = {a, b}. ... Examples here are 'swim', 'walk', 'cat' and 'dog'. Notice that there is a grammar that generates the language of palindromes over Σ = {a, b} even though this

13 Aug 2009: The thought-experiment swiftly persuades us that the set of palindromes over an alphabet Σ is not regular (unless Σ contains only one character of course!). ... Let L be the language of palindromes over {a, b}. It isn't regular, but there is no obvious

13 Aug 2009: 3.0.1 Exercises. Provide a context-free grammar for regular expressions over the alphabet {a, b}.

13 Aug 2009: The language {aa, ab, ba, bb} is the language of two-letter words over Σ. ... for characters in alphabets;. We tend to use lower-case letters from near the end of the alphabet - like 'u', 'v' and 'w'- for variables to range over strings;.

6 Mar 2023: of punctured curves and pre-stable or stable punctured log maps f : C/W X orf : C/W X defined over B. ... stacks. We remind the reader that allproducts in this square are taken over B.

16 Jul 2014: Mark Gross Mirror symmetry and the SYZ conjecture. In this case, the SYZ fibration over B has a singular fibre over thesingular point of B, a pinched torus, and the total ... space of thefibration over B has two holomorphic disks, one as depicted:.