sci.logic (thread)

Re: Confused about Intuitionistic provability, Alan Smaill, 2006/01/31
Question about set definition, agapito6314, 2006/01/31
<=> same as <-> ?, gaya . patel, 2006/01/30
- Re: <=> same as <-> ?, MoeBlee, 2006/01/30
  - Re: <=> same as <-> ?, Ken Pledger, 2006/01/31
incompleteness of first-order logic, Li Yi, 2006/01/30
- Re: incompleteness of first-order logic, Jan Burse, 2006/01/30
  - Re: incompleteness of first-order logic, Jan Burse, 2006/01/30
    - Re: incompleteness of first-order logic, Li Yi, 2006/01/30
    - Re: incompleteness of first-order logic, Li Yi, 2006/01/30
  - Re: incompleteness of first-order logic, Li Yi, 2006/01/30
  - Re: incompleteness of first-order logic, Li Yi, 2006/01/30
Derivate OF a number, NILS BÖRJESSON, 2006/01/29
intuitionistic logic and symmetry, No One, 2006/01/29
CH yet again., Bill Taylor, 2006/01/28
- Re: CH yet again., MoeBlee, 2006/01/29
  - Re: CH yet again., Aatu Koskensilta, 2006/01/29
    - Re: CH yet again., MoeBlee, 2006/01/29
      
      Re: CH yet again., Aatu Koskensilta, 2006/01/29
      
      Re: CH yet again., MoeBlee, 2006/01/30
      
      Re: CH yet again., Aatu Koskensilta, 2006/01/30
      
      Re: CH yet again., David C . Ullrich, 2006/01/30
- Re: CH yet again., Robert E. Beaudoin, 2006/01/29
- Re: CH yet again., MoeBlee, 2006/01/30
- CH yet again., Bill Taylor, 2006/01/30
- CH yet again., Bill Taylor, 2006/01/30
Choice Question # 2, Charlie-Boo, 2006/01/27
- Re: Choice Question # 2, Charlie-Boo, 2006/01/27
  - Re: Choice Question # 2, Charlie-Boo, 2006/01/27
  - Message not available
    - Re: Choice Question # 2, Chris Menzel, 2006/01/27
      
      Re: Choice Question # 2, MoeBlee, 2006/01/27
      
      Re: Choice Question # 2, MoeBlee, 2006/01/28
      
      Re: Choice Question # 2, MoeBlee, 2006/01/28
      
      Re: Choice Question # 2, MoeBlee, 2006/01/28
      
      Re: Choice Question # 2, MoeBlee, 2006/01/28
      
      Re: Choice Question # 2, G . Frege, 2006/01/28
      
      Re: Choice Question # 2, G . Frege, 2006/01/28
  - Re: Choice Question # 2, David C . Ullrich, 2006/01/28
    - Re: Choice Question # 2, Charlie-Boo, 2006/01/31
      
      Re: Choice Question # 2, Chris Menzel, 2006/01/31
      
      Re: Choice Question # 2, Charlie-Boo, 2006/01/31
Blum's speed up, ljehan, 2006/01/27
Re: The observational standpoint for numbers, LordBeotian, 2006/01/27
- Re: The observational standpoint for numbers, Giovanni Lagnese, 2006/01/27
  - Re: The observational standpoint for numbers, LordBeotian, 2006/01/27
    - Re: The observational standpoint for numbers, Giovanni Lagnese, 2006/01/28
      
      Re: The observational standpoint for numbers, LordBeotian, 2006/01/28
      
      Re: The observational standpoint for numbers, Giovanni Lagnese, 2006/01/28
      
      Re: The observational standpoint for numbers, LordBeotian, 2006/01/28
      
      Re: The observational standpoint for numbers, Giovanni Lagnese, 2006/01/28
      
      Re: The observational standpoint for numbers, LordBeotian, 2006/01/28
      
      Re: The observational standpoint for numbers, Giovanni Lagnese, 2006/01/28
      
      Re: The observational standpoint for numbers, LordBeotian, 2006/01/29
- Re: The observational standpoint for numbers, LordBeotian, 2006/01/29
compactness theorem of propositional logic, Li Yi, 2006/01/26
- Re: compactness theorem of propositional logic, David C . Ullrich, 2006/01/27
in part timelike and in part spacelike, NILS BÖRJESSON, 2006/01/26
logically implication and tautologically implication, Li Yi, 2006/01/26
- Re: logically implication and tautologically implication, Aatu Koskensilta, 2006/01/26
first order logic - dummy, Li Yi, 2006/01/26
- Re: first order logic - dummy, Aatu Koskensilta, 2006/01/26
find a counterexample, Li Yi, 2006/01/26
- Re: find a counterexample, William Elliot, 2006/01/26
  - Re: find a counterexample, Li Yi, 2006/01/26
    - Re: find a counterexample, William Elliot, 2006/01/26
  - Re: find a counterexample, Li Yi, 2006/01/26
    - Re: find a counterexample, georgie, 2006/01/26
      
      Re: find a counterexample, William Elliot, 2006/01/27
    - Re: find a counterexample, William Elliot, 2006/01/27
