Artem Chernikov's Top Recommendations

These recommendations were last updated 46 minutes ago.

	Efficiently Simulating Higher-Order Arithmetic by a First-Order Theory Modulo [My Copy] (10 May 2008) by Guillaume Burel posted by 2 people jrw dmitri83
	Lecture notes on C-algebras, Hilbert C-modules, and quantum mechanics [My Copy] (24 Jul 1998) by N. P. Landsman posted by 4 people jrw mnev dmitri83 kevina
	On the Geometry of Intuitionistic S4 Proofs [My Copy] No. LSV-01-8. (2001) by J. Goubault-Larrecq, E. Goubault posted by 3 people jrw kozima dmitri83
	Quantum Logic in Intuitionistic Perspective [My Copy] (22 Apr 2002) by Bob Coecke posted by 2 people jrw dmitri83
	On Polynomial Time Computable Numbers [My Copy] (16 Aug 2006) by Tetsushi Matsui posted by 5 people ansobol jrw proportional dmitri83 eporreca
	Epistemic actions as resources [My Copy] (7 Aug 2006) by Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh posted by 6 people pirapira leemond31 jrw greg_restall dmitri83 Scis0000002
	Computational Comonads and Intensional Semantics [My Copy] In Applications of Categories in Computer Science: Proceedings LMS Symp., Durham, {UK}, 20--30 July 1991, Vol. 177 (1992), pp. 1-44. by Stephen Brookes, Shai Geva edited by M. P. Fourman, P. T. Johnstone, A. M. Pitts posted by 8 people dherman jrw zednenem msakai dmitri83 EdwardKmett meiersi NU-PRL
	Ricci Flow and the Poincare Conjecture [My Copy] (25 Jul 2006) by John W. Morgan, Gang Tian posted by 6 people ansobol pdlug jrw mnev dmitri83 sleepinghead
	Responses to “Theoretical Mathematics: Toward a cultural synthesis of mathematics and theoretical physics”, by A. Jaffe and F. Quinn [My Copy] (1 Apr 1994) by Michael Atiyah, Armand Borel, G. J. Chaitin, et al.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 by 3 people jrw dmitri83 NitinCR
	Perspectives on geometric analysis [My Copy] (16 Feb 2006) by Shing-Tung Yau posted by 7 people ansobol jrw mumrah eibin mnev dmitri83 NoncommutativeGeometry
	Classical physics and the Church--Turing Thesis [My Copy] J. ACM, Vol. 50, No. 1. (January 2003), pp. 100-105. by Andrew C. Yao posted by 13 people ansobol jrw BarrosH djhda estrabd arnia dmitri83 gane5h camu huangxl cogent_computing Crypto Randomness
	Efficient decomposition of quantum gates [My Copy] (15 Apr 2004) by Juha J. Vartiainen, Mikko Mottonen, Martti M. Salomaa posted by 2 people jrw dmitri83
	A categorical semantics of quantum protocols [My Copy] (30 Apr 2004) by Samson Abramsky, Bob Coecke posted by 7 people christiankissig pqnelson jrw greg_restall dmitri83 scis0000001 eswar_physics
	A Monadic Categorical Semantics for Threads [My Copy] by Jonathan Sobel, Steven E. Ganz, Daniel P. Friedman, Mitchell Wand posted by 11 people puzza dalev jrw zednenem bfraser dmitri83 EdwardKmett jsala neuralwarp NU-PRL ps_ttf
	Higher Operads, Higher Categories [My Copy] (2 May 2003) by Tom Leinster posted by 7 people robotact jrw wnoise dmitri83 scis0000001 mstone jedal
	Categorical Logic [My Copy] In Handbook of Logic in Computer Science, Volume 5: Algebraic and Logical Structures (2001) by Andrew M. Pitts edited by S. Abramsky, D. M. Gabbay, T. S. E. Maibaum posted by 23 people ama08r jorisslob dalev jrw tautologico zednenem wasi schaal dmitri83 ryanc scis0000001 aleks kaqui keigoi xiemaisi glaubersp janschaefer NU-PRL Compilers AS-IIS_ReadingGroup TU-KL-SoftwareTechnologyGroup mmarcus ps_ttf
	The logic of entanglement [My Copy] (2 March 2004) by Bob Coecke posted by 7 people A_Olympia jrw greg_restall dmitri83 Philosophy_of_Information Blog_and_Wiki_Research eswar_physics
	A geometric approach to quantum circuit lower bounds [My Copy] (11 February 2005) by Michael A. Nielsen posted by 3 people troy jrw dmitri83
	Lascar and Morley ranks differ in differentially closed fields [My Copy] (30 Sep 1998) by Ehud Hrushovski, Thomas Scanlon posted by 1 person dmitri83
	A Topology for Galois Types in AECs [My Copy] (19 Jun 2009) by Michael Lieberman posted by 1 person dmitri83
	Simple groups of finite morley rank and Tits buildings [My Copy] Israel Journal of Mathematics, Vol. 109, No. 1. (27 December 1999), pp. 189-224. by Linus Kramer, Katrin Tent, Hendrik Van Maldeghem posted by 1 person dmitri83
	The Algebraic Theory of the Fundamental Germ [My Copy] (14 Jun 2005) by T. M. Gendron posted by 1 person dmitri83
	Constructible exponential functions, motivic Fourier transform and transfer principle [My Copy] (1 Dec 2005) by R. Cluckers, F. Loeser posted by 1 person dmitri83
	Endomorphisms of symbolic algebraic varieties [My Copy] Journal of the European Mathematical Society, Vol. 1, No. 2. (25 April 1999), pp. 109-197. by M. Gromov posted by 1 person dmitri83
	Introduction to: classification theory for abstract elementary class [My Copy] (20 Mar 2009) by Saharon Shelah posted by 1 person dmitri83
	Motivic Poisson summation [My Copy] (5 Feb 2009) by Ehud Hrushovski, David Kazhdan posted by 1 person dmitri83
	Integration in valued fields [My Copy] (28 Apr 2006) by Ehud Hrushovski, David Kazhdan posted by 1 person dmitri83
	How to use finite fields for problems concerning infinite fields [My Copy] (3 Mar 2009) by Jean-Pierre Serre posted by 6 people dmitri83 jleny jedal Pomm deepthought davidmbrownjr
	Stability and Bounded Balls of Free Products [My Copy] (21 Jan 2009) by Azadeh Neman posted by 1 person dmitri83
	Groups, measures, and the NIP [My Copy] (18 Jul 2006) by Ehud Hrushovski, Ya'acov Peterzil, Anand Pillay posted by 1 person dmitri83
	Groupoids, imaginaries and internal covers [My Copy] (16 Mar 2006) by Ehud Hrushovski posted by 1 person dmitri83
	Fibrations with noncommutative fibers [My Copy] (1 Oct 2008) by Siegfried Echterhoff, Ryszard Nest, Herve Oyono-Oyono posted by 1 person dmitri83
	A Simple Introduction to Particle Physics [My Copy] (18 Oct 2008) by M. Robinson, K. Bland, G. Cleaver, J. Dittmann posted by 8 people navins janpaniev NitinCR pawelsobko pqnelson shanki dmitri83 melvineloy
	On the notion of geometry over $\F_1$ [My Copy] (22 Feb 2009) by Alain Connes, Caterina Consani posted by 3 people corneliuhoffman dmitri83 deepthought
	What is Motivic Measure? [My Copy] (6 May 2005) by Thomas C. Hales posted by 1 person dmitri83
	Noncommutative geometry and dual coalgebras [My Copy] (15 May 2008) by Lieven Le Bruyn posted by 2 people dmitri83 dbirmajer
	A note on clique-width and tree-width for structures [My Copy] (2 Jun 2008) by Hans Adler, Isolde Adler posted by 1 person dmitri83
	The modal logic of forcing [My Copy] (27 Sep 2005) by Joel D. Hamkins, Benedikt Loewe posted by 1 person dmitri83
	Canonical varieties with no canonical axiomatisation [My Copy] (2003) by I. Hodkinson, Y. Venema posted by 1 person dmitri83
	Revêtements étales et groupe fondamental (SGA 1) [My Copy] (4 Jan 2004) by Alexander Grothendieck, Michele Raynaud posted by 2 people dmitri83 larki
	Motivic measures [My Copy] (21 Oct 2000) by Eduard Looijenga posted by 1 person dmitri83
	Desingularizations of Schubert varieties in double Grassmannians [My Copy] (22 Aug 2006) by Evgeny Smirnov posted by 1 person dmitri83
	Conics, (q+1)-Arcs, Pencil Concept of Time and Psychopathology [My Copy] (2 Jan 2003) by Metod Saniga posted by 1 person dmitri83
	Zero-energy states in corrugated bilayer graphene [My Copy] (11 Feb 2008) by M. I. Katsnelson, M. F. Prokhorova posted by 1 person dmitri83
	Minimal types in super-dependent theories [My Copy] (1 Nov 2007) by Assaf Hasson, Alf Onshuus posted by 1 person dmitri83
	On generically stable types in dependent theories [My Copy] (3 Sep 2007) by Alexander Usvyatsov posted by 1 person dmitri83
	Introduction to the language of stacks and gerbes [My Copy] (19 Dec 2002) by Ieke Moerdijk posted by 2 people mnev dmitri83
	Why the Standard Model [My Copy] (25 Jun 2007) by Ali H. Chamseddine, Alain Connes posted by 4 people melvineloy ansobol zeze dmitri83
	The notion of dimension in geometry and algebra [My Copy] (1 Feb 2005) by Yuri I. Manin posted by 3 people dmitri83 scis0000001 tarampam
	Model theory and Kaehler geometry [My Copy] (15 Feb 2007) by Rahim Moosa, Anand Pillay posted by 2 people dmitri83 Scis0000002
	Model theory without choice: Categoricity [My Copy] (24 Feb 2007) by Saharon Shelah posted by 1 person dmitri83
	Proof Nets and the Identity of Proofs [My Copy] (20 Nov 2006) by Lutz Strassburger posted by 2 people dmitri83 Scis0000002
	An automata theoretic decision procedure for the propositional mu-calculus [My Copy] Inf. Comput., Vol. 81, No. 3. (June 1989), pp. 249-264. by Robert S. Streett, Allen E. Emerson posted by 2 people sgwyj dmitri83
	Ultratopologies [My Copy] MLQ, Vol. 50, No. 6. (2004), pp. 603-612. by Gábor Sági, János Gerlits posted by 1 person dmitri83
	The uncountable spectra of countable theories [My Copy] (1 Jul 2000) by Bradd Hart, Ehud Hrushovski, Michael C. Laskowski posted by 1 person dmitri83
	Hamilton-Perelman's Proof of the Poincaré Conjecture and the Geometrization Conjecture [My Copy] (3 Dec 2006) by Huai-Dong Cao, Xi-Ping Zhu posted by 2 people proportional dmitri83
	Toward classifying unstable theories [My Copy] (15 Aug 1995) by Saharon Shelah posted by 1 person dmitri83
	Can you feel the double jump? [My Copy] (15 Jan 1994) by Saharon Shelah, Joel Spencer posted by 2 people dmitri83 artur
	New results on rewrite-based satisfiability procedures [My Copy] (22 Nov 2006) by Alessandro Armando, Maria P. Bonacina, Silvio Ranise, Stephan Schulz posted by 1 person dmitri83
	Line Bundles over Quantum Tori [My Copy] (7 Dec 2006) by Lawrence Taylor posted by 1 person dmitri83
	Disjunctive Tautologies as Synchronisation Schemes [My Copy] In CSL (2000), pp. 292-301. by Vincent Danos, Jean L. Krivine posted by 1 person dmitri83
	Constraint Databases: A Survey [My Copy] In Semantics in Databases (1995), pp. 209-246. by Peter Z. Revesz posted by 1 person dmitri83
	Embedded Finite Models, Stability Theory and the Impact of Order [My Copy] In Logic in Computer Science (1998), pp. 490-500. by John T. Baldwin, Michael Benedikt posted by 1 person dmitri83
	On-line topological simplification of weighted graphs [My Copy] (23 Aug 2006) by Floris Geerts, Peter Revesz, Jan Van den Bussche posted by 1 person dmitri83
	Linear Abadi and Plotkin Logic [My Copy] (4 Nov 2006) by Lars Birkedal, Rasmus E. Møgelberg, Rasmus posted by 1 person dmitri83
	Expressiveness of Metric modalities for continuous time [My Copy] (22 Nov 2006) by Yoram Hirshfeld, Alexander Rabinovich posted by 2 people dmitri83 scis0000001
	Nice enumerations of omega-categorical groups [My Copy] (16 Nov 2006) by A. Ivanov, K. Majcher posted by 1 person dmitri83
	A Survey Of Cohomological Physics [My Copy] by Jim Stasheff posted by 1 person dmitri83
	The work of Vladimir Voevodsky [My Copy] (1 Dec 2002) by Christophe Soulé posted by 1 person dmitri83
	Formalising Sylow's theorems in Coq [My Copy] (14 Nov 2006) by Laurent Thery posted by 2 people proportional dmitri83
	On fields and colours [My Copy] (16 May 2006) by Andreas Baudisch, Amador Martin-Pizarro, Martin Ziegler posted by 1 person dmitri83
	Discrete path integral approach to the trace formula for regular graphs [My Copy] (9 Sep 2006) by Pavel Mnev posted by 1 person dmitri83
	Strongly Minimal Sets and Geometry [My Copy] by David Marker posted by 1 person dmitri83
	Some Model Theory of Compact Complex Spaces [My Copy] In Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry, AMS, 2000 (2000) by Pillay edited by Denef, Lipshitz, Pheidas, Van Geel posted by 1 person dmitri83
	Mordell-Lang plus Bogomolov [My Copy] (1999) by B. Poonen posted by 1 person dmitri83
	The Manin-Mumford Conjecture: A Brief Survey [My Copy] by Pavlos Tzermias posted by 1 person dmitri83
	Perelman's proof of the Poincaré conjecture: a nonlinear PDE perspective [My Copy] (29 Oct 2006) by Terence Tao posted by 5 people ansobol proportional TooMuchCoffeeMan dmitri83 gane5h
	On topological properties of ultraproducts of finite sets [My Copy] (7 Apr 2004) by Gabor Sagi, Saharon Shelah posted by 1 person dmitri83
	Monotonic Modal Logics [My Copy] by Helle H. Hansen posted by 2 people dmitri83 scis0000001
	On Hrushovski's proof of the Manin-Mumford conjecture [My Copy] (1 Dec 2002) by Richard Pink, Damian Roessler posted by 1 person dmitri83
	Automatic continuity of homomorphisms and fixed points on metric compacta [My Copy] (26 Apr 2006) by Christian Rosendal, Slawomir Solecki posted by 1 person dmitri83
	Countable structure does not have a free uncountable automorphism group [My Copy] (30 Oct 2000) by Saharon Shelah posted by 1 person dmitri83
	A Theory of Hyperfinite Sets [My Copy] Annals of Pure and Applied Logic In International Meeting on Logic, Algebra and Geometry, Vol. 143, No. 1-3. (November 2006), pp. 3-19. by P. V. Andreev, E. I. Gordon posted by 1 person dmitri83
	Some isometry groups of the Urysohn space [My Copy] Annals of Pure and Applied Logic In International Meeting on Logic, Algebra and Geometry, Vol. 143, No. 1-3. (November 2006), pp. 70-78. by P. J. Cameron, A. M. Vershik posted by 1 person dmitri83
	The metamathematics of random graphs [My Copy] Annals of Pure and Applied Logic In International Meeting on Logic, Algebra and Geometry, Vol. 143, No. 1-3. (November 2006), pp. 20-28. by John T. Baldwin posted by 3 people dmitri83 scis0000001 flavian_vasile
	Haskell server pages - functional programming and the battle for the middle tier [My Copy] (2001) by E. Meijer, D. van Velzen posted by 1 person dmitri83
	The prospects for mathematical logic in the twenty-first century [My Copy] (3 May 2002) by Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore posted by 1 person dmitri83
	Third order matching is decidable [My Copy] Logic in Computer Science, 1992. LICS '92., Proceedings of the Seventh Annual IEEE Symposium on (1992), pp. 2-10. by G. Dowek posted by 1 person dmitri83
	Higher-order matching and tree automata [My Copy] In Proc.\ 11th Int.\ Workshop Computer Science Logic (CSL'97), Aarhus, Denmark, Aug.\ 1997, Vol. 1414 (1998), pp. 157-176. by Hubert Comon, Yan Jurski posted by 3 people dmitri83 shenshei Scis0000002
	Complexity of the higher order matching [My Copy] In Conference on Automated Deduction (1999), pp. 82-96. by Tomasz Wierzbicki posted by 2 people dmitri83 Scis0000002
	What is Boolean Valued Analysis? [My Copy] (6 Oct 2006) by S. S. Kutateladze posted by 2 people ansobol dmitri83
	Homology of generalized partition posets [My Copy] (31 Aug 2006) by Bruno Vallette posted by 3 people dmitri83 AbnerCYH CSBBGraphTheory
	A Logic for Coalgebraic Simulation [My Copy] Electronic Notes in Theoretical Computer Science In CMCS'2000, Coalgebraic Methods in Computer Science, Vol. 33 (2000), pp. 42-60. by Alexandru Baltag posted by 2 people christiankissig dmitri83
	A Coalgebraic Semantics for Epistemic Programs [My Copy] Electronic Notes in Theoretical Computer Science In CMCS'03, Coalgebraic Methods in Computer Science (Satellite Event for ETAPS 2003), Vol. 82, No. 1. (July 2003), pp. 1-22. by Alexandru Baltag posted by 1 person dmitri83
	The logic of public announcements, common knowledge, and private suspicions [My Copy] In TARK '98: Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge (1998), pp. 43-56. by Alexandru Baltag, Lawrence S. Moss, Slawomir Solecki posted by 1 person dmitri83
	Resolution Spaces: A Topological Approach to Similarity [My Copy] In DEXA '00: Proceedings of the 11th International Workshop on Database and Expert Systems Applications (2000) by K. Georgatos posted by 1 person dmitri83
	$My PDF arl&\#243;-costa_05_firstorder.pdf$ First-order classical modal logic: applications in logics of knowledge and probability [My Copy] In TARK '05: Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge (2005), pp. 262-278. by Horacio Arl&\#243;-Costa, Eric Pacuit posted by 1 person dmitri83
	Tangent bundle and Gauss functor of a combinatorial manifold [My Copy] (10 Sep 2006) by Nikolai Mnev posted by 1 person dmitri83
	Quantum Circuits for General Multiqubit Gates [My Copy] (29 Oct 2004) by Mikko Mottonen, Juha J. Vartiainen, Ville Bergholm, Martti M. Salomaa posted by 1 person dmitri83
	Lecture Notes on Evasiveness of Graph Properties [My Copy] (18 May 2002) by Laszlo Lovasz, Neal E. Young posted by 1 person dmitri83