Registrera dig | Logga in | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dmitri83s library [203 articles]

Senaste artiklarna i dmitri83s bibliotek.
  • A note on clique-width and tree-width for structures
    (2 Jun 2008)
    by Hans Adler, Isolde Adler
    posted to tcs graphs by dmitri83 on 2008-06-03 10:15:29 as **
  • Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo
    (10 May 2008)
    by Guillaume Burel
    posted to proof-theory acquaintances by dmitri83 on 2008-05-13 13:33:29 as ** along with 1 person jrw
  • Why the Standard Model
    (25 Jun 2007)
    by Ali H Chamseddine, Alain Connes
    posted to physics geometry by dmitri83 on 2008-04-27 23:19:53 as ** along with 2 people ansobol zeze
  • Responses to “Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics”, by A. Jaffe and F. Quinn
    (1 Apr 1994)
    by Michael Atiyah, Armand Borel, GJ Chaitin, Daniel Friedan, James Glimm, Jeremy J Gray, Morris W Hirsch, Saunder Maclane, Benoit B Mandelbrot, David Ruelle, Albert Schwarz, Karen Uhlenbeck, René Thom, Edward Witten, Christopher Zeeman
    posted to general-culture by dmitri83 on 2008-04-07 05:00:21 as ** along with 1 person NitinCR
  • The modal logic of forcing
    (27 Sep 2005)
    by Joel D Hamkins, Benedikt Loewe
    posted to modal-logic by dmitri83 on 2008-03-12 15:17:45 as **
  • Canonical varieties with no canonical axiomatisation
    (2003)
    by I Hodkinson, Y Venema
    posted to modal-logic by dmitri83 on 2008-03-12 15:16:49 as **
  • Symmetric Boolean Algebras
    (5 Dec 2006)
    by Rafael Diaz, Mariolys Rivas
    posted to combinatorics by dmitri83 on 2008-03-10 15:46:31 as **
  • Motivic measures
    (21 Oct 2000)
    by Eduard Looijenga
    posted to algebraic-geometry survey by dmitri83 on 2008-03-09 15:35:09 as **
  • Desingularizations of Schubert varieties in double Grassmannians
    (22 Aug 2006)
    by Evgeny Smirnov
    posted to acquaintances algebraic-geometry representation-theory by dmitri83 on 2008-02-27 14:18:33 as **
  • Conics, (q+1)-Arcs, Pencil Concept of Time and Psychopathology
    (2 Jan 2003)
    by Metod Saniga
    posted to algebraic-geometry fun by dmitri83 on 2008-02-16 16:17:48 as **
  • Zero-energy states in corrugated bilayer graphene
    (11 Feb 2008)
    by MI Katsnelson, MF Prokhorova
    posted to acquaintances physics topology by dmitri83 on 2008-02-12 12:33:15 as **
  • A beginner's guide to forcing
    (9 Dec 2007)
    by Timothy Y Chow
    posted to set-theory by dmitri83 on 2007-12-29 03:19:01 as ** along with 4 people and 1 group ansobol archernikov jedal teesid Model theory
  • The recent history of model theory
    by Enrique Casanovas
    posted to model-theory by dmitri83 on 2007-12-29 03:14:34 as *** along with 1 group Model theory
  • An introduction to theories without the independence property
    by Hans Adler
    posted to model-theory by dmitri83 on 2007-12-29 03:13:26 as *** along with 1 person and 1 group archernikov Model theory
  • Foundations for abstract forcing
    (12 Dec 2007)
    by Peter M Johnson
    posted to set-theory by dmitri83 on 2007-12-29 03:11:23 as *** along with 1 person and 1 group archernikov Model theory
  • A Cheerful Introduction to Forcing and the Continuum Hypothesis
    (14 Dec 2007)
    by Kenny Easwaran
    posted to set-theory by dmitri83 on 2007-12-29 03:10:07 as read along with 2 people and 1 group proportional archernikov Model theory
  • An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
    (7 Nov 2007)
    by Pietro Abate, Rajeev Goré, Florian Widmann
    posted to modal-logic by dmitri83 on 2007-12-29 02:20:51 as **
  • Minimal types in super-dependent theories
    (1 Nov 2007)
    by Assaf Hasson, Alf Onshuus
    posted to model-theory by dmitri83 on 2007-11-02 12:41:03 as **
  • Explanation of Independence
    (24 Nov 2005)
    by Hans Adler
    posted to model-theory by dmitri83 on 2007-10-29 13:36:27 as *** along with 1 person archernikov
  • Introduction to the language of stacks and gerbes
    (19 Dec 2002)
    by Ieke Moerdijk
    posted to no-tag by dmitri83 on 2007-10-04 00:09:07 as *** along with 1 person mnev
  • You Could Invented Spectral sequences
    by TY Chow
    posted to algebraic-topology by dmitri83 on 2007-10-04 00:08:06 as *** along with 1 person mnev
  • On generically stable types in dependent theories
    (3 Sep 2007)
    by Alexander Usvyatsov
    posted to model-theory by dmitri83 on 2007-09-17 14:18:42 as ***
  • Lecture notes on model theory (including applications to motivic integration)
    by David Kazhdan
    posted to lecture-notes model-theory by dmitri83 on 2007-09-17 09:01:48 as **** along with 1 person and 1 group archernikov Model theory
  • Stable groups (lecture notes, Camerino MODNET summer school 2007)
    by Andreas Baudisch
    posted to lecture-notes model-theory by dmitri83 on 2007-09-17 09:01:36 as **** along with 1 person and 1 group archernikov Model theory
  • Introduction to o-minimality (lecture notes, Camerino MODNET summer school 2007)
    by Kobi Peterzil
    posted to lecture-notes model-theory by dmitri83 on 2007-09-17 09:01:03 as *** along with 1 person and 1 group archernikov Model theory
  • The Modal Logic of the Countable Random Frame
    by Valentin Goranko, Bruce Kapron
    posted to modal-logic by dmitri83 on 2007-09-17 08:59:32 as ** along with 1 person archernikov
  • Fundamentals of quantum information theory
    Vol. 369 (October 2002), pp. 431-548.
    by M Keyl
    posted to quantum-computation by dmitri83 on 2007-08-26 19:51:54 as ** along with 8 people ansobol nigini jrw itmeson balicea gane5h kevina divall
  • What is motivic measure?
    Bull. Amer. Math. Soc., Vol. 42 (2005), pp. 119-135.
    by Thomas C Hales
    posted to geometry by dmitri83 on 2007-07-15 19:10:18 as *** along with 1 person archernikov
  • Lecture notes on C*-algebras, Hilbert C*-modules, and quantum mechanics
    (24 Jul 1998)
    by NP Landsman
    posted to functional-anlysis geometry lecture-notes by dmitri83 on 2007-05-29 12:09:26 as ** along with 2 people mnev kevina
  • Forking and Multiplicity in First Order Theories(lecture notes)
    by John T Baldwin
    posted to lecture-notes by dmitri83 on 2007-05-26 21:06:06 as *** along with 1 person and 1 group archernikov Model theory
  • Model Theory lecture notes
    by Ehud Hrushovski
    posted to lecture-notes model-theory by dmitri83 on 2007-05-26 21:04:57 as *** along with 1 person and 1 group archernikov Model theory
  • Geometric Complexity Theory II: Towards explicit obstructions for embeddings among class varieties
    (25 Dec 2006)
    by Ketan D Mulmuley, Milind Sohoni
    posted to algebraic-geometry computational-complexity by dmitri83 on 2007-04-05 16:45:39 as ***
  • Elliptic curves and primality proving
    Mathematics of Computation, Vol. 61, No. 203. (1993), pp. 29-68.
    by AOL Atkin, F Morain
    posted to algebraic-geometry number-theory by dmitri83 on 2007-03-29 13:55:29 as ***
  • Model theory and Kaehler geometry
    (15 Feb 2007)
    by Rahim Moosa, Anand Pillay
    posted to geometry model-theory by dmitri83 on 2007-03-14 13:51:46 as *** along with 1 person Scis0000002
  • Model theory without choice: Categoricity
    (24 Feb 2007)
    by Saharon Shelah
    posted to model-theory by dmitri83 on 2007-03-14 13:48:05 as ****
  • Hamilton-Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture
    (3 Dec 2006)
    by Huai-Dong Cao, Xi-Ping Zhu
    posted to geometry by dmitri83 on 2007-03-01 17:14:33 as ** along with 1 person proportional
  • Proof Nets and the Identity of Proofs
    (20 Nov 2006)
    by Lutz Strassburger
    posted to proof-theory by dmitri83 on 2007-01-17 15:49:26 as * along with 1 person Scis0000002
  • An automata theoretic decision procedure for the propositional mu-calculus
    Inf. Comput., Vol. 81, No. 3. (June 1989), pp. 249-264.
    by Robert S Streett, Allen E Emerson
    posted to modal-logic by dmitri83 on 2007-01-17 13:48:15 as **
  • A recursive do for Haskell
    (2002)
    by L Erk, John
    posted to functional-programming by dmitri83 on 2007-01-15 21:39:37 as ** along with 2 people msakai glaubersp
  • Ultratopologies
    MLQ, Vol. 50, No. 6. (2004), pp. 603-612.
    by Gábor Sági, János Gerlits
    posted to hol model-theory by dmitri83 on 2006-12-24 22:43:48 as **
  • 1951 Lectures on Advanced Quantum Mechanics Second Edition
    (18 Aug 2006)
    by Freeman J Dyson
    posted to physics textbook by dmitri83 on 2006-12-13 16:50:48 as ** along with 12 people and 2 groups eyliu timpani ansobol jrw mankei wnoise mumrah proportional kriskrogh camu robertoalamino softsimu Crypto Randomness
  • Toward classifying unstable theories
    (15 Aug 1995)
    by Saharon Shelah
    posted to model-theory by dmitri83 on 2006-12-13 16:32:26 as ***
  • The uncountable spectra of countable theories
    (1 Jul 2000)
    by Bradd Hart, Ehud Hrushovski, Michael C Laskowski
    posted to model-theory by dmitri83 on 2006-12-13 16:31:33 as **
  • Can you feel the double jump?
    (15 Jan 1994)
    by Saharon Shelah, Joel Spencer
    posted to finite model-theory by dmitri83 on 2006-12-12 13:42:24 as ** along with 1 person artur
  • New results on rewrite-based satisfiability procedures
    (22 Nov 2006)
    by Alessandro Armando, Maria P Bonacina, Silvio Ranise, Stephan Schulz
    posted to acquaintances theorem-proving by dmitri83 on 2006-12-10 02:29:19 as **
  • Line Bundles over Quantum Tori
    (7 Dec 2006)
    by Lawrence Taylor
    posted to algebraic-geometry model-theory by dmitri83 on 2006-12-10 02:23:25 as **
  • Hurewicz sets of reals without perfect subsets
    (6 Dec 2006)
    by Dusan Repovs, Boaz Tsaban, Lyubomyr Zdomskyy
    posted to combinatorics topology by dmitri83 on 2006-12-10 02:17:14 as **
  • Disjunctive Tautologies as Synchronisation Schemes
    (2000), pp. 292-301.
    by Vincent Danos, Jean L Krivine
    posted to lambda-calculus proof-theory by dmitri83 on 2006-12-10 01:18:17 as read
  • Stability theory, permutations of indiscernibles, and embedded finite models
    Transactions of American Mathematical Society, Vol. 352 (July 2000), pp. 4937-4969.
    by J Baldwin, M Benedikt
    posted to finite model-theory by dmitri83 on 2006-12-06 11:37:44 as **** along with 1 person archernikov
  • Constraint Databases: A Survey
    (1995), pp. 209-246.
    by Peter Z Revesz
    posted to finite model-theory survey by dmitri83 on 2006-12-06 10:34:53 as **
    • Du kan hänvisa till den här sidan som: http://www.citeulike.org/user/dmitri83

    Result page: 1 2 3 4 5 Next RIS BibTeX
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.