- Re: find a counterexample, Aatu Koskensilta, 2006/01/27
a word for the concept "write him off" or "I know thee not", a_plutonium, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", mensanator@xxxxxxxxxxx, 2006/01/26
  - Re: a word for the concept "write him off" or "I know thee not", Boris Uon, 2006/01/26
    - Re: a word for the concept "write him off" or "I know thee not", a_plutonium, 2006/01/26
      
      Re: a word for the concept "write him off" or "I know thee not", Proginoskes, 2006/01/26
      
      Re: a word for the concept "write him off" or "I know thee not", Chip Eastham, 2006/01/26
  - Re: a word for the concept "write him off" or "I know thee not", Andy Spragg, 2006/01/26
- Message not available
  - Re: a word for the concept "write him off" or "I know thee not", a_plutonium, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", Richard Henry, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", Rajah, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", Nathan, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", Stephen Harris, 2006/01/26
- Re: a word for the concept "write him off" or "I know thee not", gwlucky, 2006/01/26
Substitutability in First-Order Logic, Li Yi, 2006/01/26
- Message not available
  - Re: Substitutability in First-Order Logic, MoeBlee, 2006/01/26
computable analysis problem, Snis Pilbor, 2006/01/25
- Re: computable analysis problem, Snis Pilbor, 2006/01/25
  - Re: computable analysis problem, David C . Ullrich, 2006/01/26
Re: Kripke's inductive partial self-applicable truth predicate, Daryl McCullough, 2006/01/25
- Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 2006/01/25
- Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 2006/01/26
  - Re: Kripke's inductive partial self-applicable truth predicate, Daryl McCullough, 2006/01/26
    - Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 2006/01/29
Propositional Logic Completeness Theorem, Li Yi, 2006/01/25
Propositional Logic problem 1, Li Yi, 2006/01/25
What is known about ZF + cf(kappa) <= omega for all kappa?, Aatu Koskensilta, 2006/01/24
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Daryl McCullough, 2006/01/24
  - Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Aatu Koskensilta, 2006/01/24
    - Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Daryl McCullough, 2006/01/24
  - Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 2006/01/24
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 2006/01/24
  - Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Keith Ramsay, 2006/01/25
    - Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 2006/01/26
[Announcement] Blog on the history of Fermat's Last Theorem, larry . freeman, 2006/01/24
j:V --> V, Bill Taylor, 2006/01/24
- Re: j:V --> V, MoeBlee, 2006/01/24
  - Message not available
    - Re: j:V --> V, MoeBlee, 2006/01/24
      
      Re: j:V --> V, Torkel Franzen, 2006/01/24
      
      Re: j:V --> V, MoeBlee, 2006/01/24
- Re: j:V --> V, Aatu Koskensilta, 2006/01/24
Poetential infinity, Bill Taylor, 2006/01/23
- Re: Poetential infinity, Charlie-Boo, 2006/01/24
- Re: Poetential infinity, MoeBlee, 2006/01/24
  - Re: Poetential infinity, Peter Webb, 2006/01/24
    - Re: Poetential infinity, MoeBlee, 2006/01/24
    - Re: Poetential infinity, Stephen Harris, 2006/01/24
- Re: Poetential infinity, Stephen Harris, 2006/01/24
  - Re: Poetential infinity, Chris Menzel, 2006/01/24
    - Re: Poetential infinity, Daryl McCullough, 2006/01/24
      
      Re: Poetential infinity, Chris Menzel, 2006/01/24
      
      Re: Poetential infinity, Daryl McCullough, 2006/01/24
      
      Re: Poetential infinity, Chris Menzel, 2006/01/24
      
      Re: Poetential infinity, Stephen Harris, 2006/01/24
      
      Re: Poetential infinity, Stephen Harris, 2006/01/24
      
      Re: Poetential infinity, Stephen Harris, 2006/01/24
      
      Re: Poetential infinity, Stephen Harris, 2006/01/24
    - Re: Poetential infinity, Stephen Harris, 2006/01/24
- Re: Poetential infinity, G . Frege, 2006/01/24
- Re: Poetential infinity, david petry, 2006/01/25
  - Re: Poetential infinity, MoeBlee, 2006/01/26
- Poetential infinity, Bill Taylor, 2006/01/28
  - Re: Poetential infinity, MoeBlee, 2006/01/29
    - Re: Poetential infinity, MoeBlee, 2006/01/29
