sci.logic (date)

sci.logic (date)

[Thread Index] [Top] [All Lists]

December 31, 2005

not simple enough for a village idiot, mitch, 15:36
Re: grundlagen, mitch, 15:30
Re: using encoder as MUX, mkost, 14:42
Re: using encoder as MUX, mkost, 14:35
Re: using encoder as MUX, mkost, 14:35
Re: Martin Gardner's New Prediction Paradox, Rupert, 00:13

December 30, 2005

Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 21:33
Re: Natural Negations, Jan Burse, 15:46
Re: Metamathematically True or False?, Torkel Franzen, 11:31
Re: Learning Logic and Set Theory, Daryl McCullough, 11:20
Re: Metamathematically True or False?, Torkel Franzen, 10:46
Re: Metamathematically True or False?, Torkel Franzen, 09:59
Re: Metamathematically True or False?, Charlie-Boo, 09:33
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 07:33
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 07:25
Re: Metamathematically True or False?, Torkel Franzen, 06:34
Re: Metamathematically True or False?, David C . Ullrich, 06:09
Re: ZFC means?, David C . Ullrich, 06:04
Re: Metamathematically True or False?, Torkel Franzen, 02:45
Re: Metamathematically True or False?, Charlie-Boo, 02:24

December 29, 2005

Re: Simple yet Profound Metatheorem, Daryl McCullough, 17:27
decidability results for relational logic, Adnan Aziz, 17:26
Re: Simple yet Profound Metatheorem, Daryl McCullough, 17:24
Re: ZFC means?, Barb Knox, 15:49
Metamathematically True or False?, Charlie-Boo, 15:17
Re: Simple yet Profound Metatheorem, Charlie-Boo, 15:08
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:59
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:50
Re: ZFC means?, G . Frege, 14:47
Re: Evaluation of article, Charlie-Boo, 14:46
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:41
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:39
Re: Evaluation of article, Torkel Franzen, 14:31
Re: Predicativism and natural numbers, Aatu Koskensilta, 14:28
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:21
Re: Predicativism and natural numbers, george, 13:59
Re: Evaluation of article, Charlie-Boo, 13:52
Re: ZFC means?, Charlie-Boo, 13:15
Re: ZFC means?, Charlie-Boo, 13:11
Re: decidability and completeness, Michael De, 12:20
Re: Learning Logic and Set Theory, Daryl McCullough, 08:36
Re: Learning Logic and Set Theory, Daryl McCullough, 08:31
Re: Learning Logic and Set Theory, David C . Ullrich, 06:29
logic professionals opinion - Geometry in the Bible Text, Boris, 06:20
Re: decidability and completeness, Jan Burse, 01:17

December 28, 2005

Re: grundlagen, G . Frege, 22:52
Re: Learning Logic and Set Theory, george, 17:02
Re: grundlagen, george, 16:15
Re: decidability and completeness, Michael De, 14:57
Re: decidability and completeness, Per Freem, 13:33
Re: decidability and completeness, Torkel Franzen, 12:58
junk, Tomasz Dabrowski, 11:22
Re: decidability and completeness, Per Freem, 11:20
Re: decidability and completeness, Torkel Franzen, 07:13
using encoder as MUX, irenalt, 03:01

December 27, 2005

decidability and completeness, Per Freem, 20:41
Re: What does 1+1=2 really mean?, Douglas Eagleson, 19:42
Re: Learning Logic and Set Theory, Daryl McCullough, 13:11
Re: Learning Logic and Set Theory, Daryl McCullough, 12:58
Re: Learning Logic and Set Theory, george, 12:50
Re: Natural Negations, William Elliot, 08:01

December 26, 2005

grundlagen, mitch, 21:44
Re: What does 1+1=2 really mean?, Paul Holbach, 21:21
Re: Natural Negations, Jan Burse, 18:57
Re: Natural Negations, Jan Burse, 18:48
Re: Natural Negations, William Elliot, 07:47
Re: Natural Negations, Jan Burse, 06:02
Re: Natural Negations, Jan Burse, 05:50
يا جماعة فى منـح تعليميـة مجانية فى مجال برمجة الكمبيوتر, Dr_mohamed_hassan_102, 04:56
يا جماعة فى منـح تعليميـة مجانية فى مجال برمجة الكمبيوتر, Dr_mohamed_hassan_102, 04:56
Natural Negations, William Elliot, 01:21
Inverted iota in LaTeX, Michael De, 00:40

December 25, 2005

Re: What does 1+1=2 really mean?, Barb Knox, 23:10
Re: What does 1+1=2 really mean?, Fish Huang, 22:21
Re: What does 1+1=2 really mean?, smnewberger, 21:42
Re: Natural Negations, Jan Burse, 17:40
Re: axiom of determinacy, Herman Rubin, 16:07
What does 1+1=2 really mean?, stu, 11:26
Re: Natural Negations, William Elliot, 07:58
Re: axiom of determinacy, José Carlos Santos, 04:52
Re: axiom of determinacy, Rupert, 03:22

December 24, 2005

