December 2004 Archives by thread

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

Starting: Wed Dec 1 00:19:17 EDT 2004
Ending: Fri Dec 31 16:08:56 EDT 2004
Messages: 86

• [FOM] decidability of intuitionistic propositional logic   A.P. Hazen
  • [FOM] decidability of intuitionistic propositional logic   Neil Tennant
• [FOM] decidability of intuitionistic propositional logic   Arnon Avron
• [FOM] Historical query (on the very idea of a formalized theory)   Roger B Jones
• [FOM] Re: Shapiro on natural and formal languages   Roger B Jones
• [FOM] Paris Harrington for two colors   Andreas Weiermann
• [FOM] Re: Shapiro on natural and formal languages   henriknordmark at mac.com
• [FOM] Formalization of visual proofs (was Re: Shapiro)   Mitchell Harris
  • [FOM] Formalization of visual proofs (was Re: Shapiro)   Vladimir Sazonov
• [FOM] decidability of intuitionistic propositional logic   Alasdair Urquhart
• [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
  • [FOM] Re: Shapiro on natural and formal languages   Rob Arthan
    • [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
• [FOM] Re: Shapiro on natural and formal languages   Vladimir Sazonov
• [FOM] Historical query (on the very idea of a formalized theory)   Richard Zach
  • [FOM] Historical query (on the very idea of a formalized theory)   Richard Zach
• [FOM] decidability of intuitionistic propositional logic   Richard Zach
• [FOM] FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS.   John Corcoran
• [FOM] FIRST-ORDER LOGIC WITH IDENTITY, INDIVIDUAL CONSTANTS AND FUNCTION CONSTANTS.   A.P. Hazen
• [FOM] First CFP: ESSLLI Workshop on Challenges & Alternatives to Strict Compositionality   Manfred Sailer
• [FOM] Re: Shapiro on natural and formal languages   Jeremy Clark
  • [FOM] Re: Shapiro on natural and formal languages   Timothy Y. Chow
• [FOM] decidability of intuitionistic propositional logic   Neil Tennant
  • [FOM] decid'ity of int pro logic & Jaskowski   A.P. Hazen
• [FOM] 236:Pi01 Independence/Huge Cardinals   Harvey Friedman
• [FOM] Decidability of intuitionistic propositional logic   Alasdair Urquhart
• [FOM] Re: Shapiro on natural and formal languages   praatika at mappi.helsinki.fi
• [FOM] More on first-order logic with operation constants   John Corcoran
  • [FOM] More on first-order logic with operation constants   A.P. Hazen
• [FOM] Complexity of intuitionistic propositional calculus   Harvey Friedman
• [FOM] 237:More Neatening Pi01 Affine Independence   Harvey Friedman
• [FOM] CiE 2005: Reminder - Deadline December 17th   S B Cooper
• [FOM] More on first-order logic with operation constants   praatika at mappi.helsinki.fi
• [FOM] Potgieter on hypercomputation   Timothy Y. Chow
  • [FOM] Potgieter on hypercomputation   Apostolos Syropoulos
    • [FOM] Potgieter on hypercomputation   Vladimir Sazonov
• [FOM] 238:Pi01 Independence/Large Large Cardinals/Correction   Harvey Friedman
• [FOM] Another pair of historical queries ...   Peter Smith
  • [FOM] Another pair of historical queries ...   Neil Tennant
• [FOM] 3-year Lectureship, Logic/TCS, Bath, England   David J. Pym
• [FOM] CFP workshop on belief revision and dynamic logic   Andreas HERZIG
• [FOM] Re: Shapiro on natural and formal languages   Jeffrey Ketland
  • [FOM] Re: Shapiro on natural and formal languages   Vladimir Sazonov
• [FOM] Uncertainty   Steve Stevenson
• [FOM] SEALS 2005   Douglas Cenzer
• [FOM] 239:Pi01 Update   Harvey Friedman
• [FOM] ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE".   John Corcoran
• [FOM] 240:2nd Pi01 Update   Harvey Friedman
• [FOM] 241:3rd Pi01 Update   Harvey Friedman
• [FOM] ARISTOTLE, BOOLE, AND PEIRCE ON "SOME ECKS IS NOT A WYE".   Hartley Slater
• [FOM] Potgieter on hypercomputation   Apostolos Syropoulos
• [FOM] Closure under addition   Arnon Avron
  • [FOM] Closure under addition   Vladimir Sazonov
• [FOM] ESSLLI workshop CfP: Formal semantics and cross-linguistic data   Zwarts at science.uva.nl
• [FOM] Potgieter on hypercomputation   Vladimir Sazonov
  • [FOM] Potgieter on hypercomputation   Apostolos Syropoulos
    • [FOM] Potgieter on hypercomputation   Vladimir Sazonov
    • [FOM] Potgieter on hypercomputation   Robbie Lindauer
• [FOM] Re: Potgieter on hypercomputation   Timothy Y. Chow
  • [FOM] Re: Potgieter on hypercomputation   Apostolos Syropoulos
• [FOM] ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS II (first annoucement)   Carles Noguera i Clofent
• [FOM] Paradox on Ordinals and Human Mind   Dmytro Taranovsky
  • [FOM] Paradox on Ordinals and Human Mind   Schneelocke
  • [FOM] Paradox on Ordinals and Human Mind   Harvey Friedman
• [FOM] Potgieter on hypercomputation   Gernot Salzer
• [FOM] RE:2^1000   Matt Insall
  • [FOM] RE:2^1000   Vladimir Sazonov
    • [FOM] RE:2^1000   Matt Insall
• [FOM] Paradox on Ordinals and Human Mind   A.P. Hazen
• [FOM] 242:4th Pi01 Update   Harvey Friedman
• [FOM] Paradox on Ordinals and Human Mind   praatika at mappi.helsinki.fi
• [FOM] Why NP is not P: Basic combinatorial argument   Lew Gordeew
• [FOM] 243:Inexplicit Pi01/Ordinals of Set Theories   Harvey Friedman
• [FOM] Interpretability in Q   Edward T. Dean
  • [FOM] Interpretability in Q   Robert M. Solovay
    • [FOM] Interpretability in Q   Robert M. Solovay
  • [FOM] Interpretability in Q   Harvey Friedman
    • [FOM] Interpretability in Q/CORRECTION   Harvey Friedman
      • [FOM] Interpretability in Q: more comments.   Robert M. Solovay
• [FOM] Re: Interpretability in Q (Edward T. Dean)   Sam Buss
• [FOM] Feasibility   Vladimir Sazonov
• [FOM] Feasibility   Vladimir Sazonov
• [FOM] RE: Feasibility   Vladimir Sazonov
• [FOM] Platonism   praatika at mappi.helsinki.fi
• [FOM] recent biography of Alfred Tarski   Martin Davis
  • [FOM] recent biography of Alfred Tarski   Peter Smith

Last message date: Fri Dec 31 16:08:56 EDT 2004
Archived on: Fri Mar 11 12:50:54 EDT 2005

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