December 2012 Archives by thread

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

Starting: Sat Dec 1 19:26:04 EST 2012
Ending: Fri Dec 28 17:35:49 EST 2012
Messages: 47

• [FOM] Regarding Terminology   Harvey Friedman
• [FOM] 510: More Undefinable Elements 2   T.Forster at dpmms.cam.ac.uk
  • [FOM] 510: More Undefinable Elements 2   adriano paolo shaul gershom palma
  • [FOM] 510: More Undefinable Elements 2   Alasdair Urquhart
• [FOM] Shelahs book Cardinal Arithmetic   pax0 at seznam.cz
• [FOM] criteria for the existence of infinite models of FO theories   Rob Arthan
  • [FOM] criteria for the existence of infinite models of FO theories   T.Forster at dpmms.cam.ac.uk
    • [FOM] criteria for the existence of infinite models of FO theories   Mr Jesse Adam Alama
• [FOM] The last issue of Al-mukhatabat Journal !   mlika hamdi
• [FOM] Terminology   Jon Awbrey
• [FOM] Announcing the release of CVC4, version 1.0   Clark Barrett
• [FOM] Logical Correctness/ Pratt   Lotfi A. Zadeh
• [FOM] The Patterns of Resemblance Ordinal Calculator   Alexander, Samuel
• [FOM] Legacy of Reuben Goodstein, Friday 14th December, 2012 - final programme details   S Barry Cooper
• [FOM] LMCS Special Issue for CCA 2012: First Call for Submissions   Vasco Brattka
• [FOM] CiE 2013 in Milan - Awards and 2nd Call for Papers   S B Cooper
• [FOM] 508: Unique Undefinable Elements   Andrew Brooke-Taylor
  • [FOM] 508: Unique Undefinable Elements   Harvey Friedman
• [FOM] No moderator for a few days   Harold Davis
• [FOM] Conference announcement: "Type Theory, Homotopy Theory and Univalent Foundations"   Nicola Gambino
• [FOM] First CfP: ESSLLI 2013 STUDENT SESSION   gprimiero at libero.it
• [FOM] Lost Logician   Edwin Mares
  • [FOM] Lost Logician   adriano paolo shaul gershom palma
• [FOM] Nonstandard Analysis and the Transfer Principle   Sam Sanders
  • [FOM] Nonstandard Analysis and the Transfer Principle   Robert Lubarsky
    • [FOM] Nonstandard Analysis and the Transfer Principle   Sam Sanders
• [FOM] Call for papers: Machines, Computations and Universality 2013   Turlough Neary
• [FOM] Nordic Spring School in Logic, May 27-31, 2013, Nordfjordeid, Norway   Erik Palmgren
• [FOM] TAP 2013: 2nd Call for Papers   Achim D. Brucker
• [FOM] Workshop on Category-Theoretic Foundations of Mathematics   mernst at uci.edu
• [FOM] Contest Scope of Logic Theorems   jean-yves beziau
• [FOM] WoLLIC 2013 (Darmstadt) - 2nd Call for Papers   Ruy de Queiroz
• [FOM] moderator is back   Martin Davis
• [FOM] CiE Newsletter No.64, December 12, 2012.   Olivier Bournez
• [FOM] CfP: Conference on Logic and Philosophy of Science - CLPS13   gprimiero at libero.it
• [FOM] CFP: SYMPOSIUM on PROOFS, PROGRAMS, PROCEDURES: FORMAL AND EPISTEMIC ISSUES @ CLPS13   gprimiero at libero.it
• [FOM] TAMC 2013 in Hong Kong: Second Call for Papers   S B Cooper
  • [FOM] TAMC 2013 in Hong Kong: Second Call for Papers   CiE
• [FOM] CiE 2013 in Milan - Special Awards and Call for Papers   S B Cooper
• [FOM] FW: Lost Logician   Donald Stahl
• [FOM] CiE 2013 in Milan - Special Awards and Second Call for Papers   CiE
• [FOM] CFP: SYMPOSIUM on PROOFS, PROGRAMS, PROCEDURES: FORMAL AND EPISTEMIC ISSUES   Giuseppe Primiero
• [FOM] 509: A Divine Consistency Proof for Mathematics   Harvey Friedman
  • [FOM] 509: A Divine Consistency Proof for Mathematics   Adriano Palma
    • [FOM] 509: A Divine Consistency Proof for Mathematics   Adriano Palma
• [FOM] ICALP 2013: 2nd Call for Papers   Agnis Skuskovniks
• [FOM] Progic 2013: Combining probability and logic to solve philosophical problems, Munich, 17-18 Sept. 2013   Niki Pfeifer

Last message date: Fri Dec 28 17:35:49 EST 2012
Archived on: Fri Dec 28 17:41:32 EST 2012

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