Re: Natural Negations, Jan Burse, 20:50
Re: axiom of determinacy, Herman Rubin, 20:26
Re: Natural Negations, Jan Burse, 20:10
Re: Simple yet Profound Metatheorem, G . Frege, 19:19
Re: axiom of determinacy, Rupert, 16:25
Propositional Variables "Yes" and "No", Gene Ledbetter, 13:18
Re: axiom of determinacy, José Carlos Santos, 13:11
Re: Learning Logic and Set Theory, Daryl McCullough, 12:02
Re: axiom of determinacy, Rupert, 07:01
Re: axiom of determinacy, José Carlos Santos, 05:35
Re: Learning Logic and Set Theory, Keith Ramsay, 03:29
axiom of determinacy, Rupert, 00:59
Re: Simple yet Profound Metatheorem, sradhakr, 00:03

December 23, 2005

Re: Natural Negations, William Elliot, 23:42
Re: Natural Negations, G . Frege, 19:08
Re: Learning Logic and Set Theory, Torkel Franzen, 17:37
Re: Simple yet Profound Metatheorem, sradhakr, 16:01
Re: Simple yet Profound Metatheorem, G . Frege, 15:22
Re: Simple yet Profound Metatheorem, sradhakr, 14:59
Re: Learning Logic and Set Theory, george, 14:53
Re: Simple yet Profound Metatheorem, G . Frege, 13:44
Re: Simple yet Profound Metatheorem, G . Frege, 13:34
Re: Learning Logic and Set Theory, george, 10:51
Re: Learning Logic and Set Theory, george, 10:51
Re: Natural Negations, William Elliot, 10:24
Re: Simple yet Profound Metatheorem, Torkel Franzen, 08:37
Re: Simple yet Profound Metatheorem, sradhakr, 07:15
Re: Learning Logic and Set Theory, Aatu Koskensilta, 07:08
Re: Simple yet Profound Metatheorem, sradhakr, 06:54
Re: Simple yet Profound Metatheorem, Torkel Franzen, 06:41
Re: Simple yet Profound Metatheorem, sradhakr, 06:38
Re: Simple yet Profound Metatheorem, Torkel Franzen, 06:29
Re: Simple yet Profound Metatheorem, sradhakr, 06:25

December 22, 2005

Re: Name of logical fallacy - distorting evidence to fit theory?, poopdeville, 23:01
Re: Natural Negations, Jan Burse, 17:47
Re: Learning Logic and Set Theory, Torkel Franzen, 12:03
Re: Learning Logic and Set Theory, george, 12:02
Re: About Consistency in 1st Order Theories., David C . Ullrich, 08:56
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 05:17
Re: About Consistency in 1st Order Theories., Nam Nguyen, 01:17
Re: Natural Negations, William Elliot, 01:04

December 21, 2005

Re: About Consistency in 1st Order Theories., Nam Nguyen, 23:25
Re: Kreisel and 1-consistency, Aatu Koskensilta, 21:35
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 21:28
Re: About Consistency in 1st Order Theories., Nam Nguyen, 19:54
Re: ZFC means?, G . Frege, 15:30
Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 13:46
Re: Natural Negations, Jan Burse, 11:02
Re: Kreisel and 1-consistency, Torkel Franzen, 09:26
Re: Kreisel and 1-consistency, Peter_Smith, 09:16
Re: Kreisel and 1-consistency, Peter_Smith, 09:15
Re: Natural Negations, Jan Burse, 09:05
Re: ZFC means?, David C . Ullrich, 08:52
Re: About Consistency in 1st Order Theories., David C . Ullrich, 08:36
Re: Simple yet Profound Metatheorem, David C . Ullrich, 08:30
Re: Kreisel and 1-consistency, Aatu Koskensilta, 07:39
Kreisel and 1-consistency, Peter_Smith, 07:18
Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:58
Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:55
Re: Natural Negations, William Elliot, 06:53
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 06:50
Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:49
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 06:32
Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:32
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 05:44
Re: Name of logical fallacy - distorting evidence to fit theory?, john, 04:38
Re: Simple yet Profound Metatheorem, Torkel Franzen, 02:06
Re: Simple yet Profound Metatheorem, Charlie-Boo, 01:59
Re: Simple yet Profound Metatheorem, Charlie-Boo, 01:48
Re: Simple yet Profound Metatheorem, Charlie-Boo, 01:40
Re: Simple yet Profound Metatheorem, Torkel Franzen, 01:38
Re: Simple yet Profound Metatheorem, Charlie-Boo, 01:27
Re: ZFC means?, Charlie-Boo, 01:15

December 20, 2005

