September 2012 Archives by date
Starting: Mon Sep 3 12:37:25 EDT 2012
Ending: Sun Sep 30 17:27:54 EDT 2012
Messages: 68
- [FOM] CADE-24: First Call for Papers
Grant Olney Passmore
- [FOM] second-order logic once again
Robert Black
- [FOM] second-order logic once again
Patrik Eklund
- [FOM] second-order logic once again
Aatu Koskensilta
- [FOM] Turing in Context II - Programme Online & Registration Open
gprimiero at libero.it
- [FOM] third order arithmetic/reverse mathematics
pax0 at seznam.cz
- [FOM] second-order logic once again
Kevin Watkins
- [FOM] second-order logic once again
Timothy Y. Chow
- [FOM] second-order logic once again
Robert Black
- [FOM] second-order logic once again
Kevin Watkins
- [FOM] third order arithmetic/reverse mathematics
Alexander Kreuzer
- [FOM] AEC
pax0 at seznam.cz
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Dominic Hughes
- [FOM] LFCS 2013, Submission extension
Victor Marek
- [FOM] CFP: What is/was logic? Historical perspectives (UNILOG - Rio de Janeiro)
catarina dutilh
- [FOM] SoCal PhilMath + PhilLogic + FoM
Sean Walsh
- [FOM] Equivalence relation on sets of natural numbers
Timothy Y. Chow
- [FOM] Equivalence relation on sets of natural numbers
Robert Black
- [FOM] Equivalence relation on sets of natural numbers
Monroe Eskew
- [FOM] Equivalence relation on sets of natural numbers
Stephen Yablo
- [FOM] Equivalence relation on sets of natural numbers
weinert at math.uni-bonn.de
- [FOM] Equivalence relation on sets of natural numbers
Jon Awbrey
- [FOM] Equivalence relation on sets of natural numbers
Richard Heck
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Matthew Cook
- [FOM] Two senses of generalization
Colin McLarty
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Joe Shipman
- [FOM] Two senses of generalization
MartDowd at aol.com
- [FOM] Question about Conservative Extensions
Richard Heck
- [FOM] Equivalence relation on sets of natural numbers
Jon Awbrey
- [FOM] Equivalence relation on sets of natural numbers
Timothy Y. Chow
- [FOM] Question about Conservative Extensions
Craig Smorynski
- [FOM] Question about Conservative Extensions
william tait
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Damien Woods
- [FOM] Question about Conservative Extensions
John Baldwin
- [FOM] Question about Conservative Extensions
Noah David Schweber
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Matthew Cook
- [FOM] Question about Conservative Extensions
Richard Heck
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Damien Woods
- [FOM] LATA 2013: 2nd call for papers
GRLMC
- [FOM] how it is that Martin's Axiom is crucial in understanding theory of the Continuum
Tom Dunion
- [FOM] "Magic: The Gathering" is Turing complete
Timothy Y. Chow
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Dominic Hughes
- [FOM] CADE-24: Call for Workshops, Tutorials and System Competitions
Grant Olney Passmore
- [FOM] A question about infinite sets
Andrej Bauer
- [FOM] A question about infinite sets
Noah David Schweber
- [FOM] A question about infinite sets
Mitchell Spector
- [FOM] A question about infinite sets
Oosten, J. van
- [FOM] A question about infinite sets
Laurent Bartholdi
- [FOM] A question about infinite sets
Andrej Bauer
- [FOM] A question about infinite sets
Robert Lubarsky
- [FOM] 498: Embedded Maximal Cliques 1
Harvey Friedman
- [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?
Matthew Cook
- [FOM] The Futility of Consciousness
Charlie
- [FOM] Fwd: 499: Embedded Maximal Cliques 2
Harvey Friedman
- [FOM] Workshop on Compositional Meaning in Logic - UNILOG, Rio de Janeiro, April 2013
Joao Marcos
- [FOM] Melvin Fitting 70 conference on Computational Logic
Sergei Artemov
- [FOM] 500: Embedded Maximal Cliques 3
Harvey Friedman
- [FOM] Cyclicity Analysis
Zuhair Abdul Ghafoor Al-Johar
- [FOM] MWPMW 13 and First PMA symposium [from Michael Detlefsen <mdetlef1 at nd.edu>]
Michael Detlefsen
- [FOM] 501: Embedded Maximal Cliques 4
Harvey Friedman
- [FOM] criteria for the existence of infinite models of FO theories
Charlie
- [FOM] WoLLIC 2013 (Darmstadt) - Call for Papers
Ruy de Queiroz
- [FOM] 502: Embedded Maximal Cliques 5
Harvey Friedman
- [FOM] UNILOG'2013 - Rio de Janeiro - The 4th World Congress and School on Universal Logic
jean-yves beziau
- [FOM] The Derivability Conditions
Richard Heck
- [FOM] The Derivability Conditions
sambin at math.unipd.it
- [FOM] The Derivability Conditions
Craig Smorynski
- [FOM] The Derivability Conditions, Again
Richard Heck
Last message date:
Sun Sep 30 17:27:54 EDT 2012
Archived on: Sun Sep 30 22:21:19 EDT 2012
This archive was generated by
Pipermail 0.09 (Mailman edition).