BÖRJESSONS LOGIC: TIME IS ALGEBRA!, NILS BÖRJESSON, 2006/01/23
BÖRJESSONS LOGIC: LOGIC IS GEOMETRY, NILS BÖRJESSON, 2006/01/23
Will anyone do me a favor to tell me where can I download books/papers about hyperlattic/lattice/superlattice?, yumingfeng25928@xxxxxxxxx, 2006/01/23
Re: Where is the error?, Charlie-Boo, 2006/01/22
- Re: Where is the error?, Solipsist, 2006/01/23
  - Re: Where is the error?, Charlie-Boo, 2006/01/23
    - Re: Where is the error?, Rupert, 2006/01/24
      
      Re: Where is the error?, Charlie-Boo, 2006/01/24
      
      Re: Where is the error?, Rupert, 2006/01/24
      
      Re: Where is the error?, Aatu Koskensilta, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Torkel Franzen, 2006/01/25
      
      Re: Where is the error?, Daryl McCullough, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Aatu Koskensilta, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/31
- Re: Where is the error?, David C . Ullrich, 2006/01/23
  - Re: Where is the error?, Solipsist, 2006/01/23
    - Re: Where is the error?, David C . Ullrich, 2006/01/24
      
      Re: Where is the error?, Charlie-Boo, 2006/01/24
      
      Re: Where is the error?, Charlie-Boo, 2006/01/24
  - Re: Where is the error?, Charlie-Boo, 2006/01/23
- Re: Where is the error?, H. J. Sander Bruggink, 2006/01/23
  - Re: Where is the error?, Solipsist, 2006/01/23
    - Re: Where is the error?, Jan Burse, 2006/01/23
      
      Re: Where is the error?, Solipsist, 2006/01/23
      
      Re: Where is the error?, Solipsist, 2006/01/23
      
      Re: Where is the error?, Jan Burse, 2006/01/23
      
      Re: Where is the error?, H. J. Sander Bruggink, 2006/01/24
    - Re: Where is the error?, Charlie-Boo, 2006/01/23
      
      Re: Where is the error?, H. J. Sander Bruggink, 2006/01/24
      
      Re: Where is the error?, Charlie-Boo, 2006/01/24
      
      Re: Where is the error?, H. J. Sander Bruggink, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/24
  - Re: Where is the error?, Charlie-Boo, 2006/01/23
- Re: Where is the error?, Jan Burse, 2006/01/24
  - Re: Where is the error?, Jan Burse, 2006/01/24
  - Re: Where is the error?, Charlie-Boo, 2006/01/24
    - Re: Where is the error?, Jan Burse, 2006/01/25
      
      Re: Where is the error?, Charlie-Boo, 2006/01/25
- Re: Where is the error?, Charlie-Boo, 2006/01/31
  - Re: Where is the error?, H. J. Sander Bruggink, 2006/01/31
    - Re: Where is the error?, Charlie-Boo, 2006/01/31
reflexivity and idempotence., adamgolding, 2006/01/21
- Re: reflexivity and idempotence., smnewberger, 2006/01/21
- Re: reflexivity and idempotence., MoeBlee, 2006/01/21
  - Re: reflexivity and idempotence., adamgolding, 2006/01/23
    - Re: reflexivity and idempotence., MoeBlee, 2006/01/23
      
      Re: reflexivity and idempotence., adamgolding, 2006/01/23
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/23
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/23
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/23
      
      Re: reflexivity and idempotence., adamgolding, 2006/01/24
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/24
- Re: reflexivity and idempotence., William Elliot, 2006/01/21
  - Re: reflexivity and idempotence., adamgolding, 2006/01/23
    - Re: reflexivity and idempotence., William Elliot, 2006/01/24
      
      Re: reflexivity and idempotence., adamgolding, 2006/01/24
      
      Message not available
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/25
      
      Re: reflexivity and idempotence., William Elliot, 2006/01/25
      
      Re: reflexivity and idempotence., Torkel Franzen, 2006/01/25
      
      Re: reflexivity and idempotence., William Elliot, 2006/01/25
      
      Re: reflexivity and idempotence., MoeBlee, 2006/01/25
      
      Re: reflexivity and idempotence., William Elliot, 2006/01/26
      
      Re: reflexivity and idempotence., Torkel Franzen, 2006/01/26
      
      Re: reflexivity and idempotence., Chris Menzel, 2006/01/26
What's the difference between Commutativity and Symmetry?, adamgolding, 2006/01/21
- Re: What's the difference between Commutativity and Symmetry?, MoeBlee, 2006/01/21
  - Re: What's the difference between Commutativity and Symmetry?, Chris Menzel, 2006/01/22
    - Re: What's the difference between Commutativity and Symmetry?, MoeBlee, 2006/01/22