Re: Natural Negations, Jan Burse, 18:26
Re: Simple yet Profound Metatheorem, G . Frege, 18:10
Re: About Consistency in 1st Order Theories., Nam Nguyen, 16:40
Re: About Consistency in 1st Order Theories., Nam Nguyen, 16:36
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 15:55
Re: ZFC means?, G . Frege, 15:39
Re: ZFC means?, G . Frege, 15:39
Re: Simple yet Profound Metatheorem, G . Frege, 15:28
Re: Simple yet Profound Metatheorem, Daryl McCullough, 15:28
Re: Simple yet Profound Metatheorem, Charlie-Boo, 15:27
Re: The formal and informal proofs, Charlie-Boo, 15:21
Re: ZFC means?, Charlie-Boo, 15:17
Re: ZFC means?, Charlie-Boo, 15:17
Re: Simple yet Profound Metatheorem, G . Frege, 15:14
Re: Simple yet Profound Metatheorem, Charlie-Boo, 15:09
Re: About Consistency in 1st Order Theories., Nam Nguyen, 14:52
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 14:22
Re: The formal and informal proofs, T.B., 14:13
Re: About Consistency in 1st Order Theories., Nam Nguyen, 13:13
Re: order of magnitute(big Oh), oercim, 11:30
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 11:27
Re: ZFC means?, G . Frege, 11:27
Re: ZFC means?, Charlie-Boo, 11:13
Re: Simple yet Profound Metatheorem, Charlie-Boo, 11:08
Re: ZFC means?, Torkel Franzen, 11:05
Re: ZFC means?, Charlie-Boo, 11:00
Re: The formal and informal proofs, Torkel Franzen, 10:26
Re: The formal and informal proofs, Charlie-Boo, 09:49
Re: Simple yet Profound Metatheorem, G . Frege, 09:44
Re: Simple yet Profound Metatheorem, G . Frege, 09:23
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 09:14
Re: Name of logical fallacy - distorting evidence to fit theory?, Charlie-Boo, 08:58
Re: Name of logical fallacy - distorting evidence to fit theory?, georgie, 08:55
Re: Simple yet Profound Metatheorem, Torkel Franzen, 08:53
Re: Simple yet Profound Metatheorem, Charlie-Boo, 08:35
Re: Simple yet Profound Metatheorem, Charlie-Boo, 08:25
Re: Question on the power set axiom, Herman Jurjus, 08:07
Re: About Consistency in 1st Order Theories., David C . Ullrich, 07:53
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 05:52
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 02:00
Re: About Consistency in 1st Order Theories., Nam Nguyen, 01:29
Re: Name of logical fallacy - distorting evidence to fit theory?, William Elliot, 00:59

December 19, 2005

Re: Name of logical fallacy - distorting evidence to fit theory?, Michael De, 21:09
Re: Inductive and deductive practices, Michael De, 21:06
Re: Inductive and deductive practices, Tron, 19:59
Re: Name of logical fallacy - distorting evidence to fit theory?, Tron, 18:46
Re: Simple yet Profound Metatheorem, G . Frege, 18:08
Re: Name of logical fallacy - distorting evidence to fit theory?, Anders Goeransson, 17:28
Name of logical fallacy - distorting evidence to fit theory?, john, 15:40
Which one is bigger?, oercim, 14:46
Re: Simple yet Profound Metatheorem, David C . Ullrich, 11:27
Inductive and deductive practices, Lupus, 11:26
Re: The formal and informal proofs, T.B., 11:20
Re: paradoxes, Charlie-Boo, 10:52
Re: The formal and informal proofs, Charlie-Boo, 10:47
Re: Simple yet Profound Metatheorem, Charlie-Boo, 10:31
The formal and informal proofs, T.B., 10:30
Re: Simple yet Profound Metatheorem, Aatu Koskensilta, 09:49
Re: About Consistency in 1st Order Theories., David C . Ullrich, 06:33
Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:20
Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 05:56
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 03:52
Re: ZFC means?, Chris Menzel, 03:05
Re: Simple yet Profound Metatheorem, sradhakr, 02:03
Re: ZFC means?, learninglogic, 00:33

December 18, 2005

Re: ZFC means?, learninglogic, 23:58
Natural Negations, William Elliot, 23:54
Re: ZFC means?, Chris Menzel, 23:29
Re: About Consistency in 1st Order Theories., Nam Nguyen, 21:11
Re: ZFC means?, G . Frege, 20:54
ZFC means?, learninglogic, 20:39
Re: About Consistency in 1st Order Theories., Chris Menzel, 20:18
Re: paradoxes, david petry, 19:48
Re: Simple yet Profound Metatheorem, Daryl McCullough, 19:14
Re: About Consistency in 1st Order Theories., Nam Nguyen, 18:35
Re: About Consistency in 1st Order Theories., Nam Nguyen, 18:06
Re: Martin Gardner's New Prediction Paradox, george, 17:03
Re: paradoxes, Gene Ledbetter, 16:32
Re: Martin Gardner's New Prediction Paradox, Gene Ledbetter, 16:19
How long does the customer waits ?, juanra, 14:38
Re: Evaluation of article, Charlie-Boo, 14:12
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:01
Re: Simple yet Profound Metatheorem, sradhakr, 13:42
Re: The MetaMathematical Theorem that Almost Was, george, 13:19
Re: Simple yet Profound Metatheorem, Daryl McCullough, 08:06
Re: paradoxes, Torkel Franzen, 07:40
Re: Evaluation of article, Torkel Franzen, 06:46
Re: Evaluation of article, Charlie-Boo, 05:45
Re: Simple yet Profound Metatheorem, Torkel Franzen, 05:18
Re: Simple yet Profound Metatheorem, sradhakr, 05:04
paradoxes, anbra1, 04:54
Re: Help writing a paper on Godel's Incompleteness Thorem, Nathan Gilbert, 03:27
Re: Simple yet Profound Metatheorem, Torkel Franzen, 02:02
Re: is such that equal to <=== ?, Michael De, 01:18
Re: Simple yet Profound Metatheorem, sradhakr, 00:35

