September 2002 Archives by thread

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

Starting: Sun Sep 1 14:09:09 EDT 2002
Ending: Mon Sep 30 23:16:35 EDT 2002
Messages: 142

• FOM: {n: n notin f(n)}   Dean Buckner
  • FOM: {n: n notin f(n)}   Harvey Friedman
• FOM: Re: Constructive analysis   Hrant Marandjian
• FOM: Constructive analysis   Vasco Brattka
• FOM: CCA 2003 - First Announcement and Call for Papers   Vasco Brattka
• FOM: FOL75 - CONFERENCE ANNOUNCEMENT   Vincent Fella Hendricks
• FOM: thanks   Michael Detlefsen
  • FOM: RE: thanks   Matt Insall
• FOM: {n: n notin f(n)}   Karl Cooper
• FOM: Anaphoric truth and living well   Neil Tennant
• FOM: stepping down   Steve Stevenson
  • FOM: stepping down   Stephen G Simpson
• [FOM] New host for fom   Martin Davis
• [FOM] CfP FotFS IV   Foundations of the Formal Sciences
• [FOM] Paradoxicality and normal-form proofs   schiphol at altern.org
• [FOM] Paradoxicality and normal-form proofs   Sean C Stidd
• [FOM] Re: FOM: Constructive analysis   Giovanni Sambin
• [FOM] Re: Constructive analysis   Andre Scedrov
• [FOM] Paradoxicality and normal-form proofs   Thomas Forster
  • [FOM] Paradoxicality and normal-form proofs   Robert M. Solovay
• [FOM] Re: Constructive analysis   Bas Spitters
  • [FOM] Re: Constructive analysis   Ayan Mahalanobis
    • [FOM] Re: Constructive analysis   Matt Insall
      • [FOM] Re: Constructive analysis   Joseph Miller
    • [FOM] Re: Constructive analysis   Bas Spitters
• [FOM] Paradoxicality and normal-form proofs   wiman lucas raymond
• [FOM] combining probability and logic   Jon Williamson
• [FOM] "This sentence is true"   schiphol at altern.org
  • [FOM] "This sentence is true"   Matt Insall
    • [FOM] "This sentence is true"   Richard E. Grandy
      • [FOM] "This sentence is true"   Matt Insall
      • [FOM] "This sentence is true"   gerdes at invariant.org
• [FOM] Truth for sentence tokens   Sandy Hodges
• [FOM] Re: Constructive analysis   Ulrich Kohlenbach
• [FOM] combining probability and logic   Å ke Persson
  • [FOM] combining probability and logic   Jon Williamson
    • [FOM] combining probability and logic   Åke Persson
• [FOM] rejected messages   Martin Davis
• [FOM] Theories of truth   Harvey Friedman
  • [FOM] Theories of truth   JC Beall
• [FOM] Kohlenbach's lecture notes   Martin Davis
• [FOM] Re: Constructive analysis   Harvey Friedman
• [FOM] IEEE ICDM 2002 Workshops: Call for Papers   icdm02 at kis.maebashi-it.ac.jp
• [FOM] Re: Constructive analysis   Giovanni Sambin
• [FOM] Quine Atom x={x}   Axiomize at aol.com
• [FOM] basic model theory question   Jim Farrugia
• [FOM] Discussion between Thomas Forster & Bob Solovay   Martin Davis
  • [FOM] Discussion between Thomas Forster & Bob Solovay   Neil Tennant
• [FOM] (no subject)   Adam Epstein
• [FOM] Discussion between Thomas Forster & Bob Solovay   Thomas Forster
• [FOM] excluded middle in ZFC   Robert Black
• [FOM] (no subject)   Ulrich Kohlenbach
• [FOM] Re: Constructive analysis   Peter Schuster
  • [FOM] Re: Constructive analysis   Bas Spitters
    • [FOM] Re: Constructive analysis   Andrej Bauer
      • [FOM] Re: Constructive analysis   Bas Spitters
      • [FOM] Re: Constructive analysis (Correction)   Bas Spitters
• [FOM] reply to Charles Volkstorf re function definitions   Randall Holmes
• [FOM] basic model theory question   Jim Farrugia
• [FOM] dichotomies/constructivity   Harvey Friedman
• [FOM] Discussion between Thomas Forster & Bob Solovay   Martin Davis
• [FOM] Another easy solution does not work   Sandy Hodges
  • [FOM] Another easy solution does not work   Richard Heck
    • [FOM] Another easy solution does not work   Harvey Friedman
    • [FOM] Another easy solution does not work   Todd Wilson
• [FOM] Real Division Algebras + Tarski/Lefschetz Principles (typo fixed)   Adam Epstein
  • [FOM] Real Division Algebras + Tarski/Lefschetz Principles (typo fixed)   Robert M. Solovay
    • [FOM] Real Division Algebras + Tarski/Lefschetz Principles   Adam Epstein
    • [FOM] Borel sets in ZF   Harvey Friedman
      • [FOM] Borel sets in ZF   Robert M. Solovay