- Re: What's the difference between Commutativity and Symmetry?, smnewberger, 2006/01/21
Recursion, Tom, 2006/01/20
- Re: Recursion, MoeBlee, 2006/01/21
  - Re: Recursion, Tom, 2006/01/21
    - Re: Recursion, MoeBlee, 2006/01/21
      
      Re: Recursion, Tom, 2006/01/21
      
      Re: Recursion, MoeBlee, 2006/01/21
      
      Re: Recursion, Tom, 2006/01/22
      
      Re: Recursion, MoeBlee, 2006/01/22
      
      Re: Recursion, Tom, 2006/01/22
      
      Re: Recursion, MoeBlee, 2006/01/22
      
      Re: Recursion, Tom, 2006/01/23
      
      Re: Recursion, MoeBlee, 2006/01/24
list of universities math deps. specializing in mathematical logic?, mozert1, 2006/01/20
- Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 2006/01/21
  - Re: list of universities math deps. specializing in mathematical logic?, mozert1, 2006/01/22
  - Re: list of universities math deps. specializing in mathematical logic?, abo, 2006/01/22
    - Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 2006/01/23
  - Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 2006/01/23
  - Re: list of universities math deps. specializing in mathematical logic?, Chris Menzel, 2006/01/23
Kripke models with constant domain, Colin, 2006/01/18
Re: re-stating FLT and FTA in PA, george, 2006/01/18
- Re: re-stating FLT and FTA in PA, Torkel Franzen, 2006/01/18
  - Re: re-stating FLT and FTA in PA, george, 2006/01/20
- Re: re-stating FLT and FTA in PA, Daryl McCullough, 2006/01/18
- Re: re-stating FLT and FTA in PA, Aatu Koskensilta, 2006/01/21
- Re: re-stating FLT and FTA in PA, Daryl McCullough, 2006/01/21
Is there an answer to this logic riddle?, Randy Yates, 2006/01/17
- Re: Is there an answer to this logic riddle?, Rajah, 2006/01/18
  - Re: Is there an answer to this logic riddle?, Daryl McCullough, 2006/01/18
    - Re: Is there an answer to this logic riddle?, Rupert, 2006/01/20
      
      Re: Is there an answer to this logic riddle?, Daryl McCullough, 2006/01/20
      
      Re: Is there an answer to this logic riddle?, Rupert, 2006/01/20
      
      Re: Is there an answer to this logic riddle?, Daryl McCullough, 2006/01/20
- Re: Is there an answer to this logic riddle?, Torkel Franzen, 2006/01/18
  - Re: Is there an answer to this logic riddle?, Randy Yates, 2006/01/19
  - Re: Is there an answer to this logic riddle?, Charlie-Boo, 2006/01/24
- Re: Is there an answer to this logic riddle?, Rupert, 2006/01/20
- Re: Is there an answer to this logic riddle?, Charlie-Boo, 2006/01/20
- Re: Is there an answer to this logic riddle?, Gene Ledbetter, 2006/01/25
  - Re: Is there an answer to this logic riddle?, Charlie-Boo, 2006/01/31
Starbucks, Bryan, 2006/01/15
- Re: Starbucks, Stevebear, 2006/01/16
  - Re: Starbucks, Bryan, 2006/01/16
Re: Undecidability of undecidability: some examples?, george, 2006/01/15
- Re: Undecidability of undecidability: some examples?, Torkel Franzen, 2006/01/15
  - Re: Undecidability of undecidability: some examples?, george, 2006/01/15
    - Re: Undecidability of undecidability: some examples?, Torkel Franzen, 2006/01/15
- Re: Undecidability of undecidability: some examples?, Aatu Koskensilta, 2006/01/15
- Re: Undecidability of undecidability: some examples?, george, 2006/01/16
- Re: Undecidability of undecidability: some examples?, Chris Menzel, 2006/01/17
  - Re: Undecidability of undecidability: some examples?, george, 2006/01/17
Modification of Mostowski Collapsing Theorem, Jean-Pierre MERX, 2006/01/14
- Re: Modification of Mostowski Collapsing Theorem, Rupert, 2006/01/20
[Newbie Question] Inductive Arguments, tjb, 2006/01/14
- Re: [Newbie Question] Inductive Arguments, Tim, 2006/01/14
  - Re: [Newbie Question] Inductive Arguments, tjb, 2006/01/14
    - Re: [Newbie Question] Inductive Arguments, Ken Pledger, 2006/01/16
    - Re: Inductive Arguments, adamgolding, 2006/01/21
