March 2015 Archives by thread

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

Starting: Sun Mar 1 11:39:34 EST 2015
Ending: Tue Mar 31 08:47:26 EDT 2015
Messages: 87

• [FOM] Fwd: Kreisel   Martin Davis
• [FOM] Set Theory with Reflective Sequences   Dmytro Taranovsky
• [FOM] Extended Deadline: ACMES Conference   Robert Moir
• [FOM] One axiom for all sets.   Zuhair Abdul Ghafoor Al-Johar
• [FOM] Translation of a paper by Maksimova?   Tennant, Neil
• [FOM] Origins and Varieties of Logicism - Workshop - IUSS Pavia - March 16th, 2015   Andrea Sereni
• [FOM] "Proof" of the consistency of PA published by Oxford UP   Gyorgy Sereny
  • [FOM] "Proof" of the consistency of PA published by Oxford UP   Timothy Y. Chow
    • [FOM] "Proof" of the consistency of PA published by Oxford UP   Richard Heck
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Michael Kremer
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Richard Heck
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Timothy Y. Chow
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   A J Franco de Oliveira
      • [FOM] Potential infinity   Arnon Avron
      • [FOM] Potential infinity   Timothy Y. Chow
      • [FOM] Potential and actual infinities   Marcin Mostowski
      • [FOM] Potential infinity   Daniel Leivant
      • [FOM] Potential infinity   Rafal Urbaniak
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Colin McLarty
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Rob Arthan
    • [FOM] "Proof" of the consistency of PA published by Oxford UP   Charlie
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Arnon Avron
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   martdowd at aol.com
  • [FOM] "Proof" of the consistency of PA published by Oxford UP   rlk at knighten.org
  • [FOM] "Proof" of the consistency of PA published by Oxford UP   Timothy Y. Chow
    • [FOM] "Proof" of the consistency of PA published by Oxford UP   W.Taylor at math.canterbury.ac.nz
    • [FOM] "Proof" of the consistency of PA published by Oxford UP   Arnon Avron
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Timothy Y. Chow
      • [FOM] "Proof" of the consistency of PA published by Oxford UP   Arnon Avron
• [FOM] Launching of the South American Journal of Logic   jean-yves beziau
• [FOM] Fwd: 3rd Workshop on Interpolation - Call for Papers   Martin Davis
• [FOM] axioms for potential infinity and for actual infinity?   Joao Marcos
  • [FOM] axioms for potential infinity and for actual infinity?   Maarten McKubre-Jordens
• [FOM] 577: New Pi01 Incompleteness   Harvey Friedman
• [FOM] 578: Provably Falsifiable Proposiitons   Harvey Friedman
  • [FOM] 578: Provably Falsifiable Proposiitons   Arnon Avron
• [FOM] CALCO 2015 : Last Call for Papers   fabio.zanasi at ens-lyon.fr
• [FOM] Agassi | Kragh | Maxwell | Radelet de-Grave | Rahman in Lille: His. & Phil. Sci., Education, Summer School   pisanoraffaele at iol.it
• [FOM] Fwd: CFP: International Conference on Artificial Intelligence (ICAI'15: July 27-30, 2015, Las Vegas, USA); Submission Deadline: March 31   Martin Davis
• [FOM] Potential and Actual Infinity   John Bell
  • [FOM] Potential and Actual Infinity   Mario Carneiro
  • [FOM] Potential and Actual Infinity   Joseph Shipman
  • [FOM] Potential and Actual Infinity   katzmik at macs.biu.ac.il
  • [FOM] Potential and Actual Infinity   Timothy Y. Chow
    • [FOM] Potential and Actual Infinity   sambin at math.unipd.it
      • [FOM] Potential and Actual Infinity   Joseph Shipman
    • [FOM] Potential and Actual Infinity   Joseph Shipman
    • [FOM] Potential and Actual Infinity   Panu Raatikainen
      • [FOM] Potential and Actual Infinity   WILLIAM TAIT
      • [FOM] Potential and Actual Infinity   Fred Richman
  • [FOM] Potential and Actual Infinity   Paul Budnik
• [FOM] Varieties of Algorithmic Information (VAI) 2015   Christopher Porter
• [FOM] FINAL CALL: Logic, Relativity and Beyond Conference (Budapest, 9-13 Aug 2015)   Gergely Székely
• [FOM] A query on explicit definitions of inacessible cardinals.   Frode Bjørdal
• [FOM] MASTER'S DEGREE IN LOGIC AND PHILOSOPHY OF SCIENCE IN SPAIN   Martin Davis
  • [FOM] Infinitary languages, consistency and models   Panu Raatikainen
    • [FOM] Second-order logic and neo-logicism   Panu Raatikainen
      • [FOM] Second-order logic and neo-logicism   Ran Lanzet
      • [FOM] Second-order logic and neo-logicism   WILLIAM TAIT
      • [FOM] Second-order logic and neo-logicism   Ran Lanzet
      • [FOM] Second-order logic and neo-logicism   Joe Shipman
      • [FOM] Second-order logic and neo-logicism   Richard Heck
      • [FOM] Second-order logic and neo-logicism   Joseph Shipman
      • [FOM] Second-order logic and neo-logicism   Panu Raatikainen
      • [FOM] Second-order logic and neo-logicism   Julian Rohrhuber
      • [FOM] Second-order logic and neo-logicism   Panu Raatikainen
      • [FOM] Second-order logic and neo-logicism   Ran Lanzet
      • [FOM] Second-order logic and neo-logicism   Alan Weir
      • [FOM] Second-order logic and neo-logicism   Richard Heck
• [FOM] Computability in Europe 2015: Call for Informal Presentations   S B Cooper
• [FOM] Call for Papers: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics   Georg Moser
• [FOM] Deadline Extension: Logic, Relativity and Beyond Conference (Budapest, 9-13 Aug 2015)   Gergely Székely
• [FOM] Petr Vopenka   Ali Enayat
  • [FOM] Petr Vopenka   Josef Urban
• [FOM] The Life and Work of Leon Henkin. Essays on His Contributions   Maria Manzano
• [FOM] More on Vopenka movie   Victor Marek
• [FOM] Workshop on Vaught's Conjecture   Noah David Schweber
• [FOM] CfP: HAPOC3 -- Third International Conference for the History and Philosophy of Computing   gprimiero at libero.it
• [FOM] FW: conference in memory of Grigory "Grisha" Mints   Kreinovich, Vladik
• [FOM] VSTTE 15, Second Call for Papers   Daniel Bundala
• [FOM] special interest group in logic and computations   Kreinovich, Vladik
• [FOM] a mytho-logical journey from Samos to Istanbul   jean-yves beziau
• [FOM] Re Second-Order Logic and Logicism.   Alan Weir
  • [FOM] Re Second-Order Logic and Logicism.   Panu Raatikainen
• [FOM] Philosophia Mathematica Virtual Special Issue on Mathematical Depth   Michael Bennett McNulty
• [FOM] First World Congress on Logic and Religion in Joao Pessoa, Brazil   jean-yves beziau
• [FOM] COMPUTABILITY - The Journal of the Association CiE - New Issue!   Vasco Brattka

Last message date: Tue Mar 31 08:47:26 EDT 2015
Archived on: Tue Mar 31 20:26:40 EDT 2015

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