# sci.logic

**stuck up in one simple problem**,*chander.prb@xxxxxxxxx***Turing and Godel**,*Mark-T***Re: Turing and Godel**,*Rupert*

**Help writing a paper on Godel's Incompleteness Thorem**,*Scott***Re: Help writing a paper on Godel's Incompleteness Thorem**,*logic-lurker***Re: Help writing a paper on Godel's Incompleteness Thorem**,*David C . Ullrich***Re: Help writing a paper on Godel's Incompleteness Thorem**,*Scott***Re: Help writing a paper on Godel's Incompleteness Thorem**,*Ross A. Finlayson***Re: Help writing a paper on Godel's Incompleteness Thorem**,*David C . Ullrich*

**minimal element iff maximal element: how to prove?**,*MoeBlee*****theory-edge** mailing list**,*vznuri***Einstein's 'dark energy".**,*caesarjbsquitti***Are Logicians Naturally Logical?**,*William Elliot***Re: Are Logicians Naturally Logical?**,*Frederick Williams***Re: Are Logicians Naturally Logical?**,*G . Frege***Re: Are Logicians Naturally Logical?**,*William Elliot***Re: Are Logicians Naturally Logical?**,*G . Frege***Re: Are Logicians Naturally Logical?**,*G . Frege***Re: Are Logicians Naturally Logical?**,*G . Frege***Re: Are Logicians Naturally Logical?**,*G . Frege***Re: Are Logicians Naturally Logical?**,*G . Frege*

**Re: Are Logicians Naturally Logical?**,*George Dance***Re: Are Logicians Naturally Logical?**,*G . Frege*

**Re: Universe Does Have An "Outside"**,*nobody40***analytic function... need help.**,*curtispro***Re: analytic function... need help.**,*Pierre Asselin***Re: analytic function... need help.**,*David C . Ullrich***Re: analytic function... need help.**,*curtispro***Re: analytic function... need help.**,*curtispro***Re: analytic function... need help.**,*David C . Ullrich***Re: analytic function... need help.**,*Lee Rudolph***Re: analytic function... need help.**,*David C . Ullrich***Re: analytic function... need help.**,*Lee Rudolph***Re: analytic function... need help.**,*David C . Ullrich*

**UCLA Logic Colloquium, Dec 2**,*H. Enderton***conditional statement v.s. conditional probability?**,*littlebeam***Re: Well Ordering the Reals**,*Robert Low***Re: Well Ordering the Reals**,*Chris Menzel***Re: Well Ordering the Reals**,*Robert Low***Re: Well Ordering the Reals**,*Chris Menzel***Re: Well Ordering the Reals**,*Robert Low***Re: Well Ordering the Reals**,*Chris Menzel***Re: Well Ordering the Reals**,*Robert Low*

**complete theory of Rationals**,*m s***Re: complete theory of Rationals**,*Torkel Franzen***Re: complete theory of Rationals**,*m s***Re: complete theory of Rationals**,*Torkel Franzen*

**Re: complete theory of Rationals**,*William Elliot***Re: complete theory of Rationals**,*m s***Re: complete theory of Rationals**,*William Elliot***Re: complete theory of Rationals**,*Torkel Franzen***Re: complete theory of Rationals**,*William Elliot***Re: complete theory of Rationals**,*m s*

**Help with a problem**,*Robert Zimmerman***Re: Help with a problem**,*Chris Menzel***Re: Help with a problem**,*Robert Zimmerman***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege**Message not available***Re: Help with a problem**,*G . Frege**Message not available***Re: Help with a problem**,*William Elliot**Message not available***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege**Message not available***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*William Elliot**Message not available***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*G . Frege**Message not available***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*Robert Zimmerman***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*Robert Zimmerman***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*Torkel Franzen**Message not available**Message not available***Re: Help with a problem**,*G . Frege*

**Re: Help with a problem**,*George Dance***Re: Help with a problem**,*William Elliot***Re: Help with a problem**,*George Dance*

**Re: Help with a problem**,*G . Frege***Re: Help with a problem**,*George Dance***Re: Help with a problem**,*G . Frege*

**Re: Help with a problem**,*G . Frege*

**question about categoricity**,*Per Freem***Re: question about categoricity**,*Chris Menzel***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Chris Menzel***Re: question about categoricity**,*george***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Torkel Franzen***Re: question about categoricity**,*Chris Menzel***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Torkel Franzen***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Torkel Franzen***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Torkel Franzen***Re: question about categoricity**,*Chris Menzel***Re: question about categoricity**,*Per Freem***Re: question about categoricity**,*Chris Menzel***Re: question about categoricity**,*Chris Menzel*

