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