sci.logic
- Cardinals for Tony,
Daryl McCullough
- 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
- Anti-Cantorians and the Applicability of Logic,
Daryl McCullough
- Re: Weird problem,
Peter Webb
- a simple question regarding irony,
gsax
- Re: primitive recursive,
Barb Knox
- Deduction problem in first order logic,
THE SWARM MASTER
- Re: Update: Objections to Cantor's Theory,
george
- Questions for Uncountability Deniers,
MoeBlee
- Basis for Lambda Functions,
Bill Taylor
- Re: Prime model in DLO,
Jean-Pierre MERX
- Re: Obections to Cantor's Theory (Wikipedia article),
MoeBlee
- Honorary truth?,
Dunk
- Who believes/believed that set theory is/was inconsistent?,
Jim Spriggs
- Being and Nothing,
William Elliot
- 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
- Is it a paradox? (fwd),
Reinhold Friedrich Burger
- Re: Is this theorem really in S?,
Chris Menzel
- Penrose's impossible object in 4D,
gsax
- which is more fundamental?,
gsax
- 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,
David C . Ullrich
- Re: Completeness,
Jim Spriggs
Need a proof (or disproof) of this conjecture,
THE SWARM MASTER
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,
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: logic relay chat,
Jesse Alama
PL or PLI,
1st Semester Logic Student
Confused about Intuitionistic provability,
Barb Knox
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.,
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
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
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
Re: Gödel's theorems in Wikipedia,
timm
Re: errata,
Max Weiss
Modal logics with binders and fixpoints,
Vincenzo Ciancia
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),
Helene . Boucher
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,
Jim Spriggs
Re: Logic in Schools,
Acme Diagnostics
- Re: Logic in Schools,
PureAI
- <Possible follow-ups>
- Re: Logic in Schools,
George Dance
- Re: Logic in Schools,
Torkel Franzen
- 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