**"|-" and proofs**,*paul_bostonjp***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*G . Frege***Re: "|-" and proofs**,*William Elliot*

**Re: "|-" and proofs**,*Aatu Koskensilta***Re: "|-" and proofs**,*Daryl McCullough***Re: "|-" and proofs**,*G . Frege***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*G . Frege***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Daryl McCullough***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Daryl McCullough***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*G . Frege***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*paul_bostonjp***Re: "|-" and proofs**,*Daryl McCullough***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*H. J. Sander Bruggink***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*Aatu Koskensilta*

**Re: "|-" and proofs**,*H. J. Sander Bruggink***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*Torkel Franzen***Re: "|-" and proofs**,*William Elliot***Re: "|-" and proofs**,*H. J. Sander Bruggink***Re: "|-" and proofs**,*William Elliot*

**Re: "|-" and proofs**,*MoeBlee*

**first order model theory question**,*Per Freem***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*Per Freem***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*george***Re: first order model theory question**,*Torkel Franzen***Re: first order model theory question**,*Per Freem***Re: first order model theory question**,*MoeBlee***Re: first order model theory question**,*MoeBlee***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*Per Freem*

**Re: first order model theory question**,*Chris Menzel***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*Torkel Franzen***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*Torkel Franzen***Re: first order model theory question**,*Rupert***Re: first order model theory question**,*Chris Menzel*

**Finest partition - exercise in Suppes's book**,*MoeBlee***Re: Finest partition - exercise in Suppes's book**,*William Elliot***Re: Finest partition - exercise in Suppes's book**,*MoeBlee***Re: Finest partition - exercise in Suppes's book**,*MoeBlee***Re: Finest partition - exercise in Suppes's book**,*William Elliot***Re: Finest partition - exercise in Suppes's book**,*MoeBlee***Re: Finest partition - exercise in Suppes's book**,*William Elliot***Re: Finest partition - exercise in Suppes's book**,*MoeBlee*

**Re: Finest partition - exercise in Suppes's book**,*smnewberger*

**Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Charlie-Boo***Re: Informal theories versus formal theories.**,*Jonathan Hoyle***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Aatu Koskensilta***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Aatu Koskensilta***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Aatu Koskensilta***Re: Informal theories versus formal theories.**,*Jonathan Hoyle***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Jonathan Hoyle***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Jonathan Hoyle***Re: Informal theories versus formal theories.**,*Starbles***Re: Informal theories versus formal theories.**,*Jonathan Hoyle*

**What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*Peter Webb***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Aatu Koskensilta***Re: What is the 1st order formal system known as PA?**,*MoeBlee***Re: What is the 1st order formal system known as PA?**,*Aatu Koskensilta***Re: What is the 1st order formal system known as PA?**,*MoeBlee*

**Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*David C . Ullrich***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Rupert***Re: What is the 1st order formal system known as PA?**,*Ross A. Finlayson***Re: What is the 1st order formal system known as PA?**,*Nam Nguyen***Re: What is the 1st order formal system known as PA?**,*Ross A. Finlayson*

**Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*abo***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Helene . Boucher***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Helene . Boucher***Re: Penrose vs the Robot**,*abo***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*abo***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Helene . Boucher***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Helene . Boucher***Re: Penrose vs the Robot**,*Daryl McCullough*

**Re: Penrose vs the Robot**,*Starbles***Re: Penrose vs the Robot**,*Daryl McCullough*

**Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Aatu Koskensilta***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Aatu Koskensilta*

**Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Aatu Koskensilta***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Aatu Koskensilta***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Stephen Harris***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Stephen Harris***Re: Penrose vs the Robot**,*Stephen Harris***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Daryl McCullough***Re: Penrose vs the Robot**,*Stephen Harris***Re: Penrose vs the Robot**,*Rupert***Re: Penrose vs the Robot**,*Stephen Harris***Re: Penrose vs the Robot**,*george*

**Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London**,*FACS FACTS Editor***The Power of the Pixel; 5 Years of Advertising at Only a Fraction of the Normal Cost.**,*walter . alex***From Post to Penrose**,*Stephen Harris***Re: From Post to Penrose**,*Rupert***Re: From Post to Penrose**,*george*

