March 2016 Archives by thread

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

Starting: Tue Mar 1 00:08:04 EST 2016
Ending: Thu Mar 31 15:35:37 EDT 2016
Messages: 92

• [FOM] 664: Unsolvability in Number Theory   Harvey Friedman
• [FOM] Paraconsistent Newsletter Winter 2016   jean-yves beziau
• [FOM] KP recursion theorem   martdowd at aol.com
• [FOM] 665: Pi01 Incompleteness/SRP,HUGE/9   Harvey Friedman
• [FOM] CFR: Plural Foundations, Leeds, 17th June   Simon Hewitt
• [FOM] Free review/article on type theory by Corcoran   John Corcoran
• [FOM] WCT 2016 -- Ghent, Belgium -- July 4 & 5, 2016   Paul Shafer
• [FOM] Free review/article on TARSKI'S COLLECTED PAPERS   John Corcoran
• [FOM] Free review/article on REID'S HILBERT   John Corcoran
• [FOM] CMCS 2016: Last Call for Participation (with Programme)   fabio.zanasi at ens-lyon.fr
• [FOM] Free review/article on QUINE'S PHILOSOPHY OF LOGIC   John Corcoran
• [FOM] Hilary Putnam   Martin Davis
• [FOM] CCA 2016 (Computability and Complexity in Analysis) Call for abstracts   Akitoshi Kawamura
• [FOM] post-doc grant in Computer Science at UFRN   Joao Marcos
• [FOM] Verena Huber-Dyson   Wood, Carol
• [FOM] CORCORAN REVIEWS PUTNAM ON MATHEMATICAL TRUTH   John Corcoran
• [FOM] 23rd WoLLIC 2016 (Puebla, Mexico) - Call for Papers - DEADLINE EXTENSION   Ruy de Queiroz
• [FOM] sad news   Kreinovich, Vladik
• [FOM] South American Journal of Logic, Special Issue Carlos Alchourrón   jean-yves beziau
• [FOM] foundations meeting/FOMUS/discussion   Harvey Friedman
  • [FOM] foundations meeting/FOMUS/discussion   Louis Garde
  • [FOM] foundations meeting/FOMUS/discussion   Harvey Friedman
    • [FOM] foundations meeting/FOMUS/discussion   Staffan Angere
    • [FOM] foundations meeting/FOMUS/discussion   Lawrence Paulson
      • [FOM] foundations meeting/FOMUS/discussion   Jay Sulzberger
  • [FOM] foundations meeting/FOMUS/discussion   Bruno Bentzen
    • [FOM] foundations meeting/FOMUS/discussion   martdowd at aol.com
    • [FOM] foundations meeting/FOMUS/discussion   Joe Shipman
      • [FOM] foundations meeting/FOMUS/discussion   Louis Garde
    • [FOM] A question about isomorphic structures   Arnon Avron
      • [FOM] A question about isomorphic structures   Noah David Schweber
      • [FOM] A question about isomorphic structures   Hendrik Boom
      • [FOM] A question about isomorphic structures   Till Mossakowski
      • [FOM] A question about isomorphic structures   Louis Garde
      • [FOM] A question about isomorphic structures   Arnon Avron
      • [FOM] A question about isomorphic structures   Louis Garde
      • [FOM] A question about isomorphic structures   Till Mossakowski
      • [FOM] A question about isomorphic structures   David McAllester
      • [FOM] A question about isomorphic structures   Bruno Bentzen
      • [FOM] A question about isomorphic structures   David McAllester
  • [FOM] foundations meeting/FOMUS/discussion   Joao Marcos
  • [FOM] foundations meeting/FOMUS/discussion   Ben Sherman
    • [FOM] foundations meeting/FOMUS/discussion   Mario Carneiro
      • [FOM] foundations meeting/FOMUS/discussion   Josef Urban
