November 2011 Archives by author
Starting: Thu Nov 3 07:13:28 EDT 2011
Ending: Wed Nov 30 21:31:22 EST 2011
Messages: 72
- [FOM] LPAR-18 workshops IWIL-2012 and APS-6 - Calls for Papers
Geoff Sutcliffe by way of Martin Davis <martin at eipye.com>
- [FOM] Generalization Axiom Scheme.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Generalization Axiom Scheme
Zuhair Abdul Ghafoor Al-Johar
- [FOM] A question about Ackermann's set theory.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Generalization Axiom Scheme
Zuhair Abdul Ghafoor Al-Johar
- [FOM] On the nature of Sets
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Generalization Axiom Scheme
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Generalization Axiom Scheme
Zuhair Abdul Ghafoor Al-Johar
- [FOM] IAS Univalent Foundations Program
Steve Awodey
- [FOM] MFPS First Call for Papers
Ulrich Berger
- [FOM] Is ZF interpretable in ZF minus extensionality plus X inaccessibles?
Frode Bjørdal
- [FOM] expressive power of natural languages
Robert Black
- [FOM] From Compactness to Completeness
Alex Blum
- [FOM] From Compactness to Completeness
Alex Blum
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Paul Budnik
- [FOM] closing thread on speeds exceeding speed of light
Martin Davis
- [FOM] Universe-sized groups with only set-sized normal subgroups
David Diamondstone
- [FOM] Banach Tarski Paradox/Line
David Diamondstone
- [FOM] Mini-Workshop "Maximalist and Minimalist Perspectives on Infinity" Seville, Spain, Nov. 7 & 8
José Ferreirós Domínguez
- [FOM] First order axiomatizability
François Dorais
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Tom Dunion
- [FOM] expressive power of natural languages
ARF (Richard L. Epstein)
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Steven Ericsson-Zenith
- [FOM] expressive power of natural languages
Monroe Eskew
- [FOM] Banach Tarski Paradox/Line
Christian Espindola
- [FOM] 469: Invariant Maximaility/Incompleteness
Harvey Friedman
- [FOM] 470: Invariant Maximal Square Theorem
Harvey Friedman
- [FOM] 471:Shift Invariant Maximal Squares/Incompleteness
Harvey Friedman
- [FOM] 472:Shift Invariant Maximal Squares/Incompleteness 2
Harvey Friedman
- [FOM] Banach Tarski Paradox/Line
K. P. Hart
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Richard Heck
- [FOM] expressive power of natural languages
Richard Heck
- [FOM] Variants of ACA
Jeff Hirst
- [FOM] Master in Pure and Applied Logic
Joost J. Joosten
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Kreinovich, Vladik
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Kreinovich, Vladik
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Kreinovich, Vladik
- [FOM] LICS 2012 - Final Call for Workshop Proposals
Kreutzer, Stephan
- [FOM] DICE 2012 - Second Call for Papers
Ugo Dal Lago
- [FOM] Funding Application Deadline for the Turing MAMLS
Robert Lubarsky
- [FOM] Grothendieck foundations: Zariski and coherent cohomology
Colin McLarty
- [FOM] Grothendieck foundations: Zariski and coherent cohomology
Colin McLarty
- [FOM] Banach Tarski Paradox/Line
George McNulty
- [FOM] WST 2012: First Call For Papers
Georg Moser
- [FOM] Universe-sized groups with only set-sized normal subgroups
David Roberts
- [FOM] A quotation from Fraenkel
David Roberts
- [FOM] Banach Tarski Paradox/Line
David Roberts
- [FOM] Grothendieck foundations: Zariski and coherent cohomology
David Roberts
- [FOM] SAT 2012: Call for Papers
Roberto Sebastiani
- [FOM] closing thread on speeds exceeding speed of light
Joe Shipman
- [FOM] Banach Tarski Paradox/Line
Joe Shipman
- [FOM] Croatian Logical Association
Sandro Skansi
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
Apostolos Syropoulos
- [FOM] Banach Tarski Paradox/Line
Alasdair Urquhart
- [FOM] fun with paradoxes
Alasdair Urquhart
- [FOM] CCA 2012, Call for Papers
Klaus Weihrauch
- [FOM] Banach Tarski Paradox/Line
Brian White
- [FOM] Witness
T.Forster at dpmms.cam.ac.uk
- [FOM] A quotation from Fraenkel
T.Forster at dpmms.cam.ac.uk
- [FOM] A quotation from Fraenkel
T.Forster at dpmms.cam.ac.uk
- [FOM] expressive power of natural languages
americanmcgeesfr at gmx.net
- [FOM] AL-MUKHATABAT- A New electronic Journal in logic and Epsitemology.
mlika hamdi
- [FOM] fun with paradoxes
hxl
- [FOM] CfP: Symposium on the History and Philosophy of Programming - Birmingham 5-6 July 2012
gprimiero at libero.it
- [FOM] Banach Tarski Paradox/Line
W.Taylor at math.canterbury.ac.nz
- [FOM] Banach Tarski Paradox/Line
W.Taylor at math.canterbury.ac.nz
- [FOM] Banach Tarski Paradox/Line
W.Taylor at math.canterbury.ac.nz
- [FOM] why should we, in computer science, be excited about the possibility of speeds exceeding speed of light
meskew at math.uci.edu
- [FOM] Variants of ACA
pax0 at seznam.cz
- [FOM] First order axiomatizability
pax0 at seznam.cz
- [FOM] Banach Tarski Paradox/Line
pax0 at seznam.cz
- [FOM] Variants of ACA
pax0 at seznam.cz
Last message date:
Wed Nov 30 21:31:22 EST 2011
Archived on: Thu Dec 1 17:14:19 EST 2011
This archive was generated by
Pipermail 0.09 (Mailman edition).