October 2015 Archives by thread

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

Starting: Thu Oct 1 03:29:05 EDT 2015
Ending: Sat Oct 31 20:12:06 EDT 2015
Messages: 118

• [FOM] an interesting article in Notices of American Mathematical Society   Frédéric Blanqui
  • [FOM] an interesting article in Notices of American Mathematical Society   André Platzer
• [FOM] Mizar's type system   Anthony Coulter
  • [FOM] Mizar's type system   Freek Wiedijk
    • [FOM] Mizar's type system   Anthony Coulter
      • [FOM] Mizar's type system   Josef Urban
    • [FOM] Mizar's type system   Artur Kornilowicz
      • [FOM] Mizar's type system   Freek Wiedijk
• [FOM] 622: Adventures in Formalization 6   Larry Paulson
  • [FOM] 622: Adventures in Formalization 6   Freek Wiedijk
    • [FOM] 622: Adventures in Formalization 6   Larry Paulson
      • [FOM] 622: Adventures in Formalization 6   Arnon Avron
      • [FOM] 622: Adventures in Formalization 6   Adam Naumowicz
  • [FOM] 622: Adventures in Formalization 6   Mitchell Spector
    • [FOM] 622: Adventures in Formalization 6   joeshipman at aol.com
    • [FOM] 622: Adventures in Formalization 6   Hendrik Boom
      • [FOM] 622: Adventures in Formalization 6   Mitchell Spector
      • [FOM] 622: Adventures in Formalization 6   John Baldwin
      • [FOM] 622: Adventures in Formalization 6   Freek Wiedijk
      • [FOM] 622: Adventures in Formalization 6   John Baldwin
      • [FOM] 622: Adventures in Formalization 6   Freek Wiedijk
      • [FOM] 622: Adventures in Formalization 6   John Baldwin
• [FOM] 628: Optimal Function Theory 7   Harvey Friedman
• [FOM] 629: Boolean Algebra/Simplicity   Harvey Friedman
  • [FOM] 629: Boolean Algebra/Simplicity   Matthew Szudzik
  • [FOM] 629: Boolean Algebra/Simplicity   Harvey Friedman
    • [FOM] 629: Boolean Algebra/Simplicity   Matthew Szudzik
      • [FOM] 629: Boolean Algebra/Simplicity   Harvey Friedman
  • [FOM] 629: Boolean Algebra/Simplicity   Akshay R
• [FOM] 630: Optimal Function Theory 8   Harvey Friedman
• [FOM] three variables are needed for defining BA   Istvan Nemeti
• [FOM] What is the logical complexity of Schanuel's conjecture?   Joe Shipman
• [FOM] 631: Order Theoretic Optimization 1   Harvey Friedman
• [FOM] Aldo Antonelli (1962 -- 2015)   Curtis Franks
• [FOM] BOOK: Tartaglia’s Science of Weights and Mechanics in the Sixteenth Century   pisanoraffaele at iol.it
• [FOM] Reminder: Frontiers of Non-Classicality (call for papers)   Maarten McKubre-Jordens
• [FOM] logical complexity of mathematical statements   Harvey Friedman
  • [FOM] logical complexity of mathematical statements   Timothy Y. Chow
    • [FOM] logical complexity of mathematical statements   Harvey Friedman
      • [FOM] logical complexity of mathematical statements   Timothy Y. Chow
    • [FOM] logical complexity of mathematical statements   joeshipman at aol.com
• [FOM] Boolean algebra/ Simplicity   Dana Scott
  • [FOM] Boolean algebra/ Simplicity   Harvey Friedman
• [FOM] 632: Rigorous Formalization of Mathematics 1   Harvey Friedman
• [FOM] APMP 3rd meeting, registration closing date   Jessica Carter
• [FOM] Adventures in Formalization 6   Paul Blain Levy
  • [FOM] Adventures in Formalization 6   Freek Wiedijk
• [FOM] Question on Decidability of S2S   Dmytro Taranovsky
  • [FOM] Question on Decidability of S2S   Harvey Friedman
• [FOM] Official Notice Regarding Death of Aldo Antonelli   Richard Heck
• [FOM] CMCS 2016 : Second Call for Papers   fabio.zanasi at ens-lyon.fr
• [FOM] Question on Decidability of S2S (reply to Taranovsky)   Leszek Kolodziejczyk
  • [FOM] Question on Decidability of S2S   Dmytro Taranovsky
    • [FOM] Question on Decidability of S2S   Leszek Kolodziejczyk
