September 2012 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

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] 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] Turing in Context II - Programme Online & Registration Open   gprimiero at libero.it
• [FOM] third order arithmetic/reverse mathematics   pax0 at seznam.cz
  • [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] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Matthew Cook
    • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Joe Shipman
      • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Damien Woods
      • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Damien Woods
      • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Matthew Cook
  • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Dominic Hughes
    • [FOM] Is Wolfram and Cook's (2, 5) Turing machine really universal?   Matthew Cook
• [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   Richard Heck
  • [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   Jon Awbrey
  • [FOM] Equivalence relation on sets of natural numbers   Timothy Y. Chow
• [FOM] Two senses of generalization   Colin McLarty
  • [FOM] Two senses of generalization   MartDowd at aol.com
• [FOM] Question about Conservative Extensions   Richard Heck
  • [FOM] Question about Conservative Extensions   Craig Smorynski
  • [FOM] Question about Conservative Extensions   william tait
  • [FOM] Question about Conservative Extensions   John Baldwin
    • [FOM] Question about Conservative Extensions   Richard Heck
  • [FOM] Question about Conservative Extensions   Noah David Schweber
• [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] 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   Andrej Bauer
  • [FOM] A question about infinite sets   Oosten, J. van
  • [FOM] A question about infinite sets   Laurent Bartholdi
  • [FOM] A question about infinite sets   Robert Lubarsky
• [FOM] 498: Embedded Maximal Cliques 1   Harvey Friedman
• [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

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...