Search
Search Funnelback University
- Refined by:
- Date: 2008
41 -
52 of
52
search results for `B B such` |u:www.dpmms.cam.ac.uk
Fully-matching results
-
Variations on Realizability: Realizing the Propositional Axiom of…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/vor02.pdf13 Aug 2008: logical operations.Such subcollections arise naturally when the PCA (A, ) has some additionalstructure respected by application. ... An extensional assembly is an object (X, | = |) of the topos S[PER] such that. -
Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hp02.pdf29 Sep 2008: 2-natural in C such that the diagram. [C,D]kB- [[B,C], [B,D]]. kA- [[A, [B,C]], [A, [B,D]]]. ... Note that what wecall pseudo-maps [3] call morphisms.) We write f = (f, f̄) : A B for such apseudo-map, the 2-cell usually being understood. -
Lent Term 2008 M. Strauch Number Fields: Example Sheet ...
https://www.dpmms.cam.ac.uk/study/II/NumberFields/2007-2008/course_L08_ex1.pdf20 Jan 2008: b) Let N Zn be a submodule of rank n. Show that there is a matrix A Mn(Z) such thatA(Zn) = N and the index [Zn : N] of N in ... 8) An integral domain R is called a euclidian domain if there is a map N : R{0} Z>0 such thatfor all a,b R, b 6= 0, there are -
Mich. 2008 NUMBERS AND SETS — EXAMPLES 4 PTJ ...
https://www.dpmms.cam.ac.uk/study/IA/Numbers%2BSets/2008-2009/N+S4.pdf2 Dec 2008: Does there exist such a bijection f which isorder-preserving (that is, satisfies f(x) < f(y) whenever x < y)? ... Let S be a collection of subsets of N such that for every A, B S we have eitherA B or B A. -
Term Assignment for Intuitionistic Linear Logic�(Preliminary…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdph92.pdf27 Aug 2008: Wecan dene a procedure called normalisation which can systematically eliminate such de-tours from a deduction. ... Much work has been done on providing such (categorical) models ofIntuitionistic Linear Logic. -
Term Assignment for Intuitionistic Linear Logic�(Preliminary…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/bbdph92.pdf27 Aug 2008: Wecan dene a procedure called normalisation which can systematically eliminate such de-tours from a deduction. ... Much work has been done on providing such (categorical) models ofIntuitionistic Linear Logic. -
Proof Theory in the Abstract J. M. E. Hyland ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/pta02.pdf13 Aug 2008: Thus concretely maps A B of Dial(I) consist of maps f : I U V andF : I U Y X in T such that α(i,u,F(i,u,y)) ... or equivalently. (f,F) : (U X•) V U• Y •. such that an entailment which I write. ( -
Lent Term 2008 Matthias Strauch Number Fields: Example Sheet ...
https://www.dpmms.cam.ac.uk/study/II/NumberFields/2007-2008/course_L08_ex2.pdf20 Feb 2008: Assume there is θ OK such that 1, θ,. , θn1 is anintegral basis of OK. ... dK| (. nn. n! )2 ( π4. )n. Deduce that |dK| > 1 for every number field K 6= Q.(b) Show that there are constants A > 1, c > 1, such that for every -
Michaelmas Term 2008 T.A. Fisher Linear Algebra: Non-degenerate…
https://www.dpmms.cam.ac.uk/study/IB/LinearAlgebra/2008-2009/bilinear-08.pdf28 Nov 2008: Then there exists a basis B for V such that. [ψ]B =. . 0 11 0 0. 0 11 0 0. 0 0 1. ... For each α End(V ) there exists a unique α End(V ) such that. -
Machines and Their Languages G51MAL Dick Crouch Semester 2, ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/crouchnotes.pdf13 May 2008: A language L over vocabulary W is a set of strings, such that L W. ... input. A string is rejected only if there is no such sequence. -
2007 lectures on Set Theory Thomas Forster February 5, ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiii2004.pdf5 Feb 2008: For each sentence xφ(x) true in M pick the first such x. ... 3. There is a formula σ(x) Σ such that (σ(cm)) Tm1. -
Michaelmas Term 2008 T.A. Fisher Linear Algebra: Example Sheet ...
https://www.dpmms.cam.ac.uk/study/IB/LinearAlgebra/2008-2009/lin_alg-08-1.pdf16 Oct 2008: We say A, B Matm,n(F ) are equivalentif there exist invertible matrices P and Q such that B = Q1AP. ... s} such that, if we delete each yij from Y and replace it by xj , theresulting set is still linearly independent.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.