# sci.logic

**Cardinals for Tony**,*Daryl McCullough***Re: Cardinals for Tony**,*William Elliot***Re: Cardinals for Tony**,*torkel*

**Quantifiers for Tony Orlow**,*Daryl McCullough***predicate logic encoding of Post's Correspondence Problem**,*yarden . katz***Best ways to Godel number the recursives?**,*Snis Pilbor***Re: Best ways to Godel number the recursives?**,*Pierre Asselin***Re: Best ways to Godel number the recursives?**,*Snis Pilbor***Re: Best ways to Godel number the recursives?**,*Pierre Asselin***Re: Best ways to Godel number the recursives?**,*Snis Pilbor*

**Re: Best ways to Godel number the recursives?**,*H. Enderton***Re: Best ways to Godel number the recursives?**,*Snis Pilbor*

**Re: Best ways to Godel number the recursives?**,*examachine*

**Anti-Cantorians and the Applicability of Logic**,*Daryl McCullough***Re: Anti-Cantorians and the Applicability of Logic**,*Ross A. Finlayson***Re: Anti-Cantorians and the Applicability of Logic**,*Jim Spriggs*

**Re: Anti-Cantorians and the Applicability of Logic**,*david petry***Re: Anti-Cantorians and the Applicability of Logic**,*David C . Ullrich*

**Re: Weird problem**,*Peter Webb***Re: Weird problem**,*Aatu Koskensilta***Re: Weird problem**,*Babylonian***Re: Weird problem**,*torkel*

- <Possible follow-ups>
**Re: Weird problem**,*Jim Spriggs***Re: Weird problem**,*H. Enderton*

**Weird problem**,*Bill Taylor***Re: Weird problem**,*torkel*

**a simple question regarding irony**,*gsax***Re: a simple question regarding irony**,*Helene . Boucher***Re: a simple question regarding irony**,*gsax***Re: a simple question regarding irony**,*Helene . Boucher***Re: a simple question regarding irony**,*gsax*

**Re: a simple question regarding irony**,*torkel***Re: a simple question regarding irony**,*Tron***Re: a simple question regarding irony**,*|-|erc*

**Re: primitive recursive**,*Barb Knox***Re: primitive recursive**,*Jesse Alama***Re: primitive recursive**,*Barb Knox*

- <Possible follow-ups>
**primitive recursive**,*Bill Taylor***Re: primitive recursive**,*H. Enderton*

**Deduction problem in first order logic**,*THE SWARM MASTER***Re: Deduction problem in first order logic**,*torkel***Re: Deduction problem in first order logic**,*THE SWARM MASTER***Re: Deduction problem in first order logic**,*Torkel Franzen***Re: Deduction problem in first order logic**,*THE SWARM MASTER***Re: Deduction problem in first order logic**,*torkel*

**Re: Update: Objections to Cantor's Theory**,*george***Re: Update: Objections to Cantor's Theory**,*georgie***Re: Update: Objections to Cantor's Theory**,*david petry*

**Questions for Uncountability Deniers**,*MoeBlee***Re: Questions for Uncountability Deniers**,*William Elliot***Re: Questions for Uncountability Deniers**,*sradhakr***Re: Questions for Uncountability Deniers**,*Ross A. Finlayson*

**Re: Questions for Uncountability Deniers**,*georgie*

**Basis for Lambda Functions**,*Bill Taylor***Re: Basis for Lambda Functions**,*William Elliot***Re: Basis for Lambda Functions**,*Chris Menzel*

**Re: Prime model in DLO**,*Jean-Pierre MERX***Re: Obections to Cantor's Theory (Wikipedia article)**,*MoeBlee*- <Possible follow-ups>
**Re: Obections to Cantor's Theory (Wikipedia article)**,*george***Re: Obections to Cantor's Theory (Wikipedia article)**,*MoeBlee***Re: Obections to Cantor's Theory (Wikipedia article)**,*MoeBlee***Re: Obections to Cantor's Theory (Wikipedia article)**,*georgie***Re: Obections to Cantor's Theory (Wikipedia article)**,*Chris Menzel*

