Diagonal lemma - PDFSEARCH.IO - Document Search Engine

Diagonal lemma
Results: 8

#	Item
1	BROWN’S LEMMA IN SECOND-ORDER ARITHMETIC EMANUELE FRITTAION Abstract. We show that Brown’s lemma is equivalent to IΣ02 over RCA∗0 . We also show that (the infinite) van der Waerden’s theorem is equivalent to BΣ Add to Reading List Source URL: www.math.tohoku.ac.jp Language: English - Date: 2016-02-20 21:08:30 Mathematics Ergodic theory Ramsey theory Semigroup theory Lemmas Combinatorics Piecewise syndetic set Partition regularity Syndetic set Diagonal lemma IP set BanachAlaoglu theorem
2	Continuum Mech. Thermodyn:87–123 DOIs00161O R I G I NA L A RT I C L E Yury Grabovsky · Vladislav A. Kucher · Lev Truskinovsky Add to Reading List Source URL: hera.polytechnique.fr Language: English - Date: 2011-05-26 06:14:41 Differential geometry of surfaces Mathematics Diagonal lemma Polar coordinate system Integral calculus Calculus of variations Integration by substitution
3	This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2013-06-28 11:56:13 Diagonal lemma Peano axioms Function Well-formed formula Symbol Constructible universe Non-standard model of arithmetic Interpretation Mathematics Logic Mathematical logic
4	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS AND CARTESIAN CLOSED CATEGORIES F. WILLIAM LAWVERE Add to Reading List Source URL: emis.library.cornell.edu Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra
5	Painless Unsupervised Learning with Features Taylor Berg-Kirkpatrick Alexandre Bouchard-Cˆot´e John DeNero Dan Klein Computer Science Division University of California at Berkeley Berkeley, CA 94720 Add to Reading List Source URL: www.stat.ubc.ca Language: English - Date: 2011-11-06 12:06:29 Logic Linear temporal logic Diagonal lemma Constructible universe Mathematical logic Mathematics
6	Probability in the Engineering and Informational Sciences, 25, 2011, 171–185. doi:[removed]S0269964810000331 Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2011-04-01 00:21:28 Functional analysis Function Sheaf Diagonal lemma Linear temporal logic Mathematics Mathematical analysis Distribution
7	SIGN–PATTERNS WHICH REQUIRE A POSITIVE EIGENVALUE (Linear and Multilinear Algebra, 41(3) : [removed], [removed]This version contains the proof of Lemma 5.1) S. J. Kirkland Add to Reading List Source URL: www.math.wsu.edu Language: English - Date: 2001-08-08 12:00:59 Matrix theory Matrices Singular value decomposition Perron–Frobenius theorem Signed graph Eigenvalues and eigenvectors Symmetric matrix Metric signature Diagonal matrix Algebra Linear algebra Mathematics
8	Reprints in Theory and Applications of Categories, No. 15, 2006, pp. 1–13. DIAGONAL ARGUMENTS Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2006-02-24 14:27:12 Functors Sheaf theory Adjoint functors Cartesian closed category Topos Exponential object Hom functor Yoneda lemma Diagonal functor Category theory Mathematics Abstract algebra