March 2010 Archives by thread
Starting: Mon Mar 1 11:13:28 EDT 2010
Ending: Wed Mar 31 19:14:52 EDT 2010
Messages: 95
- [FOM] LPAR-16 Short Papers - CFP
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Existence of algebraic closures of fields
Wesley Calvert
- [FOM] BEST 2010 - Second Announcement
Andres Caicedo
- [FOM] AMS Special Session on ''Interactions Between Logic, Topology, and Complex Analysis"
Professor Matt Insall
- [FOM] Existence of algebraic closures of fields
William Boshuck
- [FOM] Existence of algebraic closures of fields
jbell at uwo.ca
- [FOM] Infinity-2010: Call for papers (Submission deadline extended)
Infinity2010
- [FOM] 394: Free Reduction Theory 1
Harvey Friedman
- [FOM] [CiE] Newsletter No.29, March 2, 2010
CiE
- [FOM] (CFP) LRR10: LOGIC, REASONING AND RATIONALITY
Albrecht Heeffer
- [FOM] The Foundations of Logic and Apprehension
Steven Ericsson-Zenith
- [FOM] hilbert's proof
addamo at wp.pl
- [FOM] Existence of algebraic closures of fields
Dave Marker
- [FOM] 395 Free Reduction Theory 2
Harvey Friedman
- [FOM] 396: Free Reduction Theory 3
Harvey Friedman
- [FOM] question about intuitionistic set theory
jbell at uwo.ca
- [FOM] 397: Free Reduction Theory 4
Harvey Friedman
- [FOM] Questions about a restricted ZF
Paul Budnik
- [FOM] 2011 Congress of Logic, Methodology, and Philosophy of Science
Andreas Blass
- [FOM] [CiE] Funding opportunity - Foundational Questions in the Mathematical Sciences
S Barry Cooper
- [FOM] Hilbert's proof
Colin McLarty
- [FOM] hilbert's proof
josef at us.es
- [FOM] 398: New Free Reduction Theory 1
Harvey Friedman
- [FOM] Automatheo 2010 at FLoC: Call for Papers, Talks, and System Demonstrations
Lucas Dixon
- [FOM] LPAR-17 in Indonesia - Calls for Papers and Workshop Proposals
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] query about Peter Koellner's thesis "The Search for New Axioms"
Rupert McCallum
- [FOM] CFP: LfSA'10 - Logics for System Analysis
Andre Platzer
- [FOM] Asian Initiative for Infinity Graduate Summer School in Logic: 28 June--23 July 2010, National University of Singapore
Chi Tat Chong
- [FOM] strong hypotheses and the theory of N
Monroe Eskew
- [FOM] Animated Proofs
Jon Awbrey
- [FOM] New York Grad Student Logic Conference, May 7 - 8, 2010
Hamkins, Joel
- [FOM] Funding Opporunity
Harvey Friedman
- [FOM] Centenary of Principia Mathematica
Irving
- [FOM] Hilbert's proof
Timothy Y. Chow
- [FOM] counterexamples to the computable Bolzano-Weierstrass theorem
Alberto Marcone
- [FOM] strong hypotheses and the theory of N
Ali Enayat
- [FOM] [CiE] FP7 Marie Curie Individual Fellowship calls open for applications
CiE
- [FOM] [CiE] CiE 2010 - Call for Participation and Informal Presentations
CiE
- [FOM] Extension of Deadline & Grant Information: "Conference on Mathematical Logic and Set Theory", Chennai (India), 15-17 August 2010
Benedikt Loewe
- [FOM] Strong Hypotheses and the Theory of N
joeshipman at aol.com
- [FOM] Relevance of reverse mathematics to constructivity
Carl Mummert
- [FOM] CFP: DML 2010--Towards a Digital Mathematics Library, Paris, FR, Jul 7-8th
by way of Martin Davis <martin at eipye.com>
- [FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE: second announcement
Jaap van Oosten
- [FOM] strong hypotheses and the theory of N
Ali Enayat
- [FOM] CSL 2010 - 2nd Call for Papers
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Connection Set Theory
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Relevance of reverse mathematics to constructivity
Daniel Méhkeri
- [FOM] ADDENDUM TO MEETING ANNOUNCEMENT
Juliette Kennedy
- [FOM] query about Peter Koellner's thesis
Rupert McCallum
- [FOM] Strong Hypotheses and the Theory of N
Robert Solovay
- [FOM] "Connection set theory"
Randall Holmes
- [FOM] Call for Papers: 20th WADT (Workshop on Algebraic Development Techniques)
Till Mossakowski
- [FOM] Did Gödel's result come as a surprise to Bertrand Russell?
Rupert McCallum
- [FOM] Strong Hypotheses and the Theory of N
Robert Solovay
- [FOM] Relevance of reverse mathematics to constructivity
Daniel Méhkeri
- [FOM] CFP: From cognitive science and psychology to an empirically-informed philosophy of logic
catarina dutilh
- [FOM] HyLo 2010: Deadline extended till April 7
Thomas Bolander
- [FOM] Did G?del's result come as a surprise to Bertrand Russell?
Irving
- [FOM] PLMMS 2010: Call for Demos
Lucas Dixon
- [FOM] Developments in Computational Models 2010 - EXTENDED DEADLINE!
S Barry Cooper
- [FOM] Post-Doctoral Position in Helsinki
Juliette Kennedy
- [FOM] The Reasoner 4(4) available for download
Jon Williamson
Last message date:
Wed Mar 31 19:14:52 EDT 2010
Archived on: Thu Apr 1 18:31:33 EDT 2010
This archive was generated by
Pipermail 0.09 (Mailman edition).