**Re: Obections to Cantor's Theory (Wikipedia article)**,*aeo6***Re: Obections to Cantor's Theory (Wikipedia article)**,*Robert Low***Re: Obections to Cantor's Theory (Wikipedia article)**,*Daryl McCullough*

**Re: Obections to Cantor's Theory (Wikipedia article)**,*malbrain***Re: Obections to Cantor's Theory (Wikipedia article)**,*Randy Poe***Re: Obections to Cantor's Theory (Wikipedia article)**,*aeo6***Re: Obections to Cantor's Theory (Wikipedia article)**,*Daryl McCullough***Re: Obections to Cantor's Theory (Wikipedia article)**,*malbrain***Re: Obections to Cantor's Theory (Wikipedia article)**,*malbrain*

**Honorary truth?**,*Dunk***Re: Honorary truth?**,*MoeBlee***Re: Honorary truth?**,*Dunk***Re: Honorary truth?**,*MoeBlee***Re: Honorary truth?**,*Dunk***Re: Honorary truth?**,*MoeBlee***Re: Honorary truth?**,*MoeBlee***Re: Honorary truth?**,*Dunk*

**Re: Honorary truth?**,*Owen*

**Who believes/believed that set theory is/was inconsistent?**,*Jim Spriggs***Re: Who believes/believed that set theory is/was inconsistent?**,*Keith Ramsay***Re: Who believes/believed that set theory is/was inconsistent?**,*David C . Ullrich***Re: Who believes/believed that set theory is/was inconsistent?**,*Keith Ramsay***Re: Who believes/believed that set theory is/was inconsistent?**,*David C . Ullrich***Re: Who believes/believed that set theory is/was inconsistent?**,*Keith Ramsay***Re: Who believes/believed that set theory is/was inconsistent?**,*george***Re: Who believes/believed that set theory is/was inconsistent?**,*torkel***Re: Who believes/believed that set theory is/was inconsistent?**,*Keith Ramsay***Re: Who believes/believed that set theory is/was inconsistent?**,*David C . Ullrich***Re: Who believes/believed that set theory is/was inconsistent?**,*David C . Ullrich*

**Re: Who believes/believed that set theory is/was inconsistent?**,*Jim Spriggs***Re: Who believes/believed that set theory is/was inconsistent?**,*David C . Ullrich***Re: Who believes/believed that set theory is/was inconsistent?**,*Jim Spriggs*

**Re: Who believes/believed that set theory is/was inconsistent?**,*george*

**Re: Who believes/believed that set theory is/was inconsistent?**,*Helene . Boucher*

**Being and Nothing**,*William Elliot***Re: Being and Nothing**,*Andrew***Re: Being and Nothing**,*William Elliot***Re: Being and Nothing**,*Andrew*

**What isn't a tautology?**,*Dunk***Re: What isn't a tautology?**,*Douglas Theobald***Re: What isn't a tautology?**,*erite423***Re: What isn't a tautology?**,*Douglas Theobald***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Jim Spriggs***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Jim Spriggs***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*dtheobald***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*dtheobald***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*dtheobald***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Barb Knox***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*David C . Ullrich***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*David C . Ullrich***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*David C . Ullrich***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Owen***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*Chris Menzel***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*erite423***Re: What isn't a tautology?**,*Michael De***Re: What isn't a tautology?**,*erite423***Re: What isn't a tautology?**,*Michael De*

**Re: What isn't a tautology?**,*George Dance*

**Re: What isn't a tautology?**,*Jim Spriggs***Re: What isn't a tautology?**,*Jim Spriggs***Re: What isn't a tautology?**,*Douglas Theobald***Re: What isn't a tautology?**,*Jim Spriggs***Re: What isn't a tautology?**,*George Dance***Re: What isn't a tautology?**,*dtheobald***Re: What isn't a tautology?**,*Jim Spriggs*

