March 2013 Archives by thread
Starting: Fri Mar 1 01:22:06 EST 2013
Ending: Sun Mar 31 22:53:34 EDT 2013
Messages: 133
- [FOM] Question about theoretical physics
Joe Shipman
- [FOM] Conference on Simplicity
jkennedy at mappi.helsinki.fi
- [FOM] 4th School on Universal Logic - Good Friday March 29, Rio de Janeiro
jean-yves beziau
- [FOM] Re]: FOM Digest, Vol 122, Issue 12 Re: A proo f that ZFC has no any omega-models (Joe Shipm an)
Jaykov Foukzon
- [FOM] [LICS] LICS Newsletter 144
Andrzej Murawski
- [FOM] Prejudice against "unnatural" definitions
joeshipman at aol.com
- [FOM] Nordic Spring School in Logic: 2nd call for participation
Erik Palmgren
- [FOM] Fwd: Post-Doctoral Fellowships-Centre for Logic, Epistemology and the History of Science (CLE), State University of Campinas (Unicamp)
Joao Marcos
- [FOM] FW: Lost Logician
Edwin Mares
- [FOM] Bohm trees/lambda calculus
pax0 at seznam.cz
- [FOM] Access to Vaught's classic paper
John Baldwin
- [FOM] From theorems of infinity to axioms of infinity
Michael Detlefsen
- [FOM] Question about theoretical physics
Jaykov Foukzon
- [FOM] Vaught - some new work.
John Baldwin
- [FOM] NI CONSTRUCTIVE MATHEMATICS CONFERENCE --- CMFP 2013
by way of Martin Davis <martin at eipye.com>
- [FOM] From theorems of infinity to axioms of infinity (Michael Detlefsen)
josef at us.es
- [FOM] electronic introduction to topology
Guillermo Badía
- [FOM] WoLLIC 2013 - CFP - DEADLINE APPROACHING
Ruy de Queiroz
- [FOM] 3rd Call for papers: Machines, Computations and Universality 2013
Turlough Neary
- [FOM] CiE Newsletter No.67, March 15th, 2013
Olivier Bournez
- [FOM] PhD Research Project: Efficient and Natural Proof Systems
Alessio Guglielmi
- [FOM] APMP 2013 call for papers: deadline April 30
Andrew Arana
- [FOM] Eliminating AC
Joe Shipman
- [FOM] What are classes and epsilon membership.
Zuhair Abdul Ghafoor Al-Johar
- [FOM] Counting classes
pax0 at seznam.cz
- [FOM] CiE 2013: The Nature of Computation - Grants, and Call for Presentations
CiE
- [FOM] LSFA 2013 - first CFP
Joao Marcos
- [FOM] ATY/TCAC March 2013 update [from Barry Cooper]
S Barry Cooper
- [FOM] Logic Colloquium
Fernando Ferreira
- [FOM] Alan Turing's Universal machine
S Barry Cooper
- [FOM] The logical consequences of simplifying assumptions
John Allsup
- [FOM] Call for papers: ADDCT 2013
Viorica Sofronie-Stokkermans
- [FOM] [ATY/TCAC] Turing's Universal machine narrowly wins Innovation vote
S Barry Cooper
- [FOM] Three answers on AC in arithmetic
Colin McLarty
- [FOM] Graphs vs. Ord
pax0 at seznam.cz
- [FOM] Paradoxes: The epistemological aspect
Isaac Malitz
- [FOM] outer measure of a non-measurable set
Martin Davis
- [FOM] CFP: Inductive logic and confirmation in science
Jon Williamson
- [FOM] Submission deadline extension: Machines, Computations and Universality 2013
Turlough Neary
- [FOM] Computability question
Daniel Schwartz
- [FOM] In response to M. Detlefsen's post "From theorems of infinity to axioms of infinity" of March 9, 2013
Gregory Taylor
- [FOM] Eliminating AC [from statements of analysis]
Ali Enayat
- [FOM] [LICS] LICS Newsletter 145
Andrzej Murawski
Last message date:
Sun Mar 31 22:53:34 EDT 2013
Archived on: Sun Mar 31 23:28:29 EDT 2013
This archive was generated by
Pipermail 0.09 (Mailman edition).