sci.logic
Blum's speed up,
ljehan
in part timelike and in part spacelike,
NILS BÖRJESSON
logically implication and tautologically implication,
Li Yi
first order logic - dummy,
Li Yi
find a counterexample,
Li Yi
Substitutability in First-Order Logic,
Li Yi
Commonsense Reasoning: Book announcement,
Erik T. Mueller
computable analysis problem,
Snis Pilbor
Re: Kripke's inductive partial self-applicable truth predicate,
Daryl McCullough
Propositional Logic problem 1,
Li Yi
Re: What is known about ZF + cf(kappa) <= omega for all kappa?,
Keith Ramsay
[Announcement] Blog on the history of Fermat's Last Theorem,
larry . freeman
j:V --> V,
Bill Taylor
Poetential infinity,
Bill Taylor
BÖRJESSONS LOGIC: TIME IS ALGEBRA!,
NILS BÖRJESSON
BÖRJESSONS LOGIC: LOGIC IS GEOMETRY,
NILS BÖRJESSON
Will anyone do me a favor to tell me where can I download books/papers about hyperlattic/lattice/superlattice?,
yumingfeng25928@xxxxxxxxx
Where is the error?,
Solipsist
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Solipsist
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Rupert
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Rupert
- Re: Where is the error?,
Aatu Koskensilta
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Torkel Franzen
- Re: Where is the error?,
Daryl McCullough
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Aatu Koskensilta
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
David C . Ullrich
- Re: Where is the error?,
H. J. Sander Bruggink
- Re: Where is the error?,
Solipsist
- Re: Where is the error?,
Jan Burse
- Re: Where is the error?,
Solipsist
- Re: Where is the error?,
Solipsist
- Re: Where is the error?,
Jan Burse
- Re: Where is the error?,
H. J. Sander Bruggink
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
H. J. Sander Bruggink
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
H. J. Sander Bruggink
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Charlie-Boo
- Re: Where is the error?,
Charlie-Boo
reflexivity and idempotence.,
adamgolding
- Re: reflexivity and idempotence.,
smnewberger
- Re: reflexivity and idempotence.,
MoeBlee
- Re: reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
adamgolding
- Re: reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
adamgolding
- reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
MoeBlee
- Re: reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
Torkel Franzen
- Re: reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
MoeBlee
- Re: reflexivity and idempotence.,
William Elliot
- Re: reflexivity and idempotence.,
Torkel Franzen
- Re: reflexivity and idempotence.,
Chris Menzel
What's the difference between Commutativity and Symmetry?,
adamgolding
Recursion,
Tom
list of universities math deps. specializing in mathematical logic?,
mozert1
Kripke models with constant domain,
Colin
Re: re-stating FLT and FTA in PA,
george
Is there an answer to this logic riddle?,
Randy Yates
Starbucks,
Bryan
Re: Undecidability of undecidability: some examples?,
george
[Newbie Question] Inductive Arguments,
tjb
FOPL & ST question,
Tom
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
G . Frege
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
G . Frege
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
G . Frege
- Re: FOPL & ST question,
Tom
- Re: FOPL & ST question,
Torkel Franzen
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Torkel Franzen
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Torkel Franzen
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Torkel Franzen
- Re: FOPL & ST question,
William Elliot
- Re: FOPL & ST question,
Aatu Koskensilta
- Re: FOPL & ST question,
Chris Menzel
- Re: FOPL & ST question,
Randy Yates
strange,
mio fiume
Some Metamathematical Questions,
Charlie-Boo
ZFC IS INCONSISTENT.,
Foukzon
undecidability of fol,
Per Freem
Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Torkel Franzen
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Torkel Franzen
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Torkel Franzen
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Chris Menzel
- Message not available
- Message not available
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Torkel Franzen
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
Re: ZFC means?,
Barb Knox
<Possible follow-ups>
Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Charlie-Boo
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
george
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
Torkel Franzen
- Re: ZFC means?,
David C . Ullrich
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Daryl McCullough
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
Chris Menzel
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
G . Frege
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
MoeBlee
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
Nam Nguyen
- Re: ZFC means?,
David C . Ullrich
Modal-logic with scope-modifying operators,
Aatu Koskensilta
Re: If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?,
neom
Book Recommendation,
Tom
If you need comprehensible input, how do children start talking when they are less than three or four year of age? Everything is incomprehensible initially, right?,
penguinsare
Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Barb Knox
- Re: Definite description and set abstraction notation - recursive definition?,
Aatu Koskensilta
- Re: Definite description and set abstraction notation - recursive definition?,
Paul Holbach
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Torkel Franzen
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Torkel Franzen
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Torkel Franzen
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Torkel Franzen
- Re: Definite description and set abstraction notation - recursive definition?,
Chris Menzel
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
MoeBlee
- Re: Definite description and set abstraction notation - recursive definition?,
Aatu Koskensilta
Re: Simple yet Profound Metatheorem,
Charlie-Boo
Choice Question,
Charlie-Boo
- Re: Choice Question,
Michael De
- Re: Choice Question,
Aatu Koskensilta
- Re: Choice Question,
Michael De
- Re: Choice Question,
Aatu Koskensilta
- Re: Choice Question,
Michael De
- Re: Choice Question,
Aatu Koskensilta
- Re: Choice Question,
Charlie-Boo
- Re: Choice Question,
george
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
george
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
george
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
george
- Re: Choice Question,
Aatu Koskensilta
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
Charlie-Boo
- Re: Choice Question,
Jan Burse
- Re: Choice Question,
Charlie-Boo
tableau and gentzen systems,
Per Freem
Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Torkel Franzen
- <Possible follow-ups>
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
Aatu Koskensilta
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Aatu Koskensilta
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
Torkel Franzen
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Torkel Franzen
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
Charlie-Boo
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
Charlie-Boo
- Re: Metamathematically True or False?,
Torkel Franzen
- Re: Metamathematically True or False?,
Rupert
- Re: Metamathematically True or False?,
Aatu Koskensilta
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Aatu Koskensilta
- Re: Metamathematically True or False?,
Daryl McCullough
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Daryl McCullough
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
george
- Re: Metamathematically True or False?,
Daryl Mc
- Re: Metamathematically True or False?,
Daryl McCullough
- Re: Metamathematically True or False?,
george
- There is no language of arithmetic,
george
- Re: There is no language of arithmetic,
Rupert
- Message not available
- Message not available
- Message not available
- Message not available
- Re: There is no language of arithmetic,
george
- Re: There is no language of arithmetic,
Rupert
Message not availableMessage not availableMessage not availableMessage not availableRe: There is no language of arithmetic,
george
Re: There is no language of arithmetic,
Rupert
Re: There is no language of arithmetic,
Nam Nguyen
Re: There is no language of arithmetic,
MoeBlee
Re: There is no language of arithmetic,
Nam Nguyen
Re: There is no language of arithmetic,
MoeBlee
Re: There is no language of arithmetic,
george
Re: There is no language of arithmetic,
Rupert
Message not availableMessage not availableMessage not availableMessage not availableRe: There is no language of arithmetic,
george
Re: There is no language of arithmetic,
Rupert
Re: Metamathematically True or False?,
Charlie-Boo
Re: Adequate sets of n-ary connectives,
Russell Easterly
Re: not simple enough for a village idiot,
george
Re: grundlagen,
george
Re: Predicativism and natural numbers,
george
Re: Martin Gardner's New Prediction Paradox,
TheNightFly
[FAQ, 99/07/28] Mathematical logic on the web,
Boris 'pi' Piwinger
