March 2010 Archives by date
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] Existence of algebraic closures of fields
Wesley Calvert
- [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] hilbert's proof
Robert Knighten
- [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] question about intuitionistic set theory
Thomas Forster
- [FOM] question about intuitionistic set theory corr. to my prev
Thomas Forster
- [FOM] Hilbert's proof
Alasdair Urquhart
- [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] 399: New Free Reduction Theory 2
Harvey Friedman
- [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] strong hypotheses and the theory of N
Monroe Eskew
- [FOM] 400: New Free Reduction Theory 3
Harvey Friedman
- [FOM] Animated Proofs
Jon Awbrey
- [FOM] strong hypotheses and the theory of N
Harvey Friedman
- [FOM] strong hypotheses and the theory of N
Aatu Koskensilta
- [FOM] New York Grad Student Logic Conference, May 7 - 8, 2010
Hamkins, Joel
- [FOM] 401: New Free Reduction Theory 4
Harvey Friedman
- [FOM] Hilbert's proof
Stephen G Simpson
- [FOM] strong hypotheses and the theory of N
joeshipman at aol.com
- [FOM] Funding Opporunity
Harvey Friedman
- [FOM] Centenary of Principia Mathematica
Irving
- [FOM] Hilbert's proof
Timothy Y. Chow
- [FOM] strong hypotheses and the theory of N
rgheck
- [FOM] strong hypotheses and the theory of N
Aatu Koskensilta
- [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] 402: New Free Reduction Theory 5
Harvey Friedman
- [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] Relevance of reverse mathematics to constructivity
William Tait
- [FOM] 403: Set Equation Tower Theory 1
Harvey Friedman
- [FOM] SET THEORY, CLASSICAL AND CONSTRUCTIVE: second announcement
Jaap van Oosten
- [FOM] Animated Proofs : Praeclarum Theorema
Jon Awbrey
- [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] Relevance of reverse mathematics to constructivity
Vasco Brattka
- [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] 404: Set Equation Tower Theory 2
Harvey Friedman
- [FOM] 405: Some Countable Model Theory 1
Harvey Friedman
- [FOM] Relevance of reverse mathematics to constructivity
William Tait
- [FOM] 406: Set Equation Tower Theory 3
Harvey Friedman
- [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
Richard Heck
- [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] Strong Hypotheses and the Theory of N
rgheck
- Re: [FOM] Did Gödel's result come as a surprise to Bertrand Russell?
Charles Silver
- [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] Did G?del's result come as a surprise to Bertrand Russell?
joeshipman at aol.com
- [FOM] Post-Doctoral Position in Helsinki
Juliette Kennedy
- Re: [FOM] Did Gödel's result come as a surprise to Bertrand Russell?
Thomas Forster
- [FOM] The Reasoner 4(4) available for download
Jon Williamson
- [FOM] 407: Kernel Tower Theory 1
Harvey Friedman
- [FOM] Did G?del's result come as a surprise to Bertrand Russell?
Alasdair Urquhart
- [FOM] Did G?del's result come as a surprise to Bertrand Russell?
Charles Silver
- [FOM] Did G?del's result come as a surprise to Bertrand Russell?
hdeutsch at ilstu.edu
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).