FOPL & ST question, Tom, 2006/01/13
- Re: FOPL & ST question, William Elliot, 2006/01/14
  - Re: FOPL & ST question, Tom, 2006/01/14
    - Re: FOPL & ST question, William Elliot, 2006/01/14
      
      Re: FOPL & ST question, G . Frege, 2006/01/15
      
      Re: FOPL & ST question, William Elliot, 2006/01/15
      
      Re: FOPL & ST question, G . Frege, 2006/01/15
      
      Re: FOPL & ST question, William Elliot, 2006/01/15
      
      Re: FOPL & ST question, Tom, 2006/01/15
      
      Re: FOPL & ST question, William Elliot, 2006/01/16
      
      Re: FOPL & ST question, Tom, 2006/01/16
      
      FOPL & ST question, William Elliot, 2006/01/17
      
      Re: FOPL & ST question, Tom, 2006/01/17
      
      Re: FOPL & ST question, William Elliot, 2006/01/18
      
      Re: FOPL & ST question, Tom, 2006/01/18
      
      FOPL & ST question, William Elliot, 2006/01/19
      
      Re: FOPL & ST question, Tom, 2006/01/19
      
      Re: FOPL & ST question, William Elliot, 2006/01/19
      
      Re: FOPL & ST question, Tom, 2006/01/19
      
      Re: FOPL & ST question, Tom, 2006/01/19
      
      Re: FOPL & ST question, G . Frege, 2006/01/19
      
      Re: FOPL & ST question, Tom, 2006/01/20
      
      Re: FOPL & ST question, Torkel Franzen, 2006/01/18
      
      Re: FOPL & ST question, William Elliot, 2006/01/18
      
      Re: FOPL & ST question, Torkel Franzen, 2006/01/18
      
      Re: FOPL & ST question, William Elliot, 2006/01/18
      
      Re: FOPL & ST question, Torkel Franzen, 2006/01/18
      
      Re: FOPL & ST question, William Elliot, 2006/01/18
      
      Re: FOPL & ST question, Torkel Franzen, 2006/01/18
      
      Re: FOPL & ST question, William Elliot, 2006/01/18
      
      Re: FOPL & ST question, Aatu Koskensilta, 2006/01/18
      
      Re: FOPL & ST question, Chris Menzel, 2006/01/17
      
      Re: FOPL & ST question, Randy Yates, 2006/01/17
a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 2006/01/13
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 2006/01/13
  - Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 2006/01/13
    - Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 2006/01/13
      
      Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, Ulysses at Langdale Tarn, 2006/01/13
      
      Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 2006/01/13
    - Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 2006/01/15
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, Topaz, 2006/01/13
strange, mio fiume, 2006/01/10
Some Metamathematical Questions, Charlie-Boo, 2006/01/10
ZFC IS INCONSISTENT., Foukzon, 2006/01/09
undecidability of fol, Per Freem, 2006/01/09
BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London, UK, paul . boca, 2006/01/09
Re: ZFC means?, Charlie-Boo, 2006/01/09
- Re: ZFC means?, Daryl McCullough, 2006/01/09
  - Re: ZFC means?, Charlie-Boo, 2006/01/09
    - Re: ZFC means?, Daryl McCullough, 2006/01/09
      
      Re: ZFC means?, Charlie-Boo, 2006/01/09
      
      Re: ZFC means?, Daryl McCullough, 2006/01/09
    - Re: ZFC means?, David C . Ullrich, 2006/01/10
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, Torkel Franzen, 2006/01/20
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, Torkel Franzen, 2006/01/20
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, Torkel Franzen, 2006/01/20
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, G . Frege, 2006/01/20
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, Daryl McCullough, 2006/01/20
      
      Re: ZFC means?, Chris Menzel, 2006/01/20
      
      Message not available
      Re: ZFC means?, Chris Menzel, 2006/01/22
      
      Message not available
      Re: ZFC means?, Charlie-Boo, 2006/01/22
      
      Re: ZFC means?, Daryl McCullough, 2006/01/23
      
      Re: ZFC means?, Charlie-Boo, 2006/01/23
      
      Re: ZFC means?, Daryl McCullough, 2006/01/23
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, G . Frege, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, MoeBlee, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, MoeBlee, 2006/01/24
      
      Re: ZFC means?, Chris Menzel, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
      
      Re: ZFC means?, Daryl McCullough, 2006/01/25
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
      
      Re: ZFC means?, MoeBlee, 2006/01/25
      
      Re: ZFC means?, Daryl McCullough, 2006/01/25
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
      
      Re: ZFC means?, Chris Menzel, 2006/01/26
      
      Re: ZFC means?, Daryl McCullough, 2006/01/26
      
      Re: ZFC means?, Chris Menzel, 2006/01/26
      
      Re: ZFC means?, Daryl McCullough, 2006/01/26
      
      Re: ZFC means?, David C . Ullrich, 2006/01/25
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/25
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/20
      
      Re: ZFC means?, David C . Ullrich, 2006/01/21
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Torkel Franzen, 2006/01/24
      
      Re: ZFC means?, David C . Ullrich, 2006/01/21
      
      Re: ZFC means?, Charlie-Boo, 2006/01/22