**Tautology Elimination in Otter**,*Paul Sholtz***i-C&P CONFERENCE -last call**,*Colin . Schmidt***There can be no non-spatial proposition?**,*Tom***Re: There can be no non-spatial proposition?**,*Starbles***Re: There can be no non-spatial proposition?**,*Tom***Re: There can be no non-spatial proposition?**,*David C . Ullrich***Re: There can be no non-spatial proposition?**,*Tom***Re: There can be no non-spatial proposition?**,*David C . Ullrich***Re: There can be no non-spatial proposition?**,*Tom***Re: There can be no non-spatial proposition?**,*David C . Ullrich***Re: There can be no non-spatial proposition?**,*Tom*

**ramified type theory**,*Rupert***Re: ramified type theory**,*Owen***Re: ramified type theory**,*Rupert***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Rupert***Re: ramified type theory**,*Owen***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Nam Nguyen***Re: ramified type theory**,*Owen***Re: ramified type theory**,*Nam Nguyen***Re: ramified type theory**,*Nam Nguyen***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege**Message not available***Re: ramified type theory**,*Barb Knox***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*David C . Ullrich***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Owen***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Owen***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Owen***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*David C . Ullrich***Re: ramified type theory**,*G . Frege***Re: ramified type theory**,*Rupert***Re: ramified type theory**,*Chris Menzel***Re: ramified type theory**,*Rupert*

**UCLA Logic Colloquium, Nov 18**,*H. Enderton***The reciprocal of zero isn't even infinity.**,*Starbles***Re: The reciprocal of zero isn't even infinity.**,*David C . Ullrich***Re: The reciprocal of zero isn't even infinity.**,*Starbles***Re: The reciprocal of zero isn't even infinity.**,*Lee Rudolph*

**Re: Stone's Theorem**,*george***The MetaMathematical Theorem that Almost Was**,*Charlie-Boo***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*Torkel Franzen***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*george***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*Daryl McCullough***Re: tedious sledding re set existence in FOL**,*Torkel Franzen***Re: tedious sledding re set existence in FOL**,*Daryl McCullough***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*Daryl McCullough***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*Torkel Franzen***Re: tedious sledding re set existence in FOL**,*Daryl McCullough***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*Charlie-Boo***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*G . Frege***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*G . Frege***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: tedious sledding re set existence in FOL**,*MoeBlee***Re: tedious sledding re set existence in FOL**,*george***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*MoeBlee***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*Charlie-Boo***Re: The MetaMathematical Theorem that Almost Was**,*Barb Knox***Re: The MetaMathematical Theorem that Almost Was**,*Rupert***Re: The MetaMathematical Theorem that Almost Was**,*george*

**Re: The MetaMathematical Theorem that Almost Was**,*computer***Re: The MetaMathematical Theorem that Almost Was**,*G . Frege***Re: The MetaMathematical Theorem that Almost Was**,*Chris Menzel*

**Godel's theorem is uninteresting?**,*ken.quirici@xxxxxxxxxx***Re: Godel's theorem is uninteresting?**,*Charlie-Boo***Re: Godel's theorem is uninteresting?**,*ken.quirici@xxxxxxxxxx*

**Re: Godel's theorem is uninteresting?**,*george*

**Godel's theorem is invalid?**,*LordBeotian***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*LordBeotian***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*LordBeotian***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*LordBeotian***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*LordBeotian***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*David C . Ullrich***Re: Godel's theorem is invalid?**,*Charlie-Boo*

**Re: Godel's theorem is invalid?**,*Daryl McCullough**Message not available***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*¬a\\/b***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*Charlie-Boo**Message not available***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Daryl McCullough***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*sradhakr**Message not available***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Barb Knox**Message not available***Re: Godel's theorem is invalid?**,*Barb Knox**Message not available***Re: Godel's theorem is invalid?**,*Chris Menzel***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*Charlie-Boo**Message not available***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo**Message not available***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Torkel Franzen***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Torkel Franzen**Message not available***Re: Godel's theorem is invalid?**,*Torkel Franzen**Message not available**Message not available**Message not available**Message not available***Re: Godel's theorem is invalid?**,*sradhakr***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*george***Re: Godel's theorem is invalid?**,*Charlie-Boo***Re: Godel's theorem is invalid?**,*Charlie-Boo**Message not available***Re: Godel's theorem is invalid?**,*Charlie-Boo*