**Is it a paradox? (fwd)**,*Reinhold Friedrich Burger***Re: Is it a paradox? (fwd)**,*Tron***Re: Is it a paradox? (fwd)**,*Neil W Rickert***Re: Is it a paradox? (fwd)**,*Reinhold Friedrich Burger*

**Re: Is it a paradox? (fwd)**,*William Elliot***Re: Is it a paradox? (fwd)**,*Michael De***Re: Is it a paradox? (fwd)**,*Peter Webb***Re: Is it a paradox? (fwd)**,*David C . Ullrich***Re: Is it a paradox? (fwd)**,*Peter Webb***Re: Is it a paradox? (fwd)**,*Michael De***Re: Is it a paradox? (fwd)**,*Peter Webb***Re: Is it a paradox? (fwd)**,*Jim Burns***Re: Is it a paradox? (fwd)**,*Owen***Re: Is it a paradox? (fwd)**,*Jim Spriggs***Re: Is it a paradox? (fwd)**,*Peter Webb***Re: Is it a paradox? (fwd)**,*Jim Spriggs***Re: Is it a paradox? (fwd)**,*David C . Ullrich***Re: Is it a paradox? (fwd)**,*George Dance*

**Re: Is it a paradox? (fwd)**,*Max Weiss*

**Re: Is this theorem really in S?**,*Chris Menzel***Re: Is this theorem really in S?**,*torkel*- <Possible follow-ups>
**Re: Is this theorem really in S?**,*H. Enderton*

**Penrose's impossible object in 4D**,*gsax***which is more fundamental?**,*gsax***Re: which is more fundamental?**,*Babylonian***Re: which is more fundamental?**,*William Elliot***Re: which is more fundamental?**,*Colin***Re: which is more fundamental?**,*William Elliot***Re: which is more fundamental?**,*Acme Diagnostics*

**Re: which is more fundamental?**,*Jim Spriggs***Re: which is more fundamental?**,*Peter Webb*

**re: which is more fundamental?**,*Acme Diagnostics*

**Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*William Elliot***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*William Elliot***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*William Elliot***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*Babylonian***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*Babylonian***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*Babylonian***Re: Turing completeness of the functional paradigm?**,*Robert Low***Re: Turing completeness of the functional paradigm?**,*Chris Menzel***Re: Turing completeness of the functional paradigm?**,*Robert Low***Re: Turing completeness of the functional paradigm?**,*Chris Menzel***Re: Turing completeness of the functional paradigm?**,*Robert Low***Re: Turing completeness of the functional paradigm?**,*george***Re: Turing completeness of the functional paradigm?**,*Keith Ramsay***Re: Turing completeness of the functional paradigm?**,*Chris Menzel***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*Keith Ramsay***Re: Turing completeness of the functional paradigm?**,*Babylonian***Re: Turing completeness of the functional paradigm?**,*Keith Ramsay***Re: Turing completeness of the functional paradigm?**,*Babylonian***Re: Turing completeness of the functional paradigm?**,*William Elliot***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*William Elliot***Re: Turing completeness of the functional paradigm?**,*Tom***Re: Turing completeness of the functional paradigm?**,*Tom*

**Re: Completeness**,*William Elliot***Re: Completeness**,*torkel***Re: Completeness**,*Michael De***Re: Completeness**,*Michael De*

*Message not available***Re: Completeness**,*torkel*

- <Possible follow-ups>
**Re: Completeness**,*torkel***Re: Completeness**,*Ross A. Finlayson*

**Re: Completeness**,*Thomas Käufl**Message not available***Re: Completeness**,*H. Enderton***Re: Completeness**,*Chris Menzel***Re: Completeness**,*Jim Spriggs*

*Message not available***Re: Completeness**,*Thomas Käufl*

**Re: Completeness**,*David C . Ullrich***Re: Completeness**,*Jim Spriggs***Re: Completeness**,*Jesse Alama*

