sci.logic (thread)

Possible world semantics, Sundar, 2006/03/30
- Re: Possible world semantics, Frederick Williams, 2006/03/31
  - Re: Possible world semantics, Sundar, 2006/03/31
    - Re: Possible world semantics, Frederick Williams, 2006/03/31
- Re: Possible world semantics, Jan Burse, 2006/03/31
- Re: Possible world semantics, Paul Holbach, 2006/03/31
- Re: Possible world semantics, Frederick Williams, 2006/03/31
FOL theories and models - A "peculiar" situation, Nam Nguyen, 2006/03/30
- Re: FOL theories and models - A "peculiar" situation, Bertie Reed, 2006/03/31
Countable Ordinals, Andrew J Bacon, 2006/03/29
- Re: Countable Ordinals, matthias, 2006/03/29
- Re: Countable Ordinals, Stephen J. Herschkorn, 2006/03/29
  - Re: Countable Ordinals, Andrew J Bacon, 2006/03/30
Re: The KIF system (Knowledge Interchange Format), Chris Menzel, 2006/03/29
- Re: The KIF system (Knowledge Interchange Format), Don Geddis, 2006/03/30
every semidecidable set contains decidable subset?, Per Freem, 2006/03/27
- Re: every semidecidable set contains decidable subset?, Daryl McCullough, 2006/03/28
- Re: every semidecidable set contains decidable subset?, george, 2006/03/28
  - Re: every semidecidable set contains decidable subset?, Daryl McCullough, 2006/03/28
independent axiomatization, Li Yi, 2006/03/26
Game Outcome, tjb, 2006/03/25
- Re: Game Outcome, tjb, 2006/03/29
Goldbach Conjecture - A metaphor, Nam Nguyen, 2006/03/25
- Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 2006/03/25
- Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 2006/03/29
  - Re: Goldbach Conjecture - A metaphor, george, 2006/03/29
    - Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 2006/03/29
      
      Re: Goldbach Conjecture - A metaphor, george, 2006/03/30
      
      Re: Goldbach Conjecture - A metaphor, Nam Nguyen, 2006/03/30
Three door problem, peterlavington, 2006/03/23
- Re: Three door problem, Arturo Magidin, 2006/03/23
Maximal/ly, Frederick Williams, 2006/03/23
- Re: Maximal/ly, William Elliot, 2006/03/23
  - Re: Maximal/ly, Frederick Williams, 2006/03/25
- Re: Maximal/ly, David C . Ullrich, 2006/03/24
  - Re: Maximal/ly, Frederick Williams, 2006/03/24
Universal Programming Lanaguage, edward . meinert, 2006/03/23
- Re: Universal Programming Lanaguage, H. J. Sander Bruggink, 2006/03/23
  - Re: Universal Programming Lanaguage, Frederick Williams, 2006/03/23
    - Re: Universal Programming Lanaguage, H. J. Sander Bruggink, 2006/03/23
- Re: Universal Programming Lanaguage, The Ghost In The Machine, 2006/03/24
pages 76-125; History of Euclid Proof of Infinitude of Primes from Ancient Greek to year 2006, a_plutonium, 2006/03/23
- Re: pages 76-125; History of Euclid Proof of Infinitude of Primes from Ancient Greek to year 2006, Robert Low, 2006/03/23
Primitive Recursive Arithmetic - formulation?, MoeBlee, 2006/03/20
- Re: Primitive Recursive Arithmetic - formulation?, Daryl McCullough, 2006/03/21
  - Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 2006/03/23
    - Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 2006/03/23
    - Re: Primitive Recursive Arithmetic - formulation?, Daryl McCullough, 2006/03/23
      
      Re: Primitive Recursive Arithmetic - formulation?, MoeBlee, 2006/03/23
Re: Harvey Friedman on Cantorian pseudomathematics, george, 2006/03/20
Re: Z set theory - predicative or impredicative?, MoeBlee, 2006/03/20
- Re: Z set theory - predicative or impredicative?, Daryl McCullough, 2006/03/20
  - Re: Z set theory - predicative or impredicative?, Bill Taylor, 2006/03/22
    - Re: Z set theory - predicative or impredicative?, Daryl McCullough, 2006/03/22