December 17, 2005

Re: Simple yet Profound Metatheorem, sradhakr, 23:59
Re: Simple yet Profound Metatheorem, sradhakr, 23:52
Re: order of magnitute(big Oh), William Elliot, 22:50
Re: Babel Science, Tron, 22:01
Re: Simple yet Profound Metatheorem, Torkel Franzen, 19:39
Re: Evaluation of article, Torkel Franzen, 19:38
Re: Simple yet Profound Metatheorem, Charlie-Boo, 19:15
Re: Evaluation of article, Charlie-Boo, 19:01
Re: Simple yet Profound Metatheorem, Torkel Franzen, 17:47
Re: Evaluation of article, Torkel Franzen, 17:47
Re: order of magnitute(big Oh), oercim, 17:14
Re: order of magnitute(big Oh), William Elliot, 17:00
Re: Babel Science, William Elliot, 16:56
Babel Science, oldwetdog, 16:08
Re: Simple yet Profound Metatheorem, Charlie-Boo, 12:31
Re: Evaluation of article, Charlie-Boo, 12:06
Re: Simple yet Profound Metatheorem, G . Frege, 10:50
Re: About Consistency in 1st Order Theories., Peter Webb, 10:11
Re: Simple yet Profound Metatheorem, Daryl McCullough, 10:00
order of magnitute(big Oh), oercim, 09:17
Re: Simple yet Profound Metatheorem, Daryl McCullough, 09:07
Re: Simple yet Profound Metatheorem, David C . Ullrich, 08:56
Re: Evaluation of article, Torkel Franzen, 08:31
Re: Simple yet Profound Metatheorem, Torkel Franzen, 08:31
Re: Evaluation of article, Charlie-Boo, 07:15
Re: Simple yet Profound Metatheorem, Charlie-Boo, 07:13
Re: Evaluation of article, Torkel Franzen, 07:07
Re: Evaluation of article, Charlie-Boo, 07:01
Re: Simple yet Profound Metatheorem, Torkel Franzen, 06:54
Re: Simple yet Profound Metatheorem, Charlie-Boo, 06:53
Re: Evaluation of article, Torkel Franzen, 04:03
Re: Simple yet Profound Metatheorem, Torkel Franzen, 03:46
Re: Simple yet Profound Metatheorem, Charlie-Boo, 03:23
Re: Evaluation of article, Charlie-Boo, 03:17
Re: Simple yet Profound Metatheorem, Torkel Franzen, 02:07
Re: Simple yet Profound Metatheorem, Torkel Franzen, 02:02
Re: Simple yet Profound Metatheorem, sradhakr, 01:52
Re: Simple yet Profound Metatheorem, Charlie-Boo, 01:40
Re: Evaluation of article, Torkel Franzen, 01:33
Re: Evaluation of article, Charlie-Boo, 01:29
Re: Simple yet Profound Metatheorem, Torkel Franzen, 01:14
Re: The MetaMathematical Theorem that Almost Was, Charlie-Boo, 01:08
Re: Evaluation of article, Torkel Franzen, 00:36

December 16, 2005

Re: Simple yet Profound Metatheorem, Charlie-Boo, 23:07
Re: Informal theories versus formal theories., Charlie-Boo, 22:15
Re: is such that equal to <=== ?, Keith Ramsay, 21:44
Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 21:41
Re: About Consistency in 1st Order Theories., Charlie-Boo, 21:29
Re: Evaluation of article, Charlie-Boo, 20:40
Re: Question on the power set axiom, Rupert, 19:22
Re: Question on the power set axiom, Torkel Franzen, 16:32
Re: Simple yet Profound Metatheorem, G . Frege, 16:23
Re: Question on the power set axiom, Herman Jurjus, 15:37
Re: Evaluation of article, Torkel Franzen, 15:36
Re: Evaluation of article, Charlie-Boo, 14:55
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:07
Re: Simple yet Profound Metatheorem, G . Frege, 12:12
Re: Simple yet Profound Metatheorem, sradhakr, 11:57
Re: Simple yet Profound Metatheorem, G . Frege, 11:53
Re: Simple yet Profound Metatheorem, sradhakr, 11:47
Re: Simple yet Profound Metatheorem, G . Frege, 11:35
Re: Simple yet Profound Metatheorem, Daryl McCullough, 11:35
Re: Simple yet Profound Metatheorem, G . Frege, 11:33
Re: Simple yet Profound Metatheorem, G . Frege, 11:25
Re: Question on the power set axiom, Torkel Franzen, 11:17
Re: Simple yet Profound Metatheorem, Torkel Franzen, 11:09
Re: Simple yet Profound Metatheorem, G . Frege, 11:06
Re: Simple yet Profound Metatheorem, sradhakr, 10:58
Re: Simple yet Profound Metatheorem, Frederick Williams, 10:55
Re: Simple yet Profound Metatheorem, sradhakr, 10:48
Re: Simple yet Profound Metatheorem, G . Frege, 10:44
Re: Question on the power set axiom, Daryl McCullough, 10:43
Re: Simple yet Profound Metatheorem, Torkel Franzen, 10:37
Re: About Consistency in 1st Order Theories., Chris Menzel, 10:31
Re: Simple yet Profound Metatheorem, G . Frege, 10:26
Re: Simple yet Profound Metatheorem, G . Frege, 10:22
Re: About Consistency in 1st Order Theories., Chris Menzel, 10:18
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 10:02
Re: Simple yet Profound Metatheorem, sradhakr, 09:58
Re: Simple yet Profound Metatheorem, Torkel Franzen, 09:41
Re: Simple yet Profound Metatheorem, sradhakr, 08:56
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 08:47
Re: Simple yet Profound Metatheorem, sradhakr, 08:05
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 07:46
Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 07:38
Re: Question on the power set axiom, Herman Jurjus, 06:59
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 06:59
Re: Simple yet Profound Metatheorem, David C . Ullrich, 06:58
Re: Question on the power set axiom, Daryl McCullough, 06:43
Re: Question on the power set axiom, Torkel Franzen, 06:36
Re: Question on the power set axiom, Rupert, 06:31
Re: About Consistency in 1st Order Theories., Aatu Koskensilta, 05:52
Re: Simple yet Profound Metatheorem, sradhakr, 04:36
Re: About Consistency in 1st Order Theories., William Elliot, 04:34
Re: Simple yet Profound Metatheorem, Barb Knox, 03:52
Re: About Consistency in 1st Order Theories., Nam Nguyen, 03:04
Re: About Consistency in 1st Order Theories., Nam Nguyen, 03:02
Re: About Consistency in 1st Order Theories., Chris Menzel, 01:32
Re: Simple yet Profound Metatheorem, sradhakr, 01:03
About Consistency in 1st Order Theories., Nam Nguyen, 01:01
Re: Question on the power set axiom, Keith Ramsay, 01:00