**Need a proof (or disproof) of this conjecture**,*THE SWARM MASTER***Re: Need a proof (or disproof) of this conjecture**,*torkel***Re: Need a proof (or disproof) of this conjecture**,*H. Enderton***Re: Need a proof (or disproof) of this conjecture**,*David C . Ullrich***Re: Need a proof (or disproof) of this conjecture**,*THE SWARM MASTER***Re: Need a proof (or disproof) of this conjecture**,*H. Enderton***Re: Need a proof (or disproof) of this conjecture**,*David C . Ullrich***Re: Need a proof (or disproof) of this conjecture**,*THE SWARM MASTER*

**Re: Need a proof (or disproof) of this conjecture**,*Michael De***Re: Need a proof (or disproof) of this conjecture**,*Michael De***Re: Need a proof (or disproof) of this conjecture**,*THE SWARM MASTER***Re: Need a proof (or disproof) of this conjecture**,*Michael De***Re: Need a proof (or disproof) of this conjecture**,*george***Re: Need a proof (or disproof) of this conjecture**,*Michael De***Re: Need a proof (or disproof) of this conjecture**,*David C . Ullrich*

**Re: Need a proof (or disproof) of this conjecture**,*Michael De***Re: Need a proof (or disproof) of this conjecture**,*David C . Ullrich*

**Partially ordered quantifiers**,*Michael De***Re: Partially ordered quantifiers**,*Chris Menzel***Re: Partially ordered quantifiers**,*Michael De*

**Question on logic and Godel**,*RichD***Re: Question on logic and Godel**,*Chris Menzel***Re: Question on logic and Godel**,*RichD***Re: Question on logic and Godel**,*Chris Menzel***Re: Question on logic and Godel**,*Lee Rudolph***Re: Question on logic and Godel**,*Michael De***Re: Question on logic and Godel**,*Robert Low***Re: Question on logic and Godel**,*Helene . Boucher***Re: Question on logic and Godel**,*Chris Menzel***Re: Question on logic and Godel**,*Robert Low***Re: Question on logic and Godel**,*Helene . Boucher***Re: Question on logic and Godel**,*Robert Low***Re: Question on logic and Godel**,*Helene . Boucher***Re: Question on logic and Godel**,*Robert Low***Re: Question on logic and Godel**,*Helene . Boucher**Message not available***Re: Question on logic and Godel**,*Helene . Boucher***Re: Question on logic and Godel**,*Robert Low***Re: Question on logic and Godel**,*Michael De***Re: Question on logic and Godel**,*Chris Menzel***Re: Question on logic and Godel**,*Michael De***Re: Question on logic and Godel**,*Jim Spriggs*

**Re: Question on logic and Godel**,*Michael De***Re: Question on logic and Godel**,*Michael De*

**Re: Question on logic and Godel**,*Helene . Boucher***Re: Question on logic and Godel**,*Bhupinder Singh Anand***Re: Question on logic and Godel**,*george***Re: Question on logic and Godel**,*Pierre Asselin*

**von Neumann universe**,*H. Enderton***Re: von Neumann universe**,*Chris Menzel***Re: von Neumann universe**,*Aatu Koskensilta***Re: von Neumann universe**,*Paul Holbach***Re: von Neumann universe**,*H. Enderton*

**Re: logic relay chat**,*Jesse Alama***PL or PLI**,*1st Semester Logic Student***Re: PL or PLI**,*George Dance***Re: PL or PLI**,*William Elliot***Re: PL or PLI**,*George Dance***Re: PL or PLI**,*Michael De***Re: PL or PLI**,*William Elliot***Re: PL or PLI**,*George Dance***Re: PL or PLI**,*William Elliot***Re: PL or PLI**,*George Dance*

**Re: PL or PLI**,*G . Frege***Re: PL or PLI**,*William Elliot*

**Confused about Intuitionistic provability**,*Barb Knox***Re: Confused about Intuitionistic provability**,*Jim Spriggs***Re: Confused about Intuitionistic provability**,*Jim Spriggs***Re: Confused about Intuitionistic provability**,*Jim Spriggs***Re: Confused about Intuitionistic provability**,*Keith Ramsay***Re: Confused about Intuitionistic provability**,*galathaea***Re: Confused about Intuitionistic provability**,*Keith Ramsay***Re: Confused about Intuitionistic provability**,*Babylonian*