- Re: ZFC means?, Barb Knox, 2006/01/10
  - Re: ZFC means?, Charlie-Boo, 2006/01/20
    - Re: ZFC means?, Barb Knox, 2006/01/22
      
      Re: ZFC means?, Charlie-Boo, 2006/01/23
- Re: ZFC means?, Charlie-Boo, 2006/01/20
  - Re: ZFC means?, David C . Ullrich, 2006/01/21
    - Re: ZFC means?, Charlie-Boo, 2006/01/23
      
      Re: ZFC means?, David C . Ullrich, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, MoeBlee, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/24
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
      
      Re: ZFC means?, Daryl McCullough, 2006/01/25
      
      Re: ZFC means?, MoeBlee, 2006/01/25
      
      Re: ZFC means?, Chris Menzel, 2006/01/24
      
      Re: ZFC means?, MoeBlee, 2006/01/25
      
      Re: ZFC means?, MoeBlee, 2006/01/25
      
      Re: ZFC means?, Daryl McCullough, 2006/01/24
      
      Re: ZFC means?, george, 2006/01/26
      
      Re: ZFC means?, Daryl McCullough, 2006/01/26
      
      Re: ZFC means?, David C . Ullrich, 2006/01/27
      
      Re: ZFC means?, Daryl McCullough, 2006/01/27
      
      Re: ZFC means?, David C . Ullrich, 2006/01/27
      
      Re: ZFC means?, Torkel Franzen, 2006/01/27
      
      Re: ZFC means?, David C . Ullrich, 2006/01/28
      
      Re: ZFC means?, G . Frege, 2006/01/28
      
      Re: ZFC means?, Daryl McCullough, 2006/01/27
      
      Re: ZFC means?, Daryl McCullough, 2006/01/27
      
      Re: ZFC means?, Chris Menzel, 2006/01/27
      
      Re: ZFC means?, G . Frege, 2006/01/27
      
      Re: ZFC means?, Nam Nguyen, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, Nam Nguyen, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, G . Frege, 2006/01/28
      
      Re: ZFC means?, Nam Nguyen, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, G . Frege, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, G . Frege, 2006/01/28
      
      Re: ZFC means?, Nam Nguyen, 2006/01/28
      
      Re: ZFC means?, Chris Menzel, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, G . Frege, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, MoeBlee, 2006/01/28
      
      Re: ZFC means?, Nam Nguyen, 2006/01/29
      
      Re: ZFC means?, Nam Nguyen, 2006/01/29
      
      Re: ZFC means?, David C . Ullrich, 2006/01/25
- Re: ZFC means?, Daryl McCullough, 2006/01/24
  - Re: ZFC means?, Charlie-Boo, 2006/01/25
    - Re: ZFC means?, Daryl McCullough, 2006/01/25
      
      Re: ZFC means?, Charlie-Boo, 2006/01/25
Modal-logic with scope-modifying operators, Aatu Koskensilta, 2006/01/09
- Re: Modal-logic with scope-modifying operators, Michael De, 2006/01/09
  - Re: Modal-logic with scope-modifying operators, Chris Menzel, 2006/01/09
    - Re: Modal-logic with scope-modifying operators, Aatu Koskensilta, 2006/01/11
  - Re: Modal-logic with scope-modifying operators, Aatu Koskensilta, 2006/01/11
    - Re: Modal-logic with scope-modifying operators, Michael De, 2006/01/12
    - Re: Modal-logic with scope-modifying operators, galathaea, 2006/01/12
Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?, neom, 2006/01/08
Book Recommendation, Tom, 2006/01/08
- Re: Book Recommendation, Tom, 2006/01/08
- Re: Book Recommendation, G . Frege, 2006/01/08
- Re: Book Recommendation, raydpratt, 2006/01/08
- Re: Book Recommendation, raydpratt, 2006/01/08
- Re: Book Recommendation, Dan Christensen, 2006/01/08
- Re: Book Recommendation, smnewberger, 2006/01/08
- Re: Book Recommendation, smnewberger, 2006/01/08
- Re: Book Recommendation, smnewberger, 2006/01/09
  - Re: Book Recommendation, smnewberger, 2006/01/09