December 15, 2005

Re: Question on the power set axiom, Torkel Franzen, 23:34
Re: Evaluation of article, Torkel Franzen, 23:31
Re: A question on FOL inference, Nam Nguyen, 22:41
Re: A question on FOL inference, Nam Nguyen, 22:39
120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], bradb, 21:36
Re: Question on the power set axiom, Rupert, 19:52
Re: Question on the power set axiom, Rupert, 19:48
Re: Natural deduction?, Charlie-Boo, 18:05
Re: Simple yet Profound Metatheorem, Charlie-Boo, 16:37
Re: Evaluation of article, Charlie-Boo, 16:11
Re: Simple yet Profound Metatheorem, Barb Knox, 15:30
Re: Simple yet Profound Metatheorem, Charlie-Boo, 15:16
Re: Evaluation of article, Torkel Franzen, 15:12
Re: Simple yet Profound Metatheorem, Charlie-Boo, 15:02
Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:14
Re: Evaluation of article, Charlie-Boo, 14:02
Re: Evaluation of article, Charlie-Boo, 13:47
Re: Question on the power set axiom, Torkel Franzen, 11:59
Re: Question on the power set axiom, Anders Goeransson, 11:23
Call for Papers - The Journal of American Science, marslandpress, 10:56
Re: Question on the power set axiom, Torkel Franzen, 10:42
Re: Question on the power set axiom, Torkel Franzen, 10:42
Re: Question on the power set axiom, Herman Jurjus, 10:25
Re: Question on the power set axiom, Herman Jurjus, 10:20
Re: Evaluation of article, Tron, 08:40
Re: Evaluation of article, Tron, 08:38
Re: Simple yet Profound Metatheorem, David C . Ullrich, 08:34
Re: is such that equal to <=== ?, David C . Ullrich, 08:29
Re: Question on the power set axiom, Rupert, 08:16
consistency strength, Rupert, 06:34
Re: Martin Gardner's New Prediction Paradox, Rupert, 06:33
Re: Simple yet Profound Metatheorem, William Elliot, 06:00
Re: Question on the power set axiom, Torkel Franzen, 05:53
Re: Question on the power set axiom, Herman Jurjus, 05:47
Re: Question on the power set axiom, Herman Jurjus, 05:45
Re: Evaluation of article, Torkel Franzen, 05:21
Re: Simple yet Profound Metatheorem, Charlie-Boo, 05:07
Re: Evaluation of article, Charlie-Boo, 04:32
Re: Simple yet Profound Metatheorem, William Elliot, 03:55
Re: Simple yet Profound Metatheorem, Charlie-Boo, 03:45

December 14, 2005

Re: A question on FOL inference, Nam Nguyen, 22:55
Re: Simple yet Profound Metatheorem, William Elliot, 22:36
Re: Simple yet Profound Metatheorem, Dan Christensen, 22:32
Re: Idempotence and reflexivity, george, 21:15
Simple yet Profound Metatheorem, Charlie-Boo, 21:10
Re: Question on the power set axiom, george, 21:01
Re: Idempotence and reflexivity, Tron, 20:51
Re: Idempotence and reflexivity, george, 20:46
Re: A question on FOL inference, Nam Nguyen, 20:35
Re: Idempotence and reflexivity, Ken Pledger, 19:45
Re: A question on FOL inference, Nam Nguyen, 18:40
Re: is such that equal to <=== ?, adamarthurfilter@xxxxxxxxx, 16:02
Re: A question on FOL inference, Nam Nguyen, 16:00
Re: What do we call ...?, Ken Pledger, 15:41
Re: a logic, a model, an isomorphism, an intention, george, 09:45
Re: is such that equal to <=== ?, David C . Ullrich, 09:23
Re: A question on FOL inference, David C . Ullrich, 09:22
Re: a logic, a model, an isomorphism, an intention, David C . Ullrich, 09:18
Re: A question on FOL inference, H. J. Sander Bruggink, 07:00
Re: What do we call ...?, Tron, 06:49
Re: question about upward lowenheim-skolem, Achim Blumensath, 03:36