• [FOM] FOM archive   Martin Davis
• [FOM] Re: dichotomies/constructivity   Adam Epstein
  • [FOM] Re: dichotomies/constructivity   Robert M. Solovay
  • [FOM] Re: dichotomies/constructivity   Harvey Friedman
• [FOM] ETH report   Harvey Friedman
• [FOM] Another easy solution does not work   Andrew Boucher
  • [FOM] Another easy solution does not work   Todd Wilson
    • [FOM] Another easy solution does not work   Andrew Boucher
• [FOM] Yablo's Paradox   Richard Heck
• [FOM] Yablo's Paradox   Thomas Forster
  • [FOM] Yablo's Paradox   Peter Smith
• [FOM] ICDM'02 tutorials Call for Participation   icdm02 at kis.maebashi-it.ac.jp
• [FOM] Baby arithmetic   Peter Smith
• [FOM] Re: Constructive analysis   Vasco Brattka
• [FOM] "Noetherian induction" and 2nd order Zermelo set theory   Roger Bishop Jones
• [FOM] Baby arithmetic   Thomas Forster
• [FOM] Re: Constructive analysis   Peter Lietz
• [FOM] V.I. Arnold on the teaching of mathematics   Harvey Friedman
  • [FOM] V.I. Arnold on the teaching of mathematics   Matt Insall
• [FOM] Liar - Haim Gaifman's pointers   Sandy Hodges
• [FOM] away   Martin Davis
• [FOM] V.I. Arnold lecture   Harvey Friedman
• [FOM] Another easy solution does not work   Harvey Friedman
• [FOM] Cellular automata, Wolfram etc.   Martin Davis
• [FOM] V.I. Arnold lecture   Aron Lexberg
• [FOM] paradox and circularity   Stephen Yablo
  • [FOM] paradox and circularity   Todd Wilson
• [FOM] Another easy solution does not work   Dean Buckner
  • [FOM] Another easy solution does not work   Andrew Boucher
• [FOM] Yablo's Paradox   Jeffrey Ketland
• [FOM] Arnold's views on mathematics - a personal perspective   Matt Insall
• [FOM] paradox and circularity   Thomas Forster
• [FOM] clarification   Stephen Yablo
• [FOM] Another easy solution does not work   Sandy Hodges
• [FOM] Re: [FOM] V.I. Arnold lecture   Lucas Wiman
• [FOM] Another easy solution does not work   praatika at mappi.helsinki.fi
• [FOM] Yablo's Paradox   Volker Halbach
• [FOM] paradox and circularity   Karl Cooper
• [FOM] FOM: Crispin Wright Paper   Dean Buckner
• [FOM] banks phd thesis on CAs (correction)   vznuri at earthlink.net
• [FOM] Yablo, Mirimanoff, and Negative Types   A.P. Hazen
  • [FOM] Yablo, Mirimanoff, and Negative Types   Roger Bishop Jones
    • [FOM] Yablo, Mirimanoff, and Negative Types   Roger Bishop Jones
      • [FOM] The liar and the semantics of set theory   Roger Bishop Jones
      • [FOM] The liar and the semantics of set theory   Rupert McCallum
      • [FOM] The liar and the semantics of set theory   Roger Bishop Jones
      • [FOM] The liar and the semantics of set theory   praatika at mappi.helsinki.fi
      • [FOM] The liar and the semantics of set theory   Roger Bishop Jones
      • [FOM] The liar and the semantics of set theory   Richard Heck
      • [FOM] The liar and the semantics of set theory   Roger Bishop Jones
• [FOM] some glitches   martin at eipye.com
• [FOM] Yablo, Mirimanoff, and Negative Types   A.P. Hazen
  • [FOM] Yablo, Mirimanoff, and Negative Types   praatika at mappi.helsinki.fi
• [FOM] negative types have standard models?   Kanovei
• [FOM] Another easy solution does not work   Sandy Hodges
  • [FOM] Another easy solution does not work   Todd Wilson
• [FOM] Yablo, Mirimanoff, and Negative Types   Xing Taotao
• [FOM] The liar and the semantics of set theory (expansion)   Rupert McCallum
  • [FOM] The liar and the semantics of set theory (expansion)   Roger Bishop Jones
    • [FOM] The liar and the semantics of set theory (expansion)   Rupert McCallum
    • [FOM] The liar and the semantics of set theory (expansion)   Rupert McCallum
      • [FOM] The liar and the semantics of set theory (expansion)   Roger Bishop Jones
      • [FOM] The liar and the semantics of set theory (expansion)   Richard Heck
• [FOM] Re: paradox and circularity   Sandy Hodges
• [FOM] The liar and the semantics of set theory (expansion)   Rupert McCallum
• [FOM] Negative Types   Thomas Forster
• [FOM] wellfoundedness   Thomas Forster
• [FOM] The Scottfest   Steve Awodey
• [FOM] Fwd: meeting announcement   Martin Davis
• [FOM] Do hypersets have types?   Sandy Hodges
• [FOM] Algorithm for assigning truth values   Sandy Hodges
• [FOM] Criteria for a correct assignment of T, F, and Para   Sandy Hodges

Last message date: Mon Sep 30 23:16:35 EDT 2002
Archived on: Fri Mar 11 12:49:44 EDT 2005

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