**Re: Godel's theorem is invalid?**,*Charlie-Boo**Message not available***Re: Godel's theorem is invalid?**,*Daryl McCullough*

**Natural deduction?**,*Torkel Franzen***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*Dan Christensen***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*Charlie-Boo***Re: Natural deduction?**,*Charlie-Boo***Re: Natural deduction?**,*Dan Christensen***Re: Natural deduction?**,*Charlie-Boo***Re: Natural deduction?**,*Dan Christensen***Re: Natural deduction?**,*Dan Christensen*

**Re: Natural deduction?**,*Charlie-Boo***Re: Natural deduction?**,*George Dance***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*George Dance***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*George Dance***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*George Dance***Re: Natural deduction?**,*G . Frege*

**Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*G . Frege*

**Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*George Dance***Re: Natural deduction?**,*G . Frege***Re: Natural deduction?**,*G . Frege*

**Re: logic on the web**,*MoeBlee***proving transfinite induction in PA**,*Rupert***Re: proving transfinite induction in PA**,*Torkel Franzen*

**Proof theoretical strength of induction up to epsilon-0**,*Aatu Koskensilta***Re: Proof theoretical strength of induction up to epsilon-0**,*Torkel Franzen***Re: Proof theoretical strength of induction up to epsilon-0**,*Aatu Koskensilta*

**Intro book on Set Theory.**,*RoxPureblood***Re: Intro book on Set Theory.**,*Aatu Koskensilta***Re: Intro book on Set Theory.**,*Dan Christensen*

**2nd SIPTA School on Imprecise Probabilities**,*Enrique Miranda***Conference with specialist on Russell (d. VERNANT) -last call**,*Colin . Schmidt***i-C&P "Computers + Philosophy" int'l conference -LAST CALL (1000+150 wds.)**,*Colin . Schmidt***God is way beyond logic and reasoning**,*sam_icon***Re: God is way beyond logic and reasoning**,*William Elliot***Re: God is way beyond logic and reasoning**,*Charlie-Boo*

**Re: ring/field/algebra**,*george***Re: ring/field/algebra**,*Arturo Magidin*

**Re: Poem on halting problem**,*Poldie***Re: Question on upwards LST**,*poopdeville***Re: Question on upwards LST**,*Robert Low***Re: Question on upwards LST**,*Chris Menzel***Re: Question on upwards LST**,*Robert Low***Re: Question on upwards LST**,*David C . Ullrich*

**Re: =**,*H. Enderton***Re: nonstandard models of PA**,*William Elliot*- <Possible follow-ups>
**Re: nonstandard models of PA**,*H. Enderton***nonstandard models of PA**,*Bill Taylor***Re: nonstandard models of PA**,*Aatu Koskensilta***Re: nonstandard models of PA**,*Alex R*

**Venn Diagram of a Numerical Syllogism?**,*raydpratt***God is a paradox.**,*Starbles**Message not available**Message not available**Message not available**Message not available***Re: God is a paradox.**,*Rupert*

*Message not available**Message not available**Message not available**Message not available***Re: God is a paradox.**,*Torkel Franzen***Re: God is a paradox.**,*|-|erc***Re: God is a paradox.**,*Charlie-Boo*

**Re: God is a paradox.**,*georgie*

**[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger***Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Rupert*

**Re: Penrose's reply to Chalmers**,*george***Re: Penrose's reply to Chalmers**,*Rupert*

**Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Rupert*

*Message not available***Re: Penrose's reply to Chalmers**,*Torkel Franzen**Message not available**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*abo**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Aatu Koskensilta***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Rupert**Message not available**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*Daryl McCullough*

*Message not available***Re: Penrose's reply to Chalmers**,*Rupert*

*Message not available***Re: Penrose's reply to Chalmers**,*Rupert**Message not available**Message not available***Re: Penrose's reply to Chalmers**,*abo*

*Message not available***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*abo**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Rupert**Message not available***Re: Penrose's reply to Chalmers**,*abo***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo**Message not available***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Nam Nguyen***Re: Penrose's reply to Chalmers**,*Keith Ramsay***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Torkel Franzen***Re: Penrose's reply to Chalmers**,*abo*

*Message not available***Re: Penrose's reply to Chalmers**,*Daryl McCullough***Re: Penrose's reply to Chalmers**,*Rupert***Re: Penrose's reply to Chalmers**,*Stephen Harris***Re: Penrose's reply to Chalmers**,*JEFFREY KETLAND*