December 13, 2005

Re: Question on the power set axiom, Barb Knox, 16:55
Re: Just say no, naturally., george, 15:22
Re: a logic, a model, an isomorphism, an intention, george, 15:15
Re: Question on the power set axiom, george, 15:09
Re: Question on the power set axiom, Torkel Franzen, 13:21
Re: Question on the power set axiom, Herman Jurjus, 13:10
Re: is such that equal to <=== ?, kobu . selva, 12:10
Re: A question on FOL inference, Nam Nguyen, 10:59
Re: is such that equal to <=== ?, David C . Ullrich, 08:14
Re: A question on FOL inference, David C . Ullrich, 08:13
Re: Question on the power set axiom, Torkel Franzen, 07:40
Re: Question on the power set axiom, Herman Jurjus, 07:15
Re: Question about Cardinality and Proper Classes, Chris Menzel, 03:52
Re: Question on the power set axiom, Keith Ramsay, 03:04

December 12, 2005

Adam and Eve Rode Dinosaurs to Church, mmmkaycomputer, 21:49
Re: Question about Cardinality and Proper Classes, Chris Menzel, 20:47
is such that equal to <=== ?, kobu . selva, 19:48
Re: A question on FOL inference, Nam Nguyen, 19:36
Re: a logic, a model, an isomorphism, an intention, Gerry Myerson, 18:14
Re: A question on FOL inference, Nam Nguyen, 14:43
Re: A question on FOL inference, Nam Nguyen, 13:19
square of sums, oercim, 12:39
Question about Cardinality and Proper Classes, Daryl McCullough, 11:57
Re: a logic, a model, an isomorphism, an intention, george, 11:09
Re: a logic, a model, an isomorphism, an intention, Torkel Franzen, 10:52
Re: a logic, a model, an isomorphism, an intention, george, 10:47
Re: Question on the power set axiom, Chris Menzel, 09:32
Re: Question on the power set axiom, Daryl McCullough, 06:54
Re: A question on FOL inference, David C . Ullrich, 06:25
Re: realizing and omitting types, Torkel Franzen, 01:43
Re: realizing and omitting types, Per Freem, 01:35
Re: realizing and omitting types, Torkel Franzen, 01:28
Re: realizing and omitting types, Per Freem, 01:16
Re: realizing and omitting types, Torkel Franzen, 01:04
Re: realizing and omitting types, Per Freem, 00:50
Re: realizing and omitting types, Torkel Franzen, 00:45
Re: realizing and omitting types, Per Freem, 00:39
Re: realizing and omitting types, Torkel Franzen, 00:15
Re: a logic, a model, an isomorphism, an intention, Gerry Myerson, 00:06

December 11, 2005

Re: A question on FOL inference, Keith Ramsay, 18:37
Re: a logic, a model, an isomorphism, an intention, george, 16:47
Re: A question on FOL inference, george, 16:10
Re: a logic, a model, an isomorphism, an intention, george, 15:39
Re: realizing and omitting types, Per Freem, 15:26
Re: A question on FOL inference, Nam Nguyen, 12:43
Re: A question on FOL inference, Nam Nguyen, 12:13
Re: A question on FOL inference, Nam Nguyen, 09:47
Re: A question on FOL inference, David C . Ullrich, 08:23
Just say no, naturally., William Elliot, 06:17

December 10, 2005

question about upward lowenheim-skolem, Per Freem, 16:52
question about upward lowenheim-skolem, Per Freem, 16:50
Re: A question on FOL inference, Nam Nguyen, 16:19
Re: sentences with infinite models and equivalence relations, Per Freem, 16:18
Re: a logic, a model, an isomorphism, an intention, mitch, 14:44
Re: a logic, a model, an isomorphism, an intention, mitch, 13:44
Re: A question on FOL inference, Nam Nguyen, 13:32
Re: sentences with infinite models and equivalence classes, Torkel Franzen, 11:51
Re: sentences with infinite models and equivalence classes, abo, 11:24
Re: sentences with infinite models and equivalence classes, Torkel Franzen, 10:42
Re: A question on FOL inference, David C . Ullrich, 10:20
Re: Question on the power set axiom, David C . Ullrich, 10:13
Re: sentences with infinite models and equivalence classes, abo, 09:27
Re: sentences with infinite models and equivalence classes, Torkel Franzen, 09:19
Re: sentences with infinite models and equivalence classes, abo, 09:17
Re: sentences with infinite models and equivalence classes, Torkel Franzen, 01:16

December 09, 2005