**Re: Confused about Intuitionistic provability**,*Torkel Franzen***Re: Confused about Intuitionistic provability**,*galathaea***Re: Confused about Intuitionistic provability**,*Keith Ramsay***Re: Confused about Intuitionistic provability**,*Alan Smaill***Re: Confused about Intuitionistic provability**,*Keith Ramsay***Re: Confused about Intuitionistic provability**,*Babylonian***Re: Confused about Intuitionistic provability**,*Babylonian***Re: Confused about Intuitionistic provability**,*Keith Ramsay*

**Re: Confused about Intuitionistic provability**,*examachine***Re: Confused about Intuitionistic provability**,*Keith Ramsay***Re: Confused about Intuitionistic provability**,*examachine*

**Re: Confused about Intuitionistic provability**,*Daryl McCullough*

**Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*William Elliot***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*torkel***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Barb Knox***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*george***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Michael De*

**Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Michael De*

**Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*George Dance***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Acme Diagnostics***Re: Interpretations and assignments.**,*Paul Holbach***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Owen***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Chris Menzel***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*Torkel Franzen***Re: Interpretations and assignments.**,*Michael De***Re: Interpretations and assignments.**,*G . Frege***Re: Interpretations and assignments.**,*G . Frege*

**Humans are Becoming Genetically Less Intelligent**,*Europa***Re: Humans are Becoming Genetically Less Intelligent**,*Robert Low***OT: Re: Humans are Becoming Genetically Less Intelligent**,*Peter Webb***Re: Humans are Becoming Genetically Less Intelligent**,*Stephen Montgomery-Smith***Re: Humans are Becoming Genetically Less Intelligent**,*Jim Spriggs***Re: Humans are Becoming Genetically Less Intelligent**,*Hero . van . Jindelt*

**theory of a model class**,*Andrea Leonardi***Re: Post-Axiomatic Mathematics Proclamation**,*Stephen Montgomery-Smith***Re: Post-Axiomatic Mathematics Proclamation**,*Chris Menzel***Re: Post-Axiomatic Mathematics Proclamation**,*Stephen Montgomery-Smith***Re: Post-Axiomatic Mathematics Proclamation**,*Jim Spriggs***Re: Post-Axiomatic Mathematics Proclamation**,*Stephen Montgomery-Smith***Re: Post-Axiomatic Mathematics Proclamation**,*Chris Menzel***Re: Post-Axiomatic Mathematics Proclamation**,*Stephen Montgomery-Smith***Re: Post-Axiomatic Mathematics Proclamation**,*Mitch Harris***Re: Post-Axiomatic Mathematics Proclamation**,*Stephen Montgomery-Smith***Re: Post-Axiomatic Mathematics Proclamation**,*Chris Menzel***Re: Post-Axiomatic Mathematics Proclamation**,*Babylonian***Re: Post-Axiomatic Mathematics Proclamation**,*Tom Breton***Re: Post-Axiomatic Mathematics Proclamation**,*george***Re: Post-Axiomatic Mathematics Proclamation**,*Keith Ramsay***Re: Post-Axiomatic Mathematics Proclamation**,*Lee Rudolph*

**Re: Post-Axiomatic Mathematics Proclamation**,*Herman Jurjus*

- <Possible follow-ups>
**Re: Post-Axiomatic Mathematics Proclamation**,*Jim Spriggs***Re: Post-Axiomatic Mathematics Proclamation**,*Martin Shobe***Re: Post-Axiomatic Mathematics Proclamation**,*Jim Spriggs*

**Post Axiom Syndrome**,*William Elliot***Re: Post Axiom Syndrome**,*Babylonian***Re: Post Axiom Syndrome**,*george***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*george***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Chris Menzel***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Chris Menzel***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Chris Menzel***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Max Weiss***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Chris Menzel***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*george***Re: Post Axiom Syndrome**,*Ross A. Finlayson**Message not available**Message not available***Re: Post Axiom Syndrome**,*Robert Low***Re: Post Axiom Syndrome**,*Ross A. Finlayson***Re: Post Axiom Syndrome**,*Robert Low***Re: Post Axiom Syndrome**,*Chris Menzel*