• [FOM] 666: Pi01 Incompleteness/SRP,HUGE/10   Harvey Friedman
• [FOM] CiE 2016: Pursuit of the Universal - Call for Informal Presentations - Paris, 27/6-1/7/2016   Arnold Beckmann
• [FOM] congratulations to Yiannis Moschovakis   Kreinovich, Vladik
• [FOM] Master's program LOPHISC (Logic and philosophy of science) at University of Paris 1 Panthéon-Sorbonne   Andrew Arana
• [FOM] NEW POSTING: CORCORAN REVIEWS PUTNAM ON PHILOSOPHY OF LOGIC   John Corcoran
• [FOM] Philosophical Discussion   Harvey Friedman
• [FOM] FOMUS/alternative foundations   Harvey Friedman
  • [FOM] FOMUS/alternative foundations   Harvey Friedman
  • [FOM] FOMUS/alternative foundations   Louis Garde
• [FOM] Plural Logic/Foundations   Harvey Friedman
• [FOM] foundations meeting/FOMUS/dicussion   Paul B Levy
• [FOM] Actual Logical Complexity   Harvey Friedman
  • [FOM] Actual Logical Complexity   Joe Shipman
• [FOM] 667: Pi01 Incompleteness/SRP,HUGE/11   Harvey Friedman
• [FOM] Fwd: FOMUS/alternative foundations   John Baldwin
• [FOM] the amazing language of set theory   Martin Davis
  • [FOM] the amazing language of set theory   WILLIAM TAIT
    • [FOM] the amazing language of set theory   katzmik at macs.biu.ac.il
  • [FOM] the amazing language of set theory   Louis Garde
  • [FOM] the amazing language of set theory   Arnon Avron
    • [FOM] the amazing language of set theory   Charlie
      • [FOM] the amazing language of set theory   Tero TULENHEIMO
• [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)   John Corcoran
  • [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)   martdowd at aol.com
  • [FOM] 1. Re: foundations meeting/FOMUS/discussion (martdowd at aol.com)   Louis Garde
  • [FOM] When do mathematicians identify isomorphic structures?   Arnold Neumaier
• [FOM] Isomorphic Structures in f.o.m.   Harvey Friedman
• [FOM] Isomorphic Structures in f.o.m./2   Harvey Friedman
• [FOM] Isomorphic Structures   David McAllester
  • [FOM] Isomorphic Structures   Harvey Friedman
    • [FOM] Isomorphic Structures   David McAllester
• [FOM] FOM: ISOMORPHISM, EQUALITY, AND IDENTITY   John Corcoran
• [FOM] Artificial sweetener for ZFC   Joe Shipman
  • [FOM] Artificial sweetener for ZFC   Lawrence Paulson
• [FOM] TypesHoTT discussion   Harvey Friedman
• [FOM] Higher-order arithmetic as an alternative to ZFC   Anthony Coulter
• [FOM] Wiki: type theoretic fnds   Harvey Friedman
  • [FOM] Wiki: type theoretic fnds   Mario Carneiro
  • [FOM] Wiki: type theoretic fnds   Patrik Eklund
    • [FOM] Untyped/typed and bivalent/multivalent   Patrik Eklund
  • [FOM] Wiki: type theoretic fnds   Lawrence Paulson
  • [FOM] Wiki: type theoretic fnds   Erik Palmgren
• [FOM] Reflective well-founded relations   martdowd at aol.com
• [FOM] Foundational Frameworks   Harvey Friedman
  • [FOM] Foundational Frameworks   Hendrik Boom
• [FOM] Philosophical coherence and foundational role of set and type theory   Sam Sanders
• [FOM] CORCORAN ON MORRIS KLINE'S LOSS OF CERTAINTY IN MATHEMATICS   John Corcoran
• [FOM] Call for papers: Eighth French Philosophy of Mathematics Workshop (FPMW 8)   Andrew Arana

Last message date: Thu Mar 31 15:35:37 EDT 2016
Archived on: Thu Mar 31 20:21:48 EDT 2016

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