June 2000 Archives by subject

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

Starting: Thu Jun 1 09:26:43 EDT 2000
Ending: Fri Jun 30 09:01:56 EDT 2000
Messages: 158

FOM: 'constructivism' as 'minimalistic platonism' Peter Schuster
FOM: 'constructivism' as 'minimalistic platonism' Stephen G Simpson
FOM: 'constructivism' as 'minimalistic platonism' Fred Richman
FOM: 'constructivism' as 'minimalistic platonism' Peter Schuster
FOM: 'constructivism' as 'minimalistic platonism' Robert Black
FOM: 'constructivism' as 'minimalistic platonism' martin at eipye.com
FOM: 'constructivism' as 'minimalistic platonism' Jeffrey Ketland
FOM: 'constructivism' as 'minimalistic platonism' V. Sazonov
FOM: 'constructivism' as 'minimalistic platonism' V. Sazonov
FOM: 'constructivism' as 'minimalistic platonism' Fred Richman
FOM: 'constructivism' as 'minimalistic platonism' Fred Richman
FOM: 'constructivism' as 'minimalistic platonism' Jeffrey Ketland
FOM: 'constructivism' as 'minimalistic platonism' Fred Richman
FOM: 'constructivism' as 'minimalistic platonism' Andrej.Bauer at cs.cmu.edu
FOM: (ir)rational numbers Peter Schuster
FOM: 88:Boolean Relation Theory Harvey Friedman
FOM: 89:Model Theoretic Interpretations of Set Theory Harvey Friedman
FOM: 90:Two Universes Harvey Friedman
FOM: 91:Counting Theorems Harvey Friedman
FOM: 92:Thin Set Theorem Harvey Friedman
FOM: A question concerning HA* Robert M. Solovay
FOM: a quote on aversion to set theory Matthew Frank
FOM: administrative announcement: FOM Editorial Board FOM Moderator
FOM: Alternative foundations for mathematics Jesse A. Alama
FOM: answer to Percival Joe Shipman
FOM: anti-foundation and the category of sets Stephen G Simpson
FOM: anti-foundation and the category of sets Colin McLarty
FOM: anti-foundation and the category of sets Stephen G Simpson
FOM: are sets made up of their elements? holmes at catseye.idbsu.edu
FOM: conference in honor of Jim Schmerl's 60th birthday Stephen G Simpson
FOM: conference on diagrammatic reasoning Stephen G Simpson
FOM: Constructive Logic and Subjectivism Allen Hazen
FOM: constructive math Matthew Frank
FOM: constructivist philosophy Stephen G Simpson
FOM: constructivist philosophy Fred Richman
FOM: constructivist philosophy Thomas Forster
FOM: constructivist philosophy V. Sazonov
FOM: correction Dave Marker
FOM: Determinacy of statements Joe Shipman
FOM: Determinacy of statements Fred Richman
FOM: Determinacy of statements -- reply to Richman JoeShipman at aol.com
FOM: Determinacy of statements -- reply to Richman Fred Richman
FOM: Determinacy of statements -- reply to Richman V. Sazonov
FOM: Determinacy of statements -- reply to Richman Fred Richman
FOM: Do realists really know? Mark Steiner
FOM: Do realists really know? Peter Schuster
FOM: Do realists really know? Neil Tennant
FOM: Effective Bounds in Core Mathematics Harvey Friedman
FOM: Effective Bounds in Core Mathematics Fred Richman
FOM: Effective Bounds in Core Mathematics Harvey Friedman
FOM: Effective Bounds in Core Mathematics Fred Richman
FOM: Effective Bounds in Core Mathematics Harvey Friedman
FOM: Effective Bounds in Core Mathematics Fred Richman
FOM: Effective Bounds in Core Mathematics Martin Davis
FOM: Effective Bounds in Core Mathematics Fred Richman
FOM: Effective Bounds in Core Mathematics Harvey Friedman
FOM: Effective Bounds in Core Mathematics Fred Richman
FOM: Factoring axiom vs Large cardinal axioms Harvey Friedman
FOM: FLOC 2002 - Preliminary Announcement Stephen G Simpson
FOM: FOM faces at ASL 2000; themes of the meeting Stephen G Simpson
FOM: fom hiatus; ASL 2000 Stephen G Simpson
FOM: Formalists (reply to V. Sazonov) Allen Hazen
FOM: Formalists (reply to V. Sazonov) V. Sazonov
FOM: Formalists (reply to V. Sazonov) Matthew Frank
FOM: Formalists (reply to V. Sazonov) V. Sazonov
FOM: From philosophy to `applied' model theory John Baldwin
FOM: From philosophy to `applied' model theory Stephen G Simpson
FOM: From philosophy to `applied' model theory urquhart at cs.toronto.edu
FOM: HA and PA Joe Shipman
FOM: HA and PA Harvey Friedman
FOM: human well-being; constructivism; anti-foundation Fred Richman
FOM: human well-being; constructivism; anti-foundation V. Sazonov
FOM: human well-being; constructivism; anti-foundation Jesse F. Hughes
FOM: Interpreting Set Theory in Higher Order Logic Allen Hazen
FOM: Is `weak realism' possible? Peter Schuster
FOM: Logic and philosophy urquhart at urquhart.theory.toronto.edu
FOM: Mathematical and moral certainty urquhart at urquhart.theory.toronto.edu
FOM: minor technical correction holmes at catseye.idbsu.edu
FOM: misunderstandings? holmes at catseye.idbsu.edu
FOM: misunderstandings? Cristian Cocos
FOM: misunderstandings? Fred Richman
FOM: misunderstandings? Martin Davis
FOM: misunderstandings? Fred Richman
FOM: more on Nabutovsky and Weinberger and Soare Peter Cholak
FOM: my non-constructive proof martin at eipye.com
FOM: my non-constructive proof Fred Richman
FOM: my non-constructive proof Martin Davis
FOM: my non-constructive proof Ayan Mahalanobis
FOM: my non-constructive proof Fred Richman
FOM: my non-constructive proof Martin Davis
FOM: my non-constructive proof Fred Richman
FOM: my non-constructive proof Harvey Friedman
FOM: Mysteriousness of membership: completed Allen Hazen
FOM: non-ASCII characters Stephen G Simpson
FOM: non-standard analysis Philip Percival
FOM: Nonstandard analysis -- reply to Percival Joe Shipman
FOM: Ontology of Mathematics Jan Mycielski
FOM: Ontology of Mathematics V. Sazonov
FOM: Ontology of Mathematics Harvey Friedman
FOM: Philosophy of Mathematics - why nothing works! Jeffrey Ketland
FOM: Pure and Applied Model Theory Harvey Friedman
FOM: question for DMNNA panel Dave Marker
FOM: question for DMNNA panel urquhart at urquhart.theory.toronto.edu
FOM: question for DMNNA panel Martin Davis
FOM: question for DMNNA panel V. Sazonov
FOM: question for DMNNA panel Stephen G Simpson
FOM: re: ``infinite products'' Matt Insall
FOM: Re: (ir)rational numbers Harvey Friedman
FOM: Re: A question concerning HA* Harvey Friedman
FOM: Re: GCH. Jan Mycielski
FOM: Re: GCH. Jan Mycielski
FOM: Re: question for DMNNA panel Henry Cohn
FOM: Re: science and constructive mathematics Harvey Friedman
FOM: Re: science and constructive mathematics Neil Tennant
FOM: Re: twin primes again Joe Shipman
FOM: Re: twin primes again V. Sazonov
FOM: Re: your papers on constructive math Neil Tennant
FOM: Re: your papers on constructive math Neil Tennant
FOM: Realism and formalism V. Sazonov
FOM: science and constructive mathematics Matthew Frank
FOM: science and constructive mathematics Peter Schuster
FOM: Simpson on AFA and Categories Allen Hazen
FOM: Simpson's Urbana thoughts on model theory Dave Marker
FOM: Some thought on "Realism" Joe Shipman
FOM: Some thought on "Realism" Neil Tennant
FOM: Some thought on "Realism" Michael Zeleny
FOM: Some thought on "Realism" Peter Schuster
FOM: Some thoughts on "Realism" JoeShipman at aol.com
FOM: Some thoughts on "Realism" Joe Shipman
FOM: Some thoughts on "Realism" Fred Richman
FOM: Tbilisi Summer School Stephen G Simpson
FOM: Text of Address Harvey Friedman
FOM: The "Mysteriousness" of Membership Allen Hazen
FOM: the Urbana meeting Martin Davis
FOM: the Urbana meeting Harvey Friedman
FOM: the Urbana meeting Martin Davis
FOM: the Urbana meeting Martin Davis
FOM: the Urbana meeting Harvey Friedman
FOM: the Urbana meeting Neil Tennant
FOM: twin primes again Peter Schuster
FOM: twin primes vs. Goldbach conjecture Peter Schuster
FOM: Urbana Thoughts Harvey Friedman
FOM: Urbana thoughts Matthew Frank
FOM: Urbana Thoughts John Baldwin
FOM: Urbana Thoughts Harvey Friedman
FOM: Urbana thoughts erratum Matthew Frank
FOM: Urbana thoughts; model theory; spirit of generosity? Stephen G Simpson
FOM: Urbana thoughts; Soare; Pillay Stephen G Simpson
FOM: weak realism, bivalence, and Godel holmes at catseye.idbsu.edu
FOM: weak realism, bivalence, and Godel Neil Tennant
FOM: well-founded extensional relations holmes at catseye.idbsu.edu
FOM: well-founded extensional relations Thomas Forster
FOM: well-founded extensional relations holmes at catseye.idbsu.edu
FOM: well-founded extensional relations Stephen G Simpson
FOM: well-founded extensional relations Thomas Forster
FOM: well-founded extensional relations Kanovei
FOM: What is the role of philosophy in math. logic research? Andrew Arana
FOM: What is the role of philosophy in math. logic research? Stephen G Simpson

Last message date: Fri Jun 30 09:01:56 EDT 2000
Archived on: Fri Mar 11 12:48:57 EDT 2005

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

This archive was generated by Pipermail 0.09 (Mailman edition).