- Re: Book Recommendation, smnewberger, 2006/01/09
If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?, penguinsare, 2006/01/07
- Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?, William Elliot, 2006/01/07
- Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?, neom, 2006/01/08
- Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?, Gene Ledbetter, 2006/01/08
If you need comprehensible input, how do children start talking when t, Penguins Are, 2006/01/06
Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/05
- Re: Definite description and set abstraction notation - recursive definition?, Barb Knox, 2006/01/06
  - Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/06
    - Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 2006/01/06
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/06
- Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 2006/01/06
  - Re: Definite description and set abstraction notation - recursive definition?, Paul Holbach, 2006/01/06
  - Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/06
    - Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 2006/01/07
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/08
      
      Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 2006/01/09
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/10
      
      Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 2006/01/10
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/11
      
      Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 2006/01/11
      
      Re: Definite description and set abstraction notation - recursive definition?, Chris Menzel, 2006/01/10
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/11
      
      Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/08
  - Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 2006/01/06
    - Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 2006/01/08
Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/04
- Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2006/01/09
  - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
    - Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 2006/01/09
    - Re: Simple yet Profound Metatheorem, Daryl McCullough, 2006/01/09
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/05
- Re: Simple yet Profound Metatheorem, Barb Knox, 2006/01/06
  - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
  - Re: Simple yet Profound Metatheorem, Daryl McCullough, 2006/01/09
    - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2006/01/09
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2006/01/09
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
      
      Re: Simple yet Profound Metatheorem, Torkel Franzen, 2006/01/10
      
      Re: Simple yet Profound Metatheorem, Daryl McCullough, 2006/01/10
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
  - Re: Simple yet Profound Metatheorem, David C . Ullrich, 2006/01/10
    - Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/22
      
      Re: Simple yet Profound Metatheorem, David C . Ullrich, 2006/01/23
      
      Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/23
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 2006/01/09
Choice Question, Charlie-Boo, 2006/01/04
- Re: Choice Question, Michael De, 2006/01/05
  - Re: Choice Question, Aatu Koskensilta, 2006/01/05
    - Re: Choice Question, Michael De, 2006/01/05
      
      Re: Choice Question, Aatu Koskensilta, 2006/01/05
      
      Re: Choice Question, Michael De, 2006/01/05
      
      Re: Choice Question, Aatu Koskensilta, 2006/01/06
      
      Re: Choice Question, Charlie-Boo, 2006/01/09
    - Re: Choice Question, george, 2006/01/05
      
      Re: Choice Question, Jan Burse, 2006/01/05
      
      Re: Choice Question, george, 2006/01/05
      
      Re: Choice Question, Jan Burse, 2006/01/05
      
      Re: Choice Question, Jan Burse, 2006/01/06
      
      Re: Choice Question, george, 2006/01/07
      
      Re: Choice Question, Jan Burse, 2006/01/09
      
      Re: Choice Question, Jan Burse, 2006/01/09
      
      Re: Choice Question, george, 2006/01/08
      
      Re: Choice Question, Aatu Koskensilta, 2006/01/09
      
      Re: Choice Question, Jan Burse, 2006/01/09
      
      Re: Choice Question, Charlie-Boo, 2006/01/09
      
      Re: Choice Question, Jan Burse, 2006/01/09
      
      Re: Choice Question, Charlie-Boo, 2006/01/09
Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], bradb, 2006/01/04
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/04
  - Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Rick Decker, 2006/01/05
    - Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/05
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Rick Decker, 2006/01/05
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/09
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 2006/01/09
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/09
      
      Message not available
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/14
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/14
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/14
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/14
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/14
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Alan Smaill, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Message not available
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/15
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/17
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 2006/01/16
      
      Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/16
  - Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 2006/01/05
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/05
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 2006/01/06
Constructible and hereditary sets, Jean-Pierre MERX, 2006/01/04
tableau and gentzen systems, Per Freem, 2006/01/03
- Re: tableau and gentzen systems, Jan Burse, 2006/01/03
- Re: tableau and gentzen systems, Michael De, 2006/01/03
- Re: tableau and gentzen systems, Thomas Käufl, 2006/01/13
Re: Metamathematically True or False?, george, 2006/01/02
- Re: Metamathematically True or False?, Torkel Franzen, 2006/01/02
- Re: Metamathematically True or False?, george, 2006/01/02
  - Re: Metamathematically True or False?, Rupert, 2006/01/02
    - Re: Metamathematically True or False?, george, 2006/01/03
      
      Re: Metamathematically True or False?, Rupert, 2006/01/03
      
      Re: Metamathematically True or False?, Rupert, 2006/01/03
      
      Re: Metamathematically True or False?, george, 2006/01/09
      
      Re: Metamathematically True or False?, Rupert, 2006/01/09
  - Re: Metamathematically True or False?, Aatu Koskensilta, 2006/01/03
    - Re: Metamathematically True or False?, george, 2006/01/03
      
      Re: Metamathematically True or False?, Aatu Koskensilta, 2006/01/03
      
      Re: Metamathematically True or False?, george, 2006/01/03
      
      Re: Metamathematically True or False?, Rupert, 2006/01/03
      
      Re: Metamathematically True or False?, Torkel Franzen, 2006/01/03
      
      Re: Metamathematically True or False?, george, 2006/01/07
      
      Re: Metamathematically True or False?, Torkel Franzen, 2006/01/09
      
      Re: Metamathematically True or False?, george, 2006/01/08
      
      Re: Metamathematically True or False?, Rupert, 2006/01/09
      
      Re: Metamathematically True or False?, Charlie-Boo, 2006/01/09
      
      Re: Metamathematically True or False?, Rupert, 2006/01/09
      
      Re: Metamathematically True or False?, george, 2006/01/09
      
      Re: Metamathematically True or False?, Rupert, 2006/01/09
      
      Re: Metamathematically True or False?, Charlie-Boo, 2006/01/09
      
      Re: Metamathematically True or False?, Torkel Franzen, 2006/01/09
      
      Re: Metamathematically True or False?, Rupert, 2006/01/09
      
      Re: Metamathematically True or False?, Aatu Koskensilta, 2006/01/04
      
      Re: Metamathematically True or False?, george, 2006/01/12
      
      Re: Metamathematically True or False?, Aatu Koskensilta, 2006/01/12
      
      Re: Metamathematically True or False?, Daryl McCullough, 2006/01/04
      
      Re: Metamathematically True or False?, george, 2006/01/10
      
      Re: Metamathematically True or False?, Daryl McCullough, 2006/01/10
      
      Re: Metamathematically True or False?, george, 2006/01/26
      
      Re: Metamathematically True or False?, george, 2006/01/10
      
      Re: Metamathematically True or False?, Daryl McCullough, 2006/01/10
      
      Re: Metamathematically True or False?, george, 2006/01/12
      
      There is no language of arithmetic, george, 2006/01/11
      
      Re: There is no language of arithmetic, Rupert, 2006/01/13
      
      Re: There is no language of arithmetic, george, 2006/01/14
      
      Re: There is no language of arithmetic, Rupert, 2006/01/14
      
      Re: There is no language of arithmetic, george, 2006/01/26
      
      Re: There is no language of arithmetic, Rupert, 2006/01/26
      
      Re: There is no language of arithmetic, george, 2006/01/27
      
      Re: There is no language of arithmetic, Rupert, 2006/01/27
      
      Re: There is no language of arithmetic, george, 2006/01/27
      
      Re: There is no language of arithmetic, Rupert, 2006/01/27
      
      Re: There is no language of arithmetic, Nam Nguyen, 2006/01/29
      
      Re: There is no language of arithmetic, MoeBlee, 2006/01/29
      
      Re: There is no language of arithmetic, Nam Nguyen, 2006/01/31
      
      Re: There is no language of arithmetic, MoeBlee, 2006/01/31
      
      Re: There is no language of arithmetic, george, 2006/01/29
      
      Re: There is no language of arithmetic, Rupert, 2006/01/30
      
      Re: There is no language of arithmetic, george, 2006/01/29
      
      Re: There is no language of arithmetic, Rupert, 2006/01/30
