September 2000 Archives by date
Starting: Fri Sep 1 01:41:37 EDT 2000
Ending: Sat Sep 30 05:00:30 EDT 2000
Messages: 158
- FOM: Re: first order and second order logic: once more
Roger Bishop Jones
- FOM: first order and second order logic: once more
Roger Bishop Jones
- FOM: first order and second order logic: once more
Till Mossakowski
- FOM: Questions on higher-order logic
H. Enderton
- FOM: first order and second order logic: once more
Martin Davis
- FOM: first order and second order logic: once more
Robert Black
- FOM: Summer 2001 Seminar Opportunity
Colin McLarty
- FOM: Questions on higher-order logic
Allen Hazen
- FOM: Re: first order and second order logic: once more
V. Sazonov
- FOM: first order and second order logic: once more
Roger Bishop Jones
- FOM: reply to Holmes (about set theory and genuine Platonism)
Joseph Vidal-Rosset
- FOM: Analogy between spacetime and formalism?
Jeffrey Ketland
- FOM: Questions on higher-order logic
Robert M. Solovay
- FOM: first order and second order logic: once more
Martin Davis
- FOM: determinate truth values
Harvey Friedman
- FOM: On the expressiveness of languages and the recursive complexity of truth
Roger Bishop Jones
- FOM: Second-order logic and the logic of properties
Charles Stewart
- FOM: first order and second order logic: once more
Roger Bishop Jones
- FOM: determinate truth values
Martin Davis
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: Questions on higher-order logic
JoeShipman at aol.com
- FOM: determinate truth values, coherent pragmatism
JoeShipman at aol.com
- FOM: Saying what you mean
Roger Bishop Jones
- FOM: Questions on higher-order logic
Robert M. Solovay
- FOM: determinate truth values, coherent pragmatism
Martin Davis
- FOM: determinate truth values
Arnon Avron
- FOM: Reformulation of errors
JoeShipman at aol.com
- FOM: first order and second order logic: once more
Matt Insall
- FOM: Transcendental Propositions?
Harvey Friedman
- FOM: Midwest Model Theory Meeting
Stephen G Simpson
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: Analogy between spacetime and formalism?
V. Sazonov
- FOM: determinate truth values, coherent pragmatism
V. Sazonov
- FOM: determinate truth values
Matt Insall
- FOM: determinate truth values, coherent pragmatism
Martin Davis
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: Re: Determinate Truth Values
Matt Insall
- FOM: determinate truth values, coherent pragmatism
Martin Davis
- FOM: determinate truth values, coherent pragmatism
John Steel
- FOM: Questions on higher-order logic
Robert M. Solovay
- FOM: Definitive Answers to Questions
Harvey Friedman
- FOM: Questions on higher-order logic
JoeShipman at aol.com
- FOM: SOL confusion
Harvey Friedman
- FOM: SOL confusion
JoeShipman at aol.com
- FOM: Re: SOL confusion
Roger Bishop Jones
- FOM: SOL confusion
Harvey Friedman
- FOM: SOL confusion
Thomas Forster
- FOM: Re: SOL confusion
Roger Bishop Jones
- FOM: SOL confusion
Harvey Friedman
- FOM: determinate truth values, coherent pragmatism
Kanovei
- FOM: determinate truth values, coherent pragmatism
V. Sazonov
- FOM: Re: SOL confusion
V. Sazonov
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: Re: SOL confusion
Roger Bishop Jones
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Martin Davis
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Martin Davis
- FOM: correction
Martin Davis
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Walter Felscher
- FOM: Re: SOL confusion
Martin Davis
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: determinate truth values, coherent pragmatism
Harvey Friedman
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Martin Davis
- FOM: Re: SOL confusion
JoeShipman at aol.com
- FOM: Clarification
JoeShipman at aol.com
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
V. Sazonov
- FOM: Re: SOL confusion
Matt Insall
- FOM: A semantics for SOL
Matt Insall
- FOM: SOL confusion: reply to Friedman
JoeShipman at aol.com
- FOM: ``Reduction'' of FOL to Propositional logic
Matt Insall
- FW: FOM: Re: SOL confusion
Matt Insall
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: Re: SOL confusion
Harvey Friedman
- FOM: logical vs mathematical
Martin Davis
- FOM: FOL & SOL - extensional vs intensional
Martin Davis
- FOM: SOL confusion
John Mayberry
- FOM: RE: Re: SOL confusion
Harvey Friedman
- FOM: SOL confusion
Harvey Friedman
- FOM: Re: logical vs mathematical
Roger Bishop Jones
- FOM: logical vs mathematical
Till Mossakowski
- FOM: A better reason, IMO, that SOL is syntactically ``more expressive'' than FOL
Matt Insall
- FOM: RE: Re: SOL confusion
Matt Insall
- FOM: logical vs mathematical
Roger Bishop Jones
- FOM: The logical, the set-theoretical, and the mathematical
Joe Shipman
- FOM: Re: The logical, the set-theoretical, and the mathematical
Jeffrey Ketland
- FOM: Re: The logical, the set-theoretical, and the mathematical
Roger Bishop Jones
- FOM: The logical, the set-theoretical, and the mathematical
Harvey Friedman
- FOM: SOL confusion
John Mayberry
- FOM: The logical, the set-theoretical, and the mathematical: Reply to Ketland
Joe Shipman
- FOM: Applications of real mathematics to proof theory
Andreas Weiermann
- FOM: Re: The logical, the set-theoretical, and the mathematical: Reply to Ketland
Jeffrey Ketland
- FOM: The logical, the set-theoretical, and the mathematical
Kanovei
- FOM: Re: The logical, the set-theoretical, and the mathematical
Edwin Mares
- FOM: The logical, the set-theoretical, and the mathematical
Robert M. Solovay
- FOM: SOL confusion
Harvey Friedman
- FOM: Re: The logical, the set-theoretical, and the mathematical
Jeffrey Ketland
- FOM: Correction - flatus vocis
Jeffrey Ketland
- FOM: The logical, the set-theoretical, and the mathematical
Kanovei
- FOM: The logical, the set-theoretical, and the mathematical
Robert M. Solovay
- FOM: The logical, the set-theoretical, and the mathematical: Reply to Ketland
V. Yu. Shavrukov
- FOM: The logical, the set-theoretical, and the mathematical
Kanovei
- FOM: Re: The Logical, the set-theoretical, the mathematical
Allen Hazen
- FOM: offprints of study of Maddy's Naturalism in Mathematics
Neil Tennant
- FOM: The logical, the set-theoretical, and the mathematical: Reply to Ketland
Kanovei
- FOM: Re: The logical, the set-theoretical, and the mathematical: Reply to Ketland
Stephen Yablo
- FOM: on the definability of "polyadic comprehension"
Roger Bishop Jones
- FOM: Plural Quantification and Comprehension
Allen Hazen
- FOM: Re: Plural Quantification and Comprehension
charles silver
- FOM: Re: Plural Quantification and Comprehension
Roger Bishop Jones
- FOM: non-computable waves
Prof. Weihrauch
- FOM: HA and Post's Problem
jvoosten at math.uu.nl
- FOM: workshop in Spain
Stephen G Simpson
- FOM: Ontology in Logic and Mathematics
Joe Shipman
- FOM: epsilon terms and choice
V. Yu. Shavrukov
- FOM: determinate truth values, coherent pragmatism
JoeShipman at aol.com
- FOM: 93:Orderings on Formulas
Harvey Friedman
- FOM: HA and Post's Problem; correction
jvoosten at math.uu.nl
- FOM: epsilon terms and choice
Matt Insall
- FOM: epsilon terms and choice
V. Yu. Shavrukov
- FOM: RE: Insall's set theory
V. Yu. Shavrukov
- FOM: 94:Relative Completeness
Harvey Friedman
- FOM: epsilon terms and choice
Matt Insall
- FOM: Conference: New programs ... 13-14/11/00
Giuseppe Longo
- FOM: HA and Post's Problem
Stephen G Simpson
- FOM: Revised Axioms for a possible solution to Professor Shavrukov's GC problem
Matt Insall
- FOM: HA and Post's Problem
jvoosten at math.uu.nl
- FOM: Two new phil maths textbooks
Jeffrey Ketland
- FOM: Axioms of Substitution
Matt Insall
- FOM: colloquium on 3.14...............0.......... (fwd)
Robert M. Solovay
- FOM: correction: colloquium on 11. ...............0.......... (fwd)
Robert M. Solovay
- FOM: Harvey's First Questions to Mathematicians
Matt Insall
- FOM: A 1997 message of Professor Pillay...His first ``overly polemical statement''
Matt Insall
- FOM: A 1997 message of Professor Pillay...His second ``overly polemical statement''
Matt Insall
- FOM: HA and Post's Problem
Stephen G Simpson
- FOM: Re: Ontology in Logic and Mathematics
Roger Bishop Jones
- FOM: epsilon terms and choice
Kanovei
- FOM: epsilon terms and choice
V. Yu. Shavrukov
- FOM: RE: Insall's set theory
Matt Insall
- FOM: Re: Re: Ontology in Logic and Mathematics
Jeffrey Ketland
- FOM: Re: Insall's Set Theory
Matt Insall
- FOM: RE: Re: Ontology in Logic and Mathematics
Matt Insall
- FOM: epsilon terms and choice
Kanovei
- FOM: Re: Ontology in Logic and Mathematics
Roger Bishop Jones
- FOM: Re: Ontology in Logic and Mathematics
Roger Bishop Jones
- FOM: RE: Re: Ontology in Logic and Mathematics
Matt Insall
- FOM: Re: Ontology in Logic and Mathematics
Matt Insall
- FOM: Re: Ontology in Logic and Mathematics
Roger Bishop Jones
- FOM: Re: Logic in Ontology and Mathematics
Allen Hazen
- FOM: Re: Ontology in Logic and Mathematics
Roger Bishop Jones
- FOM: Is reasoning in NF "tricky"?
holmes at catseye.idbsu.edu
- FOM: A Followup on An Earlier Point
Steve Stevenson
- FOM: Is reasoning in NF "tricky"?
Allen Hazen
Last message date:
Sat Sep 30 05:00:30 EDT 2000
Archived on: Fri Mar 11 12:49:03 EDT 2005
This archive was generated by
Pipermail 0.09 (Mailman edition).