Re: sentences with infinite models and equivalence classes, Per Freem, 21:23
Re: Penrose vs the Robot, Stephen Harris, 20:08
Re: sentences with infinite models and equivalence classes, Aatu Koskensilta, 16:50
Re: A simple but peculiar proof!, Nam Nguyen, 14:12
Re: sentences with infinite models and equivalence classes, Per Freem, 11:38
Re: A question on FOL inference, Nam Nguyen, 10:44
Re: A question on FOL inference, Nam Nguyen, 10:08
Re: A question on FOL inference, Nam Nguyen, 09:57
Re: Question on the power set axiom, Daryl McCullough, 09:15
Re: A question on FOL inference, David C . Ullrich, 08:42
Re: Question on the power set axiom, David C . Ullrich, 08:34
Re: Penrose vs the Robot, abo, 03:44
Re: sentences with infinite models and equivalence classes, Aatu Koskensilta, 03:14
Re: Penrose vs the Robot, Stephen Harris, 02:27
Re: Penrose vs the Robot, abo, 01:22

December 08, 2005

Re: sentences with infinite models and equivalence classes, Per Freem, 23:38
Re: Penrose vs the Robot, Stephen Harris, 19:07
Re: A question on FOL inference, Nam Nguyen, 18:34
Re: sentences with infinite models and equivalence classes, H. Enderton, 18:01
Re: A question on FOL inference, MoeBlee, 15:17
A question on FOL inference, Nam Nguyen, 12:38
Re: Question on the power set axiom, Torkel Franzen, 11:20
Re: Question on the power set axiom, Daryl McCullough, 10:49
Re: Question on the power set axiom, Torkel Franzen, 10:09
Re: Question on the power set axiom, Daryl McCullough, 09:17
Re: Question on the power set axiom, David C . Ullrich, 08:34
Magic Numbers, Gary, 08:24
Re: Penrose vs the Robot, abo, 03:43
Re: sentences with infinite models and equivalence relations, Torkel Franzen, 03:02
Re: Penrose vs the Robot, Stephen Harris, 01:27
Re: sentences with infinite models and equivalence relations, Per Freem, 01:20
A simple but peculiar proof!, Nam Nguyen, 00:46
Re: sentences with infinite models and equivalence relations, Torkel Franzen, 00:40
Re: sentences with infinite models and equivalence relations, Per Freem, 00:20
MOREMONEY, dad_bucks, 00:20
Re: sentences with infinite models and equivalence relations, Torkel Franzen, 00:08
Re: sentences with infinite models and equivalence relations, Per Freem, 00:05

December 07, 2005

Re: sentences with infinite models and equivalence relations, Torkel Franzen, 15:28
Re: sentences with infinite models and equivalence relations, Per Freem, 15:04
Re: Penrose vs the Robot, abo, 12:37
Re: Penrose vs the Robot, Daryl McCullough, 11:23
Re: Penrose vs the Robot, abo, 10:55
Re: Penrose vs the Robot, Daryl McCullough, 10:22
Re: Penrose vs the Robot, abo, 10:03
GCH in the absence of Power Set Axiom, Daryl McCullough, 09:42
Re: Question on the power set axiom, Daryl McCullough, 09:37
Re: Question on the power set axiom, Daryl McCullough, 09:25
Re: Question on the power set axiom, Daryl McCullough, 09:23
Re: Penrose vs the Robot, Daryl McCullough, 09:21
Re: Question on the power set axiom, David C . Ullrich, 07:50
Re: Penrose vs the Robot, abo, 07:08
Re: Penrose vs the Robot, Daryl McCullough, 06:38
Re: sentences with infinite models and equivalence relations, Torkel Franzen, 02:49
Re: very quick question on embeddings, Torkel Franzen, 02:27

December 06, 2005

Re: Penrose vs the Robot, Stephen Harris, 23:54
sentences with infinite models and equivalence relations, Per Freem, 22:44
sentences with infinite models and equivalence classes, Per Freem, 22:40
Re: Question on the power set axiom, William Elliot, 22:06
Re: very quick question on embeddings, Per Freem, 19:12
Re: The Epimenides Paradox, Torkel Franzen, 15:19
Re: The Epimenides Paradox, Gene Ledbetter, 15:15
Re: Question on the power set axiom, Daryl McCullough, 11:56
Re: a logic, a model, an isomorphism, an intention, george, 11:19
Re: Learning Logic and Set Theory, george, 11:06
Re: Question on the power set axiom, george, 11:00
Re: p implies (not p implies everything), G . Frege, 10:49
Re: Question on the power set axiom, David C . Ullrich, 09:16
Re: Question on the power set axiom, Daryl McCullough, 09:10
Re: Question on the power set axiom, William Elliot, 07:17
Re: Question on the power set axiom, David C . Ullrich, 06:55
Re: Help writing a paper on Godel's Incompleteness Thorem, Ross A. Finlayson, 02:08

December 05, 2005

very quick question on embeddings, Per Freem, 19:39
Re: realizing and omitting types, Per Freem, 19:26
Re: Question on the power set axiom, Torkel Franzen, 10:36
Re: Question on the power set axiom, William Elliot, 10:34
Re: Are Logicians Naturally Logical?, G . Frege, 09:21
Re: Question on the power set axiom, Torkel Franzen, 09:20
Re: Question on the power set axiom, William Elliot, 09:19
Question on the power set axiom, Herman Jurjus, 08:59
Are Logicians Naturally Logical?, William Elliot, 08:23
Re: realizing and omitting types, Torkel Franzen, 00:31