- Re: Metamathematically True or False?, Charlie-Boo, 2006/01/04
  - Re: Metamathematically True or False?, Torkel Franzen, 2006/01/05
Re: not simple enough for a village idiot, george, 2006/01/02
- Re: not simple enough for a village idiot, george, 2006/01/02
- Re: not simple enough for a village idiot, george, 2006/01/02
- Re: not simple enough for a village idiot, Rupert, 2006/01/02
Re: grundlagen, george, 2006/01/02
- Re: grundlagen, george, 2006/01/02
- Re: grundlagen, george, 2006/01/02
- Re: grundlagen, george, 2006/01/02
- Re: grundlagen, george, 2006/01/02
Re: Predicativism and natural numbers, george, 2006/01/02
- Re: Predicativism and natural numbers, george, 2006/01/02
  - Re: Predicativism and natural numbers, Aatu Koskensilta, 2006/01/03
Re: Martin Gardner's New Prediction Paradox, TheNightFly, 2006/01/01
[FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 2005/12/31
ILLC Research Reports and Technical Notes 2005, Marco Vervoort,P.315,+31 20 525 6519,,, 2005/12/31
Adequate sets of n-ary connectives, Michael De, 2005/12/31
- Re: Adequate sets of n-ary connectives, Russell Easterly, 2006/01/02
  - Re: Adequate sets of n-ary connectives, Michael De, 2006/01/02