• [FOM] FOM Digest, Vol 154, Issue 15   Paul Blain Levy
• [FOM] 633: Constrained Function Theory 1   Harvey Friedman
• [FOM] [FoM} Soft and hard routes to infinitesimals   Mikhail Katz
• [FOM] Adventures in Formalization 6 (reply to Paul Levy)   Mario Carneiro
• [FOM] Standardization of sets, sorts, and free logic   Anthony Coulter
  • [FOM] Standardization of sets, sorts, and free logic   Freek Wiedijk
    • [FOM] Standardization of sets, sorts, and free logic   Anthony Coulter
  • [FOM] Standardization of sets, sorts, and free logic   Dustin Wehr
  • [FOM] Standardization of sets, sorts, and free logic   Anthony Coulter
• [FOM] 634: Fixed Point Minimization 1   Harvey Friedman
• [FOM] 635: Fixed Point Minimization 2   Harvey Friedman
• [FOM] 636: Fixed Point Minimization 3   Harvey Friedman
• [FOM] Fwd: logical complexity of Schanuel's Conjecture   Dave Marker
  • [FOM] logical complexity of Schanuel's Conjecture   Dave Marker
• [FOM] free logic   Harvey Friedman
  • [FOM] free logic   Anthony Coulter
  • [FOM] Free logic   Tennant, Neil
  • [FOM] Notations in mathematical practice   Arnon Avron
    • [FOM] Notations in mathematical practice   Harvey Friedman
    • [FOM] Notations in mathematical practice   Arnold Neumaier
      • [FOM] Notations in mathematical practice   A. Mani
    • [FOM] Regarding bound variables   Anthony Coulter
    • [FOM] Notations in mathematical practice   Arnon Avron
  • [FOM] free logic   William Farmer
    • [FOM] free logic   Lawrence Paulson
      • [FOM] Additional expressiveness of free logic   Anthony Coulter
      • [FOM] Additional expressiveness of free logic   Mario Carneiro
      • [FOM] Additional expressiveness of free logic   Anthony Coulter
      • [FOM] Additional expressiveness of free logic   Mario Carneiro
      • [FOM] Additional expressiveness of free logic   Harvey Friedman
      • [FOM] Additional expressiveness of free logic   Lawrence Paulson
    • [FOM] Regarding strictness   Anthony Coulter
  • [FOM] free logic   Mitchell Spector
    • [FOM] free logic   Mario Carneiro
      • [FOM] free logic   Mitchell Spector
      • [FOM] free logic   Rob Arthan
  • [FOM] free logic   Harvey Friedman
  • [FOM] free logic   Harvey Friedman
    • [FOM] free logic   Rob Arthan
  • [FOM] free logic   William Farmer
    • [FOM] free logic   Joe Shipman
      • [FOM] free logic   Harvey Friedman
  • [FOM] Free Logic   Dana Scott
• [FOM] FW: 7ECM2016 - Call for Abstracts - Mini-Symposia   Kreinovich, Vladik
• [FOM] Fwd: Computability, Complexity and Randomness (CCR 2016)   Martin Davis
• [FOM] The Open Logic Project   Richard Zach
• [FOM] Notations in mathematical practic   Timothy Y. Chow
• [FOM] 637: Progress in Pi01 Incompleteness 1   Harvey Friedman
• [FOM] 638: Rigorous Formalization of Mathematics 2   Harvey Friedman
• [FOM] The computational content of Nonstandard Analysis   Sam Sanders
• [FOM] On definitions of terms, and free logic   Tennant, Neil
• [FOM] On definitions of terms, and free logic---a quick follow-up   Tennant, Neil
  • [FOM] On definitions of terms, and free logic---a quick follow-up   Harvey Friedman
  • [FOM] On definitions of terms, and free logic---a quick follow-up   Tennant, Neil
• [FOM] registration: 7th French Philosophy of Mathematics Workshop (FPMW7)   Andrew Arana
• [FOM] 639: Progress in Pi01 Incompleteness 2   Harvey Friedman
• [FOM] Programming Languages Meeting (S-REPLS 2) at Middlesex University London, Nov 20th   Andrei Popescu
• [FOM] LFCS registration open, student support available   Robert Lubarsky
• [FOM] WoLLIC 2016 - Call for Papers   Ruy de Queiroz
• [FOM] Fwd: [blc] Barry Cooper, 1943--2015   Sara L. Uckelman
• [FOM] Columbia & IHPST Workshop - Reconciling Nominalism and Platonism in the Philosophy of Mathematics - Paris, November 27-28, 2015   Andrea Sereni
• [FOM] Papers on Free Logic   Dana Scott
• [FOM] 640: Progress in Pi01 Incompleteness 3   Harvey Friedman
• [FOM] 641: Progress in Pi01 Incompleteness 4   Harvey Friedman

Last message date: Sat Oct 31 20:12:06 EDT 2015
Archived on: Sat Oct 31 22:20:43 EDT 2015

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