December 04, 2005

Re: realizing and omitting types, Per Freem, 23:54
The Epimenides Paradox, Gene Ledbetter, 10:32
Re: Are Logicians Naturally Logical?, G . Frege, 09:41
Re: Are Logicians Naturally Logical?, G . Frege, 09:27
Re: a logic, a model, an isomorphism, an intention, David C . Ullrich, 07:43
Re: Learning Logic and Set Theory, Keith Ramsay, 02:49
Re: realizing and omitting types, Torkel Franzen, 00:23

December 03, 2005

Re: Learning Logic and Set Theory, Torkel Franzen, 23:27
Re: Well Ordering the Reals, Ross A. Finlayson, 20:58
Re: Well Ordering the Reals, Daryl McCullough, 18:25
Re: Are Logicians Naturally Logical?, G . Frege, 18:24
realizing and omitting types, Per Freem, 18:23
Re: Learning Logic and Set Theory, Barb Knox, 16:52
Re: Learning Logic and Set Theory, Derek Smith, 12:52
Re: Learning Logic and Set Theory, Aatu Koskensilta, 12:26
Re: a logic, a model, an isomorphism, an intention, george, 11:42
Re: Learning Logic and Set Theory, george, 11:37
Re: a logic, a model, an isomorphism, an intention, george, 11:30
Re: p implies (not p implies everything), G . Frege, 11:11
Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 10:39
Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 10:18
Re: Well Ordering the Reals, Aatu Koskensilta, 09:41
Re: p implies (not p implies everything), Peter B, 04:40
Re: p implies (not p implies everything), Torkel Franzen, 00:46

December 02, 2005

Re: Learning Logic and Set Theory, smnewberger, 19:18
Re: Help writing a paper on Godel's Incompleteness Thorem, Nam Nguyen, 18:25
Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 17:59
Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 17:00
Re: p implies (not p implies everything), G . Frege, 16:26
Re: p implies (not p implies everything), Dan Christensen, 16:09
Re: Learning Logic and Set Theory, Dan Christensen, 15:49
Re: Learning Logic and Set Theory, MoeBlee, 15:21
Re: Well Ordering the Reals, Chris Menzel, 14:10
Re: Learning Logic and Set Theory, Torkel Franzen, 13:36
Learning Logic and Set Theory, Derek Smith, 13:32
Re: p implies (not p implies everything), G . Frege, 11:37
Re: Help writing a paper on Godel's Incompleteness Thorem, Nam Nguyen, 11:19
Re: p implies (not p implies everything), David C . Ullrich, 08:04
Re: Help writing a paper on Godel's Incompleteness Thorem, David C . Ullrich, 07:54
Re: Well Ordering the Reals, Daryl McCullough, 07:12
Re: p implies (not p implies everything), Lee Rudolph, 06:34
Re: p implies (not p implies everything), Torkel Franzen, 04:44
Re: Well Ordering the Reals, G . Frege, 01:13
Re: Well Ordering the Reals, Chris Menzel, 01:03

December 01, 2005

Re: Well Ordering the Reals, Daryl McCullough, 23:00
Re: What is the 1st order formal system known as PA?, Rupert, 19:08
Re: p implies (not p implies everything), G . Frege, 18:01
Re: Help writing a paper on Godel's Incompleteness Thorem, Aatu Koskensilta, 17:06
Re: Well Ordering the Reals, Chris Menzel, 16:57
Re: p implies (not p implies everything), Arturo Magidin, 15:07
p implies (not p implies everything), Peter Buus, 14:31
Re: Help writing a paper on Godel's Incompleteness Thorem, Scott, 12:18
Re: Well Ordering the Reals, abo, 11:46
Re: Well Ordering the Reals, Daryl McCullough, 10:30
Re: Well Ordering the Reals, Aatu Koskensilta, 10:01
Re: Well Ordering the Reals, Daryl McCullough, 08:57
Re: Well Ordering the Reals, Anders Goeransson, 08:52
Re: Well Ordering the Reals, Aatu Koskensilta, 08:28
Re: Well Ordering the Reals, Daryl McCullough, 07:11
Re: Turing and Godel, Aatu Koskensilta, 05:37
Are Logicians Naturally Logical?, William Elliot, 04:11
Re: Well Ordering the Reals, Anders Goeransson, 04:06
Re: What is the 1st order formal system known as PA?, Nam Nguyen, 01:37
Re: What is the 1st order formal system known as PA?, Nam Nguyen, 01:02

November 30, 2005

Re: Turing and Godel, Torkel Franzen, 22:55
Re: Are Logicians Naturally Logical?, G . Frege, 22:33
Re: Penrose vs the Robot, Daryl McCullough, 21:48
Re: Turing and Godel, Rupert, 20:00
Re: Penrose vs the Robot, Rupert, 19:53
REMINDER:BCS-FACS Evening Seminar by Richard Bornat on Separation Logic, 8 December 2005, 6pm, London, FACS FACTS Editor, 19:07
Re: Help writing a paper on Godel's Incompleteness Thorem, Patrick, 17:08