October 2014 Archives by thread

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

Starting: Fri Oct 3 16:35:14 EDT 2014
Ending: Fri Oct 31 22:01:01 EDT 2014
Messages: 162

• [FOM] JOB: professorship on the Mathematical Foundations of Computer Science   Joao Marcos
• [FOM] 548: New Explicitly Pi01   Harvey Friedman
• [FOM] job at the University of Colorado   Keith A. Kearnes
• [FOM] Job announcement   Paul Larson
• [FOM] 549: Conservative Growth - beyond triples   Harvey Friedman
• [FOM] CCC 2014; postproceedings; call for submission   Dieter Spreen
• [FOM] Hersh on Flyspeck   Timothy Y. Chow
  • [FOM] Hersh on Flyspeck   Joseph Shipman
  • [FOM] formal proofs (was: Hersh on Flyspeck   Hendrik Boom
    • [FOM] formal proofs (was: Hersh on Flyspeck   Harvey Friedman
    • [FOM] formal proofs (was: Hersh on Flyspeck   Rob Arthan
      • [FOM] formal proofs (was: Hersh on Flyspeck   Josef Urban
    • [FOM] formal proofs (was: Hersh on Flyspeck   Sam Sanders
      • [FOM] formal proofs (was: Hersh on Flyspeck   katzmik at macs.biu.ac.il
• [FOM] formal proofs /query   Adriano Palma
  • [FOM] formal proofs /query   Timothy Y. Chow
  • [FOM] formal proofs /query   Michael Lee Finney
• [FOM] Fwd: Announcement for FOM   Martin Davis
• [FOM] formal proofs   Harvey Friedman
  • [FOM] formal proofs   Till Mossakowski
  • [FOM] formal proofs   Harvey Friedman
    • [FOM] formal proofs   Dimitris Tsementzis
    • [FOM] formal proofs   Josef Urban
    • [FOM] formal proofs   Urs Schreiber
      • [FOM] formal proofs   Freek Wiedijk
  • [FOM] formal proofs   Harvey Friedman
  • [FOM] formal proofs   Jeremy Avigad
  • [FOM] formal proofs   Jeremy Avigad
  • [FOM] formal proofs   Harvey Friedman
  • [FOM] formal proofs   Timothy Y. Chow
    • [FOM] formal proofs   David Roberts
      • [FOM] formal proofs   Hendrik Boom
    • [FOM] formal proofs   Urs Schreiber
      • [FOM] formal proofs   Joseph Shipman
    • [FOM] formal proofs   Freek Wiedijk
      • [FOM] formal proofs   David Roberts
      • [FOM] formal proofs   Urs Schreiber
  • [FOM] formal proofs   croux at andrew.cmu.edu
    • [FOM] formal proofs   Jacques Carette
    • [FOM] formal proofs   David Posner
      • [FOM] formal proofs   David Roberts
      • [FOM] formal proofs   David Posner
      • [FOM] formal proofs   Dominic Mulligan
      • [FOM] formal proofs   Steve Awodey
      • [FOM] formal proofs   Urs Schreiber
      • [FOM] formal proofs   Hendrik Boom
    • [FOM] formal proofs   Freek Wiedijk
      • [FOM] formal proofs   croux at andrew.cmu.edu
  • [FOM] formal proofs   Timothy Y. Chow
  • [FOM] formal proofs   Harvey Friedman
  • [FOM] Formal Proofs   Harvey Friedman
    • [FOM] Formal Proofs   Urs Schreiber
    • [FOM] Formal Proofs   Jay Sulzberger
    • [FOM] Formal Proofs   Rempe-Gillen, Lasse
  • [FOM] formal proofs   Timothy Y. Chow
    • [FOM] formal proofs   Bas Spitters
      • [FOM] formal proofs   Timothy Y. Chow
      • [FOM] formal proofs   Freek Wiedijk
  • [FOM] Formal Proofs   Timothy Y. Chow
• [FOM] FINAL CFP and *EXTENDED DEADLINE*: SoTFoM II `Competing Foundations?', 12-13 January 2015, London.   Neil Barton
• [FOM] Nelson's proof assistant   Timothy Y. Chow
  • [FOM] Nelson's proof assistant   David Roberts
    • [FOM] Nelson's proof assistant   katzmik at macs.biu.ac.il
      • [FOM] Nelson's proof assistant   Freek Wiedijk
• [FOM] 550: Foundational Methodology 1/Maximality   Harvey Friedman
• [FOM] TCAs with oracles   Robert Lubarsky
• [FOM] Formal verification   Rempe-Gillen, Lasse
  • [FOM] Formal verification   martdowd at aol.com
  • [FOM] Formal verification   Dominic Mulligan
    • [FOM] Formal verification   Rempe-Gillen, Lasse
      • [FOM] Formal verification   WILLIAM TAIT
      • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Hendrik Boom
      • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Bas Spitters
      • [FOM] Formal verification   Dominic Mulligan
      • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   croux at andrew.cmu.edu
      • [FOM] Formal verification   martdowd at aol.com
      • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Rempe-Gillen, Lasse
  • [FOM] Formal verification   Sam Sanders
  • [FOM] Formal verification   Arnold Neumaier
    • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Arnold Neumaier
      • [FOM] Formal verification   Freek Wiedijk
  • [FOM] Formal verification   Freek Wiedijk
  • [FOM] Formal verification   Harvey Friedman
    • [FOM] Formal verification   Freek Wiedijk
      • [FOM] Formal verification   Urs Schreiber
  • [FOM] Formal verification   Andrei Popescu
  • [FOM] Formal verification   Lucas Kruijswijk
• [FOM] 551: Foundational Methodology 2/Maximality   Harvey Friedman
• [FOM] I: CFP: Acta Baltica Historiae et Philosophiae Scientiarum   pisanoraffaele at iol.it
• [FOM] 552: Foundational Methodology 3/Maximality   Harvey Friedman
• [FOM] 553: Foundational Methodology 4/Maximality   Harvey Friedman
• [FOM] Call for abstracts: JAIST Logic Workshop Series 2015   Hajime Ishihara
• [FOM] Ultimate Rigor?   Harvey Friedman
  • [FOM] Ultimate Rigor?   Freek Wiedijk
• [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Dustin Wehr
  • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Freek Wiedijk
  • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Till Mossakowski
  • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Tjark Weber
    • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Rempe-Gillen, Lasse
      • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Tjark Weber
  • [FOM] response to Lasse Rempe-Gillen (Re: Formal verification)   Dustin Wehr
• [FOM] CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015   S B Cooper
• [FOM] Blakers-Massey in ZF and HoTT   Paul B Levy
  • [FOM] Blakers-Massey in ZF and HoTT   Paul Levy
  • [FOM] Blakers-Massey in ZF and HoTT   Hendrik Boom
  • [FOM] Blakers-Massey in ZF and HoTT   Paul B Levy
• [FOM] Question on Distributive Lattices   A. Mani
• [FOM] New Umbrella?   Harvey Friedman
  • [FOM] New Umbrella?   Harvey Friedman
    • [FOM] New Umbrella?   Urs Schreiber
      • [FOM] New Umbrella?   Monroe Eskew
      • [FOM] New Umbrella?   Urs Schreiber
      • [FOM] New Umbrella?   Monroe Eskew
      • [FOM] New Umbrella?   Urs Schreiber
      • [FOM] New Umbrella?   Freek Wiedijk
      • [FOM] New Umbrella?   Joseph Shipman
      • [FOM] New Umbrella?   Jay Sulzberger
      • [FOM] New Umbrella?   David Posner
      • [FOM] New Umbrella?   Jay Sulzberger
      • [FOM] New Umbrella?   Urs Schreiber
  • [FOM] New Umbrella?   Harvey Friedman
    • [FOM] New Umbrella?   Jay Sulzberger
  • [FOM] New umbrella?   Timothy Y. Chow
    • [FOM] New umbrella?   Freek Wiedijk
• [FOM] Reference to Friedman 73   Frode Bjørdal
  • [FOM] Reference to Friedman 73   Harvey Friedman
• [FOM] 554: Foundational Methodology 5/Maximality   Harvey Friedman
• [FOM] WoLLIC 2015 - Call for Papers   Ruy de Queiroz
• [FOM] BLAST Conference   Lukasz T. Stepien
• [FOM] HoTT unresponsiveness   Joseph Shipman
  • [FOM] HoTT unresponsiveness   Paul Levy
    • [FOM] HoTT unresponsiveness   Joseph Shipman
• [FOM] Eradicating Evil?   Harvey Friedman
  • [FOM] Eradicating Evil?   Steve Awodey
    • [FOM] Eradicating Evil?   Joseph Shipman
  • [FOM] Eradicating Evil?   martdowd at aol.com
  • [FOM] Eradicating Evil?   Harvey Friedman
    • [FOM] Eradicating Evil?   Urs Schreiber
      • [FOM] Eradicating Evil?   Urs Schreiber
• [FOM] HoTT as foundations: a short account   Paul B Levy
  • [FOM] HoTT as foundations: a short account   Freek Wiedijk
    • [FOM] HoTT as foundations: a short account   Urs Schreiber
  • [FOM] HoTT as foundations: a short account   Paul Levy
    • [FOM] HoTT as foundations: a short account   Freek Wiedijk
• [FOM] Versions of diamonds principles,V=L   pax0 at seznam.cz
• [FOM] RE Formal Proof   Alan Weir
• [FOM] Hartogs Number   William Elliot
  • [FOM] Hartogs Number   tf at maths.cam.ac.uk
• [FOM] 555: Foundational Methodology 6/Maximality   Harvey Friedman
• [FOM] 556: Flat Foundations 1   Harvey Friedman
  • [FOM] 556: Flat Foundations 1   katzmik at macs.biu.ac.il
• [FOM] Concerning Flat Foundations   Harvey Friedman
• [FOM] 557: New Pi01   Harvey Friedman
• [FOM] DMV 2015: Call for Proposals   Jeremy Avigad
• [FOM] New umbrella? (Freek Wiedijk)   Paul Levy
• [FOM] 558: New Pi01/more   Harvey Friedman

Last message date: Fri Oct 31 22:01:01 EDT 2014
Archived on: Sat Nov 1 19:21:58 EDT 2014

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