**Re: Post Axiom Syndrome**,*examachine***Post Axiom Syndrome**,*William Elliot***Re: Post Axiom Syndrome**,*Jim Spriggs*

**Re: Gödel's theorems in Wikipedia**,*timm***Re: errata**,*Max Weiss***Modal logics with binders and fixpoints**,*Vincenzo Ciancia***Re: Modal logics with binders and fixpoints**,*Torkel Franzen*

**Re: Derivations (SD)**,*1st Semester Logic Student*- <Possible follow-ups>
**Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*Robert Low***Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*David C . Ullrich***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*William Elliot*

**Re: Derivations (SD)**,*Jim Spriggs***Re: Derivations (SD)**,*Barb Knox***Re: Derivations (SD)**,*Jim Spriggs*

**Re: Derivations (SD)**,*Helene . Boucher***Re: Derivations (SD)**,*David C . Ullrich***Re: Derivations (SD)**,*1st Semester Logic Student***Re: Derivations (SD)**,*Acme Diagnostics***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*Acme Diagnostics***Re: Derivations (SD)**,*William Elliot***Re: Derivations (SD)**,*Acme Diagnostics*

**Equivalent modal logics**,*mikejde@xxxxxxxxx***Re: Equivalent modal logics**,*David C . Ullrich***Re: Equivalent modal logics**,*mikejde@xxxxxxxxx***Re: Equivalent modal logics**,*Jesse Alama***Re: Equivalent modal logics**,*George Dance***Re: Equivalent modal logics**,*George Dance***Re: Equivalent modal logics**,*Jesse Alama***Re: Equivalent modal logics**,*Chris Menzel***Re: Equivalent modal logics**,*Jesse Alama***Re: Equivalent modal logics**,*Michael De***Re: Equivalent modal logics**,*George Dance***Re: Equivalent modal logics**,*Jesse Alama***Re: Equivalent modal logics**,*George Dance***Re: Equivalent modal logics**,*Michael De***Re: Equivalent modal logics**,*George Dance***Re: Equivalent modal logics**,*Owen*

**Re: Equivalent modal logics**,*Chris Menzel***Re: Equivalent modal logics**,*mikejde@xxxxxxxxx***Re: Equivalent modal logics**,*Chris Menzel***Re: Equivalent modal logics**,*Michael De***Re: Equivalent modal logics**,*Chris Menzel***Re: Equivalent modal logics**,*Michael De***Re: Equivalent modal logics**,*Michael De***Re: Equivalent modal logics**,*Chris Menzel***Re: Equivalent modal logics**,*Michael De*

**Re: Equivalent modal logics**,*Jim Spriggs***Re: Equivalent modal logics**,*Jim Spriggs***Re: Equivalent modal logics**,*mikejde@xxxxxxxxx*

**Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*PureAI***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Acme Diagnostics*

- <Possible follow-ups>
**Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance*

**Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*torkel***Re: Logic in Schools**,*George Dance**Message not available***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*torkel***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*torkel***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*torkel***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Jim Spriggs***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Jim Spriggs***Re: Logic in Schools**,*Paul Holbach***Re: Logic in Schools**,*Paul Holbach***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*Paul Holbach***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*mikejde@xxxxxxxxx***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*Michael De***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*Michael De***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*Paul Holbach***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*Paul Holbach***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege***Re: Logic in Schools**,*G . Frege*

**Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Keith Ramsay***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Torkel Franzen***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*torkel***Re: Logic in Schools**,*Keith Ramsay***Re: Logic in Schools**,*Acme Diagnostics***Re: Logic in Schools**,*George Dance***Re: Logic in Schools**,*Acme Diagnostics*

**Logic in Schools**,*George Dance***Re: Logic in Schools**,*George Dance*

**[FAQ, 99/07/28] Mathematical logic on the web**,*Boris 'pi' Piwinger*