- Re: Z set theory - predicative or impredicative?, R. Srinivasan, 2006/03/22
recursively enumerable sets, Per Freem, 2006/03/20
- Re: recursively enumerable sets, waveletter, 2006/03/22
  - Re: recursively enumerable sets, Per Freem, 2006/03/25
    - Re: recursively enumerable sets, waveletter, 2006/03/28
      
      Re: recursively enumerable sets, waveletter, 2006/03/28
    - Re: recursively enumerable sets, waveletter, 2006/03/29
I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 2006/03/17
- Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 2006/03/18
  - Re: I have a question about Godel's proof ..., Rupert, 2006/03/18
  - Re: I have a question about Godel's proof ..., Daryl McCullough, 2006/03/18
  - Re: I have a question about Godel's proof ..., waveletter, 2006/03/19
    - Re: I have a question about Godel's proof ..., waveletter, 2006/03/19
      
      Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 2006/03/20
      
      Re: I have a question about Godel's proof ..., Daryl McCullough, 2006/03/20
      
      Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 2006/03/20
      
      Re: I have a question about Godel's proof ..., waveletter, 2006/03/21
      
      Re: I have a question about Godel's proof ..., juanpool@xxxxxxxxx, 2006/03/21
Psychological Test on Personal Orientation, ggroups, 2006/03/16
gggggggggg, yusufislam123, 2006/03/15
- Re: gggggggggg, Tim, 2006/03/15
- gggggggggg, yusufislam123, 2006/03/15
CFP: LCC'06 - Workshop on Logic and Computational Complexity, Jim Royer, 2006/03/15
George Berkeley opposing material substances, mandiemohsenzadegan, 2006/03/15
- Re: George Berkeley opposing material substances, Mandie, 2006/03/15
  - Re: George Berkeley opposing material substances, Tron, 2006/03/15
  - Re: George Berkeley opposing material substances, Frederick Williams, 2006/03/16
    - Re: George Berkeley opposing material substances, Tron, 2006/03/16
      
      Re: George Berkeley opposing material substances, Frederick Williams, 2006/03/16
      
      Re: George Berkeley opposing material substances, Tron, 2006/03/16
    - Re: George Berkeley opposing material substances, Barb Knox, 2006/03/16
- Re: George Berkeley opposing material substances, Frederick Williams, 2006/03/16
Dansassertions.lsip, Daniel al-Autistiqui, 2006/03/15
- Re: Dansassertions.lsip, Jan Burse, 2006/03/16
- Re: Dansassertions.lsip, Daniel al-Autistiqui, 2006/03/16
Dansrules.lsip, Daniel al-Autistiqui, 2006/03/15
- Re: Dansrules.lsip, Kaz Kylheku, 2006/03/15
  - Re: Dansrules.lsip, Daniel al-Autistiqui, 2006/03/16
Dan's first attempt at a LISP-based "artificial symbolic language", Daniel al-Autistiqui, 2006/03/15
- KIF: Knowledge Interchange Format (was: Re: Dan's first attempt at a LISP-based "artificial symbolic language"), Daniel al-Autistiqui, 2006/03/24
Re: Modal Logic and natural deduction...., Immortalist, 2006/03/15
- Re: Modal Logic and natural deduction...., Antonio Martini, 2006/03/15
  - Re: Modal Logic and natural deduction...., jeffrubard, 2006/03/16
    - Re: Modal Logic and natural deduction...., Chris Menzel, 2006/03/16
      
      Re: Modal Logic and natural deduction...., jeffrubard, 2006/03/16
      
      Re: Modal Logic and natural deduction...., Chris Menzel, 2006/03/17
      
      Re: Modal Logic and natural deduction...., Antonio Martini, 2006/03/17
      
      Re: Modal Logic and natural deduction...., Frederick Williams, 2006/03/17
      
      Re: Modal Logic and natural deduction...., Jeff Rubard, 2006/03/17
- Re: Modal Logic and natural deduction...., Chris Menzel, 2006/03/16
  - Re: Modal Logic and natural deduction...., Antonio Martini, 2006/03/16
Henderton or Mendelson, ali_tofigh, 2006/03/14
- Re: Henderton or Mendelson, Chris Menzel, 2006/03/15
  - Re: Henderton or Mendelson, ali_tofigh, 2006/03/17
    - Re: Henderton or Mendelson, Chris Menzel, 2006/03/17
- Re: Henderton or Mendelson, Frederick Williams, 2006/03/15
  - Re: Henderton or Mendelson, ali_tofigh, 2006/03/17
- Re: Henderton or Mendelson, smnewberger, 2006/03/16
Goedel incompl. theorems, zakvald, 2006/03/13
- Re: Goedel incompl. theorems, waveletter, 2006/03/14
  - Re: Goedel incompl. theorems, Chris Menzel, 2006/03/15
    - Re: Goedel incompl. theorems, george, 2006/03/16
      
      Re: Goedel incompl. theorems, Kilgore Trout, 2006/03/16
      
      Re: Goedel incompl. theorems, george, 2006/03/19
  - Re: Goedel incompl. theorems, zakvald, 2006/03/20
  - Re: Goedel incompl. theorems, Henrik, 2006/03/24
    - Re: Goedel incompl. theorems, george, 2006/03/24
      
      Re: Goedel incompl. theorems, Henrik, 2006/03/25
    - Re: Goedel incompl. theorems, waveletter, 2006/03/28
- Re: Goedel incompl. theorems, William Elliot, 2006/03/15
  - Re: Goedel incompl. theorems, Chris Menzel, 2006/03/15
    - Re: Goedel incompl. theorems, zakvald, 2006/03/15
      
      Re: Goedel incompl. theorems, waveletter, 2006/03/16
      
      Re: Goedel incompl. theorems, zakvald, 2006/03/20
      
      Re: Goedel incompl. theorems, Henrik, 2006/03/16
      
      Re: Goedel incompl. theorems, george, 2006/03/19
      
      Re: Goedel incompl. theorems, zakvald, 2006/03/20
      
      Re: Goedel incompl. theorems, george, 2006/03/20
    - Re: Goedel incompl. theorems, waveletter, 2006/03/16
      
      Re: Goedel incompl. theorems, William Elliot, 2006/03/16
      
      Re: Goedel incompl. theorems, waveletter, 2006/03/16
  - Re: Goedel incompl. theorems, waveletter, 2006/03/16
    - Re: Goedel incompl. theorems, george, 2006/03/24
      
      Re: Goedel incompl. theorems, waveletter, 2006/03/28
      
      Re: Goedel incompl. theorems, george, 2006/03/30
Lemmon-style natural deduction and modal logic, Antonio Martini, 2006/03/13
- Re: Lemmon-style natural deduction and modal logic, Frederick Williams, 2006/03/16
Church's Thesis and Generalized Church's Thesis, Peter_Smith, 2006/03/13
Logic - Open Access Publications, Giandomenico Sica, 2006/03/13
Re: Axioms for the real numbers, G . Frege, 2006/03/12
problem, davide, 2006/03/11
- Re: problem, The Ghost In The Machine, 2006/03/11
  - Re: problem, davide, 2006/03/18
Duals of Smullyan trees, Michael De, 2006/03/10
- Re: Duals of Smullyan trees, Jan Burse, 2006/03/10
- Re: Duals of Smullyan trees, Michael De, 2006/03/10
Arithmetical statements that apply to cryptography and are undecidable in PA, Giovanni Lagnese, 2006/03/08
Google weirdness, Ken Quirici, 2006/03/07
- Re: Google weirdness, Ken Pledger, 2006/03/07
How to use the rules of the Socratic Method in our search for truth, romain . angeles, 2006/03/06
A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 2006/03/06
- Re: A historical question concerning the "Nicod Stroke", William Elliot, 2006/03/06
  - Re: A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 2006/03/06
- Re: A historical question concerning the "Nicod Stroke", H. J. Sander Bruggink, 2006/03/06
  - Re: A historical question concerning the "Nicod Stroke", Daniel M. Ryan, 2006/03/06
- Re: A historical question concerning the "Nicod Stroke", G . Frege, 2006/03/06
Defining Tautologies, Tom, 2006/03/05
- Re: Defining Tautologies, Aatu Koskensilta, 2006/03/06
  - Re: Defining Tautologies, Tom, 2006/03/06
    - Re: Defining Tautologies, waveletter, 2006/03/09
      
      Re: Defining Tautologies, Tom Adams, 2006/03/09
- Re: Defining Tautologies, smnewberger, 2006/03/08
  - Re: Defining Tautologies, Jan Burse, 2006/03/08
    - Re: Defining Tautologies, Tom Adams, 2006/03/10
Wierd Truth Table, Protoman, 2006/03/05
- Re: Wierd Truth Table, William Elliot, 2006/03/05
  - Re: Wierd Truth Table, Protoman, 2006/03/05
    - Re: Wierd Truth Table, William Elliot, 2006/03/05
- Re: Wierd Truth Table, Roberto Vescarelli, 2006/03/05
  - Re: Wierd Truth Table, Protoman, 2006/03/05
    - Re: Wierd Truth Table, Owen, 2006/03/05
- Re: Wierd Truth Table, Owen, 2006/03/05
  - Re: Wierd Truth Table, Protoman, 2006/03/05
- Re: Wierd Truth Table, Jeffrey Ketland, 2006/03/05
- Re: Wierd Truth Table, The Ghost In The Machine, 2006/03/05
  - Re: Wierd Truth Table, Protoman, 2006/03/05
    - Re: Wierd Truth Table, The Ghost In The Machine, 2006/03/05
      
      Re: Wierd Truth Table, Protoman, 2006/03/05
      
      Re: Wierd Truth Table, The Ghost In The Machine, 2006/03/05
      
      Re: Wierd Truth Table, Protoman, 2006/03/05
      
      Re: Wierd Truth Table, The Ghost In The Machine, 2006/03/11
- Re: Wierd Truth Table, Jeffrey Ketland, 2006/03/05
Further Reduction of the General Incompleteness Principle, Charlie-Boo, 2006/03/04
IPP - proof and question, ken.quirici@xxxxxxxxxx, 2006/03/04
- Re: IPP - proof and question, ken.quirici@xxxxxxxxxx, 2006/03/04
Re: A Definition of an Algorithm and its relation to Hilbert's 10th, Nathan Gilbert, 2006/03/04
- Re: A Definition of an Algorithm and its relation to Hilbert's 10th, Aatu Koskensilta, 2006/03/04
- Re: A Definition of an Algorithm and its relation to Hilbert's 10th, george, 2006/03/09
Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/03
- Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/03
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/03
    - Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/03
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/04
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/05
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/10
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/10
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/10
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
    - Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
    - Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, H. J. Sander Bruggink, 2006/03/14
- Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/04
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/04
    - Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/05
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/05
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/10
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Chris Menzel, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/13
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/14
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/06
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/10
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, Daryl McCullough, 2006/03/10
- Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 2006/03/04
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 2006/03/04
- Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 2006/03/04
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Jan Burse, 2006/03/05
  - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
- Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/11
  - Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/12
    - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/13
    - Re: Comparing Proofs of Rosser's 1936 Theorem, Charlie-Boo, 2006/03/12
      
      Re: Comparing Proofs of Rosser's 1936 Theorem, David C . Ullrich, 2006/03/13
Skolemization and quantifier dependencies, Michael De, 2006/03/03
- Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 2006/03/03
  - Re: Skolemization and quantifier dependencies, Michael De, 2006/03/03
    - Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 2006/03/03
      
      Re: Skolemization and quantifier dependencies, Michael De, 2006/03/04
      
      Re: Skolemization and quantifier dependencies, Michael De, 2006/03/10
      
      Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 2006/03/12
      
      Re: Skolemization and quantifier dependencies, Michael De, 2006/03/12
      
      Re: Skolemization and quantifier dependencies, Aatu Koskensilta, 2006/03/13
      
      Re: Skolemization and quantifier dependencies, george, 2006/03/19
      
      Re: Skolemization and quantifier dependencies, Michael De, 2006/03/19
      
      Re: Skolemization and quantifier dependencies, george, 2006/03/22
      
      Re: Skolemization and quantifier dependencies, Daryl McCullough, 2006/03/13
      
      Re: Skolemization and quantifier dependencies, Barb Knox, 2006/03/13
      
      Re: Skolemization and quantifier dependencies, Daryl McCullough, 2006/03/13
  - Re: Skolemization and quantifier dependencies, Ross A. Finlayson, 2006/03/03
    - Re: Skolemization and quantifier dependencies, Ross A. Finlayson, 2006/03/03
- Re: Skolemization and quantifier dependencies, Keith Ramsay, 2006/03/04
Re: Proving induction, Charlie-Boo, 2006/03/02
(t-table and t-trees) vs. ND, studylogic06, 2006/03/02
Re: Ad hominem [summary] ping Denis Loubet, Paul Hovnanian P.E., 2006/03/02
All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 2006/03/02
- Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Colin, 2006/03/03
  - Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 2006/03/03
    - Re: All Metamathematical Incompleteness (Godel, Rosser, Smullyan) in one simple Proof - Amazing!, Charlie-Boo, 2006/03/03
Re: A Definition of an Algorithm, Rob Arthan, 2006/03/02
- Re: A Definition of an Algorithm, noson, 2006/03/11
  - Re: A Definition of an Algorithm, george, 2006/03/12
natural deduction, fooby, 2006/03/02
- Re: natural deduction, Chris Menzel, 2006/03/02
- Re: natural deduction, Manuel Bremer, 2006/03/02
Corresponding Material Conditionals, studylogic06, 2006/03/02
- Re: Corresponding Material Conditionals, G . Frege, 2006/03/02
  - Re: Corresponding Material Conditionals, studylogic06, 2006/03/02
    - Re: Corresponding Material Conditionals, studylogic06, 2006/03/02
Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, Manuel Bremer, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, Chris Menzel, 2006/03/01
  - Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, Daryl McCullough, 2006/03/01
  - Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/01
    - Re: Sorry Godel - All Truths are Provable, Daryl McCullough, 2006/03/01
      
      Re: Sorry Godel - All Truths are Provable, Chris Menzel, 2006/03/01
      
      Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/05
    - Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/01
      
      Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/03
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/04
      
      Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/04
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/05
      
      Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/05
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/05
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/05
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/07
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/07
      
      Re: Sorry Godel - All Truths are Provable, Aatu Koskensilta, 2006/03/07
      
      Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/06
      
      Re: Sorry Godel - All Truths are Provable, george, 2006/03/07
      
      Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 2006/03/08
      
      Re: Sorry Godel - All Truths are Provable, george, 2006/03/08
      
      Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 2006/03/09
      
      Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 2006/03/09
      
      Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/08
- Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/01
  - Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/01
  - Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, Rupert, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, Michael De, 2006/03/01
- Re: Sorry Godel - All Truths are Provable, William Elliot, 2006/03/01
  - Re: Sorry Godel - All Truths are Provable, Charlie-Boo, 2006/03/03
  - Re: Sorry Godel - All Truths are Provable, R. Srinivasan, 2006/03/07
    - Re: Sorry Godel - All Truths are Provable, Jan Burse, 2006/03/07
Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 2006/03/01
- Re: truth/falsity of sentences in first-order logic, David C . Ullrich, 2006/03/01
- Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/01
  - Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/03/02
    - Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/02
      
      Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/03/03
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/03
      
      Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/03/06
      
      Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 2006/03/07
      
      Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/03/07
      
      Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 2006/03/11
      
      Re: truth/falsity of sentences in first-order logic, H. J. Sander Bruggink, 2006/03/13
      
      Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 2006/03/09
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/10
      
      Re: truth/falsity of sentences in first-order logic, Nam Nguyen, 2006/03/11
      
      Re: truth/falsity of sentences in first-order logic, Bertie Reed, 2006/03/11
      
      Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/13
- Re: truth/falsity of sentences in first-order logic, Bertie Reed, 2006/03/02
- Re: truth/falsity of sentences in first-order logic, Aatu Koskensilta, 2006/03/02
  - Re: truth/falsity of sentences in first-order logic, Chris Menzel, 2006/03/02
- Re: truth/falsity of sentences in first-order logic, Charlie-Boo, 2006/03/03
  - Re: truth/falsity of sentences in first-order logic, Chris Menzel, 2006/03/03
Re: Arithmetic without the Successor Axiom, Proginoskes, 2006/03/01
Arithmetical hierarchy notation question, Snis Pilbor, 2006/02/28
- Re: Arithmetical hierarchy notation question, matthias, 2006/02/28
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 2006/02/28