sci.logic (date)
January 31, 2006
- Re: Confused about Intuitionistic provability, Alan Smaill, 15:53
- Re: <=> same as <-> ?, Ken Pledger, 15:36
- Re: Where is the error?, Charlie-Boo, 13:24
- Re: Where is the error?, Charlie-Boo, 13:07
- Re: Choice Question # 2, Charlie-Boo, 12:28
- Question about set definition, agapito6314, 11:14
- Re: Choice Question # 2, Chris Menzel, 10:50
- Re: Where is the error?, H. J. Sander Bruggink, 10:45
- Re: Is there an answer to this logic riddle?, Charlie-Boo, 09:04
- Re: Choice Question # 2, Charlie-Boo, 08:54
- Re: Where is the error?, Charlie-Boo, 08:38
- Re: There is no language of arithmetic, MoeBlee, 03:25
- Re: There is no language of arithmetic, Nam Nguyen, 02:27
January 30, 2006
- CH yet again., Bill Taylor, 23:41
- Re: <=> same as <-> ?, MoeBlee, 23:30
- CH yet again., Bill Taylor, 23:17
- <=> same as <-> ?, gaya . patel, 23:13
- Re: incompleteness of first-order logic, Li Yi, 09:02
- Re: incompleteness of first-order logic, Li Yi, 09:00
- Re: incompleteness of first-order logic, Li Yi, 09:00
- Re: incompleteness of first-order logic, Li Yi, 08:54
- Re: CH yet again., David C . Ullrich, 08:44
- Re: incompleteness of first-order logic, Jan Burse, 08:34
- Re: incompleteness of first-order logic, Jan Burse, 08:29
- Re: CH yet again., Aatu Koskensilta, 05:40
- incompleteness of first-order logic, Li Yi, 03:35
- Re: CH yet again., MoeBlee, 02:18
- Re: CH yet again., MoeBlee, 01:43
- Re: There is no language of arithmetic, Rupert, 00:14
- Re: There is no language of arithmetic, Rupert, 00:14
January 29, 2006
- Re: There is no language of arithmetic, george, 22:42
- Re: There is no language of arithmetic, george, 22:19
- Re: There is no language of arithmetic, MoeBlee, 21:28
- Derivate OF a number, NILS BÖRJESSON, 21:04
- Re: There is no language of arithmetic, Nam Nguyen, 19:57
- Re: CH yet again., Robert E. Beaudoin, 17:54
- Re: CH yet again., Aatu Koskensilta, 17:10
- Re: CH yet again., MoeBlee, 16:57
- Re: ZFC means?, Nam Nguyen, 11:25
- Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 06:49
- Re: CH yet again., Aatu Koskensilta, 05:49
- Re: ZFC means?, Nam Nguyen, 04:01
- Re: The observational standpoint for numbers, LordBeotian, 03:53
- Re: The observational standpoint for numbers, LordBeotian, 03:50
- intuitionistic logic and symmetry, No One, 01:56
- Re: CH yet again., MoeBlee, 00:40
- Re: Poetential infinity, MoeBlee, 00:35
- Re: Poetential infinity, MoeBlee, 00:17
January 28, 2006
- CH yet again., Bill Taylor, 23:37
- Poetential infinity, Bill Taylor, 22:49
- Re: ZFC means?, MoeBlee, 22:00
- Re: ZFC means?, MoeBlee, 21:19
- Re: ZFC means?, MoeBlee, 21:02
- Re: ZFC means?, G . Frege, 20:25
- Re: ZFC means?, MoeBlee, 18:46
- Re: ZFC means?, Chris Menzel, 18:30
- Re: ZFC means?, Nam Nguyen, 17:48
- Re: The observational standpoint for numbers, Giovanni Lagnese, 17:47
- Re: ZFC means?, G . Frege, 17:07
- Re: ZFC means?, MoeBlee, 16:16
- Re: ZFC means?, G . Frege, 15:27
- Re: ZFC means?, MoeBlee, 15:06
- Re: ZFC means?, Nam Nguyen, 12:57
- Re: Choice Question # 2, G . Frege, 10:13
- Re: Choice Question # 2, G . Frege, 10:11
- Re: ZFC means?, G . Frege, 10:02
- Re: The observational standpoint for numbers, LordBeotian, 09:43
- Re: Choice Question # 2, David C . Ullrich, 08:23
- Re: ZFC means?, David C . Ullrich, 08:16
- Re: The observational standpoint for numbers, Giovanni Lagnese, 07:33
- Re: The observational standpoint for numbers, LordBeotian, 06:57
- Re: The observational standpoint for numbers, Giovanni Lagnese, 06:28
- Re: ZFC means?, MoeBlee, 04:55
- Re: The observational standpoint for numbers, LordBeotian, 04:13
- Re: ZFC means?, G . Frege, 04:02
- Re: The observational standpoint for numbers, Giovanni Lagnese, 04:01
- Re: ZFC means?, Nam Nguyen, 03:55
- Re: ZFC means?, MoeBlee, 03:36
- Re: ZFC means?, Nam Nguyen, 03:11
- Re: Choice Question # 2, MoeBlee, 01:32
- Re: Choice Question # 2, MoeBlee, 01:23
- Re: Choice Question # 2, MoeBlee, 01:05
- Re: Choice Question # 2, MoeBlee, 00:49
January 27, 2006
- Re: Choice Question # 2, MoeBlee, 23:42
- Re: Choice Question # 2, Chris Menzel, 22:04
- Re: ZFC means?, G . Frege, 20:15
- Re: Choice Question # 2, Charlie-Boo, 19:49
- Re: Choice Question # 2, Charlie-Boo, 19:45
- Choice Question # 2, Charlie-Boo, 19:13
- Re: The observational standpoint for numbers, LordBeotian, 17:26
- Re: There is no language of arithmetic, Rupert, 17:17
- Re: There is no language of arithmetic, Rupert, 17:17
- Re: There is no language of arithmetic, george, 16:58
- Re: There is no language of arithmetic, george, 16:47
- Re: The observational standpoint for numbers, Giovanni Lagnese, 15:46
- Re: find a counterexample, Aatu Koskensilta, 15:22
- Blum's speed up, ljehan, 15:08
- Re: The observational standpoint for numbers, LordBeotian, 14:58
- Re: ZFC means?, Chris Menzel, 13:50
- Re: ZFC means?, Daryl McCullough, 10:31
- Re: ZFC means?, Daryl McCullough, 10:28
- Re: ZFC means?, Torkel Franzen, 09:46
- Re: ZFC means?, David C . Ullrich, 09:38
- Re: compactness theorem of propositional logic, David C . Ullrich, 07:10
- Re: ZFC means?, Daryl McCullough, 07:06
- Re: ZFC means?, David C . Ullrich, 06:45
- Re: find a counterexample, William Elliot, 02:48
- Re: find a counterexample, William Elliot, 02:40
January 26, 2006
- compactness theorem of propositional logic, Li Yi, 22:42
- Re: There is no language of arithmetic, Rupert, 19:35
- Re: a word for the concept "write him off" or "I know thee not", Andy Spragg, 19:16
- in part timelike and in part spacelike, NILS BÖRJESSON, 19:15
- Re: ZFC means?, Daryl McCullough, 19:06
- Re: ZFC means?, Chris Menzel, 18:27
- Re: Metamathematically True or False?, george, 17:48
- Re: There is no language of arithmetic, george, 17:44
- Re: ZFC means?, Daryl McCullough, 17:31
- Re: Kripke's inductive partial self-applicable truth predicate, Daryl McCullough, 17:28
- Re: ZFC means?, Daryl McCullough, 17:26
- Re: find a counterexample, georgie, 17:07
- Re: ZFC means?, george, 17:05
- Re: a word for the concept "write him off" or "I know thee not", gwlucky, 17:00
- Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 14:45
- Re: ZFC means?, Chris Menzel, 14:42
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 14:28
- Re: reflexivity and idempotence., Chris Menzel, 14:26
- Re: a word for the concept "write him off" or "I know thee not", Stephen Harris, 14:21
- Re: a word for the concept "write him off" or "I know thee not", Nathan, 13:51
- Re: a word for the concept "write him off" or "I know thee not", Rajah, 13:48
- Re: a word for the concept "write him off" or "I know thee not", Chip Eastham, 13:01
- Re: a word for the concept "write him off" or "I know thee not", Richard Henry, 11:33
- Re: find a counterexample, Li Yi, 10:08
- Re: reflexivity and idempotence., Torkel Franzen, 09:51
- Re: find a counterexample, William Elliot, 09:36
- Re: logically implication and tautologically implication, Aatu Koskensilta, 09:22
- Re: first order logic - dummy, Aatu Koskensilta, 09:18
- logically implication and tautologically implication, Li Yi, 08:57
- first order logic - dummy, Li Yi, 08:42
- Re: find a counterexample, Li Yi, 08:22
- Re: reflexivity and idempotence., William Elliot, 08:12
- Re: find a counterexample, William Elliot, 08:11
- find a counterexample, Li Yi, 07:39
- Re: computable analysis problem, David C . Ullrich, 07:20
- Re: Substitutability in First-Order Logic, MoeBlee, 03:20
- Re: a word for the concept "write him off" or "I know thee not", Proginoskes, 02:42
- Re: a word for the concept "write him off" or "I know thee not", a_plutonium, 02:16
- Re: a word for the concept "write him off" or "I know thee not", a_plutonium, 02:08
- Re: a word for the concept "write him off" or "I know thee not", Boris Uon, 01:54
- Re: a word for the concept "write him off" or "I know thee not", mensanator@xxxxxxxxxxx, 01:27
- a word for the concept "write him off" or "I know thee not", a_plutonium, 01:13
- Re: Poetential infinity, MoeBlee, 00:40
- Substitutability in First-Order Logic, Li Yi, 00:15
January 25, 2006
- Re: Poetential infinity, david petry, 20:47
- Re: Kripke's inductive partial self-applicable truth predicate, Aatu Koskensilta, 17:44
- Re: Where is the error?, Aatu Koskensilta, 17:07
- Re: computable analysis problem, Snis Pilbor, 17:02
- computable analysis problem, Snis Pilbor, 16:59
- Re: ZFC means?, MoeBlee, 16:44
- Re: ZFC means?, Daryl McCullough, 16:36
- Re: ZFC means?, Charlie-Boo, 16:15
- Re: Is there an answer to this logic riddle?, Gene Ledbetter, 14:33
- Re: ZFC means?, MoeBlee, 13:26
- Re: Where is the error?, Torkel Franzen, 13:15
- Re: Where is the error?, Charlie-Boo, 12:52
- Re: reflexivity and idempotence., MoeBlee, 12:50
- Re: Where is the error?, Charlie-Boo, 12:50
- Re: Where is the error?, Torkel Franzen, 12:39
- Re: Where is the error?, H. J. Sander Bruggink, 12:09
- Re: Where is the error?, Charlie-Boo, 12:07
- Re: ZFC means?, Charlie-Boo, 12:05
- Re: Where is the error?, Torkel Franzen, 11:55
- Re: ZFC means?, Charlie-Boo, 11:37
- Re: ZFC means?, Charlie-Boo, 11:33
- Re: Where is the error?, Charlie-Boo, 11:18
- Re: Where is the error?, Daryl McCullough, 11:07
- Re: ZFC means?, Daryl McCullough, 11:04
- Re: Where is the error?, Charlie-Boo, 11:01
- Re: Where is the error?, Torkel Franzen, 11:00
- Re: Where is the error?, Charlie-Boo, 10:56
- Re: Where is the error?, Torkel Franzen, 10:54
- Re: ZFC means?, Daryl McCullough, 10:53
- Re: ZFC means?, Charlie-Boo, 10:51
- Re: ZFC means?, Daryl McCullough, 10:49
- Re: Kripke's inductive partial self-applicable truth predicate, Daryl McCullough, 10:48
- Re: Where is the error?, Charlie-Boo, 10:36
- Re: ZFC means?, Charlie-Boo, 10:29
- Re: ZFC means?, Charlie-Boo, 10:21
- Re: Where is the error?, Torkel Franzen, 10:20
- Re: Where is the error?, Charlie-Boo, 10:01
- Re: Where is the error?, Charlie-Boo, 09:27
- Re: Where is the error?, Aatu Koskensilta, 09:21
- Re: ZFC means?, Daryl McCullough, 08:50
- Re: reflexivity and idempotence., William Elliot, 07:18
- Propositional Logic Completeness Theorem, Li Yi, 07:16
- Propositional Logic problem 1, Li Yi, 07:13
- Re: ZFC means?, David C . Ullrich, 06:58
- Re: ZFC means?, David C . Ullrich, 06:40
- Re: reflexivity and idempotence., Torkel Franzen, 06:21
- Re: reflexivity and idempotence., William Elliot, 06:00
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Keith Ramsay, 03:50
- Re: Where is the error?, Jan Burse, 03:39
- Re: ZFC means?, MoeBlee, 02:17
- Re: reflexivity and idempotence., MoeBlee, 01:23
- Re: ZFC means?, MoeBlee, 00:50
January 24, 2006
- Re: Where is the error?, Rupert, 23:34
- Re: ZFC means?, Charlie-Boo, 23:28
- Re: Where is the error?, Charlie-Boo, 23:20
- Re: ZFC means?, Chris Menzel, 22:24
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Daryl McCullough, 22:07
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 22:06
- Re: Where is the error?, Charlie-Boo, 22:03
- Re: ZFC means?, Daryl McCullough, 21:59
- Re: ZFC means?, Daryl McCullough, 21:54
- Re: ZFC means?, Daryl McCullough, 21:51
- Re: ZFC means?, Daryl McCullough, 21:44
- Re: ZFC means?, Daryl McCullough, 21:41
- Re: Where is the error?, Rupert, 21:34
- Re: reflexivity and idempotence., MoeBlee, 21:03
- Re: ZFC means?, Charlie-Boo, 20:29
- Re: Where is the error?, Charlie-Boo, 20:25
- Re: ZFC means?, Charlie-Boo, 20:16
- Re: Poetential infinity, Stephen Harris, 20:15
- Re: Poetential infinity, Stephen Harris, 20:00
- Re: ZFC means?, Charlie-Boo, 19:52
- Re: ZFC means?, Charlie-Boo, 19:47
- Re: reflexivity and idempotence., adamgolding, 19:43
- Re: Poetential infinity, Stephen Harris, 19:31
- Re: ZFC means?, MoeBlee, 19:30
- Re: Poetential infinity, Stephen Harris, 19:11
- Re: reflexivity and idempotence., adamgolding, 19:09
- Re: Poetential infinity, Chris Menzel, 19:08
- Re: ZFC means?, Charlie-Boo, 19:02
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Aatu Koskensilta, 18:10
- Re: ZFC means?, MoeBlee, 17:51
- Re: Poetential infinity, Daryl McCullough, 17:19
- Re: ZFC means?, Chris Menzel, 16:31
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Chris Menzel, 16:18
- Re: ZFC means?, Daryl McCullough, 16:17
- Re: Poetential infinity, Chris Menzel, 16:08
- Re: What is known about ZF + cf(kappa) <= omega for all kappa?, Daryl McCullough, 15:54
- Re: ZFC means?, MoeBlee, 15:48
- What is known about ZF + cf(kappa) <= omega for all kappa?, Aatu Koskensilta, 15:48
- Re: ZFC means?, G . Frege, 15:39
- Re: Poetential infinity, Stephen Harris, 15:34
- [Announcement] Blog on the history of Fermat's Last Theorem, larry . freeman, 15:24
- Re: ZFC means?, Daryl McCullough, 15:12
- Re: ZFC means?, Daryl McCullough, 15:06
- Re: ZFC means?, Charlie-Boo, 14:55
- Re: Poetential infinity, Stephen Harris, 14:24
- Re: ZFC means?, Charlie-Boo, 14:23
- Re: Poetential infinity, Daryl McCullough, 14:17
- Re: Poetential infinity, G . Frege, 14:11
- Re: ZFC means?, Torkel Franzen, 13:40
- Re: Poetential infinity, Chris Menzel, 13:39
- Re: ZFC means?, Charlie-Boo, 13:28
- Re: ZFC means?, Daryl McCullough, 13:20
- Re: Poetential infinity, MoeBlee, 13:16
- Re: ZFC means?, Daryl McCullough, 13:10
- Re: ZFC means?, Daryl McCullough, 13:06
- Re: ZFC means?, Charlie-Boo, 12:49
- Re: Where is the error?, Charlie-Boo, 12:26
- Re: ZFC means?, Charlie-Boo, 12:01
- Re: Where is the error?, Jan Burse, 11:26
- Re: Where is the error?, Jan Burse, 11:15
- Re: Where is the error?, H. J. Sander Bruggink, 10:24
- Re: Where is the error?, Charlie-Boo, 09:52
- Re: Where is the error?, Charlie-Boo, 09:48
- Re: Is there an answer to this logic riddle?, Charlie-Boo, 09:32
- Re: ZFC means?, Daryl McCullough, 09:16
- Re: ZFC means?, Daryl McCullough, 09:00
- Re: Poetential infinity, Peter Webb, 08:46
- Re: Where is the error?, David C . Ullrich, 08:30
- Re: ZFC means?, David C . Ullrich, 08:25
- Re: Poetential infinity, Stephen Harris, 07:02
- Re: reflexivity and idempotence., William Elliot, 06:30
- Re: j:V --> V, MoeBlee, 05:18
- Re: Where is the error?, H. J. Sander Bruggink, 05:17
- Re: j:V --> V, Torkel Franzen, 04:16
- Re: j:V --> V, MoeBlee, 01:41
- Re: j:V --> V, Aatu Koskensilta, 01:23
- Re: j:V --> V, MoeBlee, 00:54
- Re: ZFC means?, Charlie-Boo, 00:52
- Re: Poetential infinity, MoeBlee, 00:47
- Re: Recursion, MoeBlee, 00:24
- Re: Poetential infinity, Charlie-Boo, 00:01
- j:V --> V, Bill Taylor, 00:00
January 23, 2006
- Poetential infinity, Bill Taylor, 23:53
- Re: Where is the error?, Charlie-Boo, 23:35
- Re: Where is the error?, Charlie-Boo, 23:13
- Re: Where is the error?, Charlie-Boo, 21:47
- Re: Recursion, Tom, 21:30
- Re: reflexivity and idempotence., MoeBlee, 20:21
- Re: reflexivity and idempotence., MoeBlee, 20:13
- Re: reflexivity and idempotence., MoeBlee, 19:56
- Re: reflexivity and idempotence., adamgolding, 18:18
- Re: Where is the error?, Jan Burse, 17:47
- Re: ZFC means?, Daryl McCullough, 16:15
- Re: ZFC means?, Charlie-Boo, 15:47
- Re: Where is the error?, Solipsist, 15:46
- Re: Where is the error?, Solipsist, 15:41
- Re: ZFC means?, Charlie-Boo, 15:27
- Re: reflexivity and idempotence., MoeBlee, 15:25
- Re: ZFC means?, Charlie-Boo, 15:11
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 14:16
- BÖRJESSONS LOGIC: TIME IS ALGEBRA!, NILS BÖRJESSON, 14:12
- Re: Where is the error?, Jan Burse, 14:10
- Re: Where is the error?, Charlie-Boo, 14:09
- BÖRJESSONS LOGIC: LOGIC IS GEOMETRY, NILS BÖRJESSON, 14:01
- Re: reflexivity and idempotence., adamgolding, 13:47
- Re: list of universities math deps. specializing in mathematical logic?, Chris Menzel, 13:44
- Re: reflexivity and idempotence., adamgolding, 13:41
- Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 13:20
- Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 13:18
- Re: Where is the error?, Solipsist, 11:12
- Re: Where is the error?, H. J. Sander Bruggink, 10:23
- Re: Where is the error?, Solipsist, 09:28
- Re: ZFC means?, Daryl McCullough, 08:27
- Re: Where is the error?, David C . Ullrich, 07:47
- Re: Simple yet Profound Metatheorem, David C . Ullrich, 07:44
- Re: Where is the error?, Solipsist, 04:01
- Will anyone do me a favor to tell me where can I download books/papers about hyperlattic/lattice/superlattice?, yumingfeng25928@xxxxxxxxx, 02:11
January 22, 2006
- Re: Where is the error?, Charlie-Boo, 23:29
- Re: ZFC means?, Charlie-Boo, 23:16
- Re: ZFC means?, Charlie-Boo, 23:09
- Re: Recursion, MoeBlee, 22:56
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 22:20
- Re: ZFC means?, Barb Knox, 19:25
- Re: Recursion, Tom, 19:19
- Re: What's the difference between Commutativity and Symmetry?, MoeBlee, 14:24
- Re: Recursion, MoeBlee, 14:19
- Re: Recursion, Tom, 12:12
- Re: list of universities math deps. specializing in mathematical logic?, abo, 11:00
- Re: list of universities math deps. specializing in mathematical logic?, mozert1, 10:35
- Re: What's the difference between Commutativity and Symmetry?, Chris Menzel, 08:58
- Re: ZFC means?, Chris Menzel, 08:25
January 21, 2006
- Re: reflexivity and idempotence., William Elliot, 21:51
- Re: What's the difference between Commutativity and Symmetry?, smnewberger, 17:50
- Re: Recursion, MoeBlee, 17:48
- Re: reflexivity and idempotence., MoeBlee, 17:34
- Re: reflexivity and idempotence., smnewberger, 17:31
- Re: ZFC means?, David C . Ullrich, 17:26
- Re: ZFC means?, David C . Ullrich, 17:20
- Re: ZFC means?, David C . Ullrich, 17:17
- Re: Recursion, Tom, 17:09
- Re: What's the difference between Commutativity and Symmetry?, MoeBlee, 16:48
- reflexivity and idempotence., adamgolding, 14:48
- What's the difference between Commutativity and Symmetry?, adamgolding, 14:43
- Re: Inductive Arguments, adamgolding, 14:42
- Re: list of universities math deps. specializing in mathematical logic?, adamgolding, 14:39
- Re: Recursion, MoeBlee, 13:43
- Re: re-stating FLT and FTA in PA, Daryl McCullough, 08:12
- Re: Recursion, Tom, 07:38
- Re: re-stating FLT and FTA in PA, Aatu Koskensilta, 07:37
- Re: Recursion, MoeBlee, 04:04
January 20, 2006
- Re: re-stating FLT and FTA in PA, george, 22:59
- Recursion, Tom, 21:58
- Re: Is there an answer to this logic riddle?, Charlie-Boo, 21:27
- Re: ZFC means?, Charlie-Boo, 20:29
- Re: Is there an answer to this logic riddle?, Daryl McCullough, 19:55
- Re: Is there an answer to this logic riddle?, Rupert, 19:18
- Re: ZFC means?, Chris Menzel, 19:14
- list of universities math deps. specializing in mathematical logic?, mozert1, 18:46
- Re: ZFC means?, Daryl McCullough, 18:26
- Re: ZFC means?, Charlie-Boo, 18:13
- Re: ZFC means?, Charlie-Boo, 17:57
- Re: ZFC means?, G . Frege, 17:25
- Re: ZFC means?, Charlie-Boo, 17:21
- Re: ZFC means?, Torkel Franzen, 17:04
- Re: ZFC means?, Charlie-Boo, 16:56
- Re: ZFC means?, Charlie-Boo, 16:56
- Re: ZFC means?, Torkel Franzen, 16:47
- Re: ZFC means?, Charlie-Boo, 16:41
- Re: ZFC means?, Torkel Franzen, 15:09
- Re: ZFC means?, Charlie-Boo, 14:18
- Re: ZFC means?, Charlie-Boo, 13:45
- Re: FOPL & ST question, Tom, 12:58
- Re: Is there an answer to this logic riddle?, Daryl McCullough, 06:47
- Re: Modification of Mostowski Collapsing Theorem, Rupert, 01:25
- Re: Is there an answer to this logic riddle?, Rupert, 01:22
- Re: Is there an answer to this logic riddle?, Rupert, 01:22
January 19, 2006
- Re: FOPL & ST question, G . Frege, 18:21
- Re: Is there an answer to this logic riddle?, Randy Yates, 15:49
- Re: FOPL & ST question, Tom, 10:50
- Re: FOPL & ST question, Tom, 09:03
- Re: FOPL & ST question, William Elliot, 06:38
- Re: FOPL & ST question, Tom, 05:19
- FOPL & ST question, William Elliot, 01:49
January 18, 2006
- Kripke models with constant domain, Colin, 16:16
- Re: re-stating FLT and FTA in PA, Daryl McCullough, 15:32
- Re: Is there an answer to this logic riddle?, Torkel Franzen, 15:28
- Re: re-stating FLT and FTA in PA, Torkel Franzen, 15:08
- Re: re-stating FLT and FTA in PA, george, 13:03
- Re: FOPL & ST question, Tom, 11:44
- Re: Is there an answer to this logic riddle?, Daryl McCullough, 11:00
- Re: Is there an answer to this logic riddle?, Rajah, 10:39
- Re: FOPL & ST question, William Elliot, 05:42
- Re: FOPL & ST question, Torkel Franzen, 05:21
- Re: FOPL & ST question, William Elliot, 05:10
- Re: FOPL & ST question, Aatu Koskensilta, 05:08
- Re: FOPL & ST question, Torkel Franzen, 04:46
- Re: FOPL & ST question, William Elliot, 04:41
- Re: FOPL & ST question, Torkel Franzen, 03:58
- Re: FOPL & ST question, William Elliot, 03:41
- Re: FOPL & ST question, William Elliot, 03:40
- Re: FOPL & ST question, Torkel Franzen, 02:20
January 17, 2006
- Is there an answer to this logic riddle?, Randy Yates, 21:19
- Re: FOPL & ST question, Randy Yates, 21:14
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 14:42
- Re: Undecidability of undecidability: some examples?, george, 13:54
- Re: Undecidability of undecidability: some examples?, Chris Menzel, 12:53
- Re: FOPL & ST question, Chris Menzel, 12:43
- Re: FOPL & ST question, Tom, 08:15
- FOPL & ST question, William Elliot, 04:55
January 16, 2006
- Re: Starbucks, Bryan, 21:44
- Re: Undecidability of undecidability: some examples?, george, 15:32
- Re: [Newbie Question] Inductive Arguments, Ken Pledger, 14:59
- Re: Starbucks, Stevebear, 14:21
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:57
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:48
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:45
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:42
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 10:47
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 10:46
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Alan Smaill, 10:40
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 10:11
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 10:08
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 09:59
- Re: FOPL & ST question, Tom, 09:36
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 09:32
- Re: FOPL & ST question, William Elliot, 01:31
January 15, 2006
- Re: Undecidability of undecidability: some examples?, Torkel Franzen, 23:27
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 23:26
- Re: FOPL & ST question, William Elliot, 20:04
- Re: Undecidability of undecidability: some examples?, george, 19:41
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 17:33
- Re: Undecidability of undecidability: some examples?, Aatu Koskensilta, 17:01
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 16:02
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 15:06
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 14:47
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 14:07
- Starbucks, Bryan, 13:52
- Re: Undecidability of undecidability: some examples?, Torkel Franzen, 13:35
- Re: Undecidability of undecidability: some examples?, george, 13:31
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 13:21
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:47
- Re: FOPL & ST question, Tom, 11:37
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 10:39
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 10:27
- Re: FOPL & ST question, G . Frege, 08:52
- Re: FOPL & ST question, William Elliot, 06:47
- Re: FOPL & ST question, G . Frege, 06:26
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 04:00
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 03:47
January 14, 2006
- Re: FOPL & ST question, William Elliot, 22:37
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 21:24
- Re: There is no language of arithmetic, Rupert, 18:29
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 18:00
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 16:33
- Re: There is no language of arithmetic, george, 13:51
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Torkel Franzen, 13:50
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 13:35
- Re: FOPL & ST question, Tom, 13:00
- Modification of Mostowski Collapsing Theorem, Jean-Pierre MERX, 09:35
- Re: [Newbie Question] Inductive Arguments, tjb, 06:04
- Re: FOPL & ST question, William Elliot, 05:42
- Re: [Newbie Question] Inductive Arguments, Tim, 05:28
- [Newbie Question] Inductive Arguments, tjb, 04:39
January 13, 2006
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, Topaz, 20:16
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 16:43
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, Ulysses at Langdale Tarn, 16:22
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 16:04
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 14:53
- FOPL & ST question, Tom, 10:30
- Re: a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, snakehawk, 10:00
- Re: tableau and gentzen systems, Thomas Käufl, 08:39
- Re: There is no language of arithmetic, Rupert, 03:35
- a M.A.D. Fleet would instantly solve the Iran nuclear weapons buildup, a_plutonium, 03:06
January 12, 2006
- Re: Metamathematically True or False?, Aatu Koskensilta, 16:30
- Re: Metamathematically True or False?, george, 15:54
- Re: Metamathematically True or False?, george, 15:34
- Re: Modal-logic with scope-modifying operators, galathaea, 01:31
- Re: Modal-logic with scope-modifying operators, Michael De, 00:42
January 11, 2006
- There is no language of arithmetic, george, 16:44
- Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 15:29
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 15:16
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 15:14
- Re: Modal-logic with scope-modifying operators, Aatu Koskensilta, 04:42
- Re: Modal-logic with scope-modifying operators, Aatu Koskensilta, 04:38
January 10, 2006
- Re: ZFC means?, Barb Knox, 19:27
- strange, mio fiume, 17:36
- Some Metamathematical Questions, Charlie-Boo, 16:12
- Re: Metamathematically True or False?, Daryl McCullough, 13:49
- Re: Metamathematically True or False?, Daryl McCullough, 13:27
- Re: Definite description and set abstraction notation - recursive definition?, Chris Menzel, 11:28
- Re: Metamathematically True or False?, george, 11:16
- Re: Metamathematically True or False?, george, 11:04
- Re: ZFC means?, David C . Ullrich, 08:10
- Re: Simple yet Profound Metatheorem, David C . Ullrich, 08:05
- Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 07:38
- Re: Simple yet Profound Metatheorem, Daryl McCullough, 06:24
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 05:34
- Re: Simple yet Profound Metatheorem, Torkel Franzen, 01:50
January 09, 2006
- Re: Modal-logic with scope-modifying operators, Chris Menzel, 23:35
- Re: Metamathematically True or False?, Rupert, 23:25
- Re: Metamathematically True or False?, Rupert, 23:22
- Re: Metamathematically True or False?, Torkel Franzen, 23:22
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 23:13
- Re: Modal-logic with scope-modifying operators, Michael De, 23:01
- Re: Metamathematically True or False?, Charlie-Boo, 22:55
- Re: Metamathematically True or False?, Charlie-Boo, 22:46
- Re: ZFC means?, Daryl McCullough, 18:51
- Re: Simple yet Profound Metatheorem, Daryl McCullough, 18:48
- ZFC IS INCONSISTENT., Foukzon, 18:47
- Re: ZFC means?, Charlie-Boo, 18:27
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 18:20
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 18:17
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 17:58
- Re: Metamathematically True or False?, Rupert, 17:37
- Re: Metamathematically True or False?, Rupert, 17:33
- Re: Metamathematically True or False?, Rupert, 17:07
- Re: Choice Question, Charlie-Boo, 16:31
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 16:16
- Re: Choice Question, Charlie-Boo, 14:01
- Re: ZFC means?, Daryl McCullough, 13:35
- Re: Choice Question, Jan Burse, 11:53
- Re: ZFC means?, Charlie-Boo, 11:50
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 11:35
- Re: Simple yet Profound Metatheorem, Daryl McCullough, 11:28
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 11:24
- undecidability of fol, Per Freem, 10:53
- BCS-FACS / FME Evening Seminar: Formal Methods in the Last 25 Years, 30 January 2006, 5.30pm, BCS Offices, London, UK, paul . boca, 10:38
- Re: Choice Question, Charlie-Boo, 10:35
- Re: ZFC means?, Daryl McCullough, 10:29
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 10:26
- Re: ZFC means?, Charlie-Boo, 10:03
- Re: Simple yet Profound Metatheorem, Daryl McCullough, 10:03
- Re: Simple yet Profound Metatheorem, Daryl McCullough, 09:53
- Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 09:45
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 09:39
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 09:37
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 09:13
- Re: Choice Question, Jan Burse, 07:47
- Re: Choice Question, Jan Burse, 07:21
- Re: Choice Question, Jan Burse, 06:58
- Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 04:45
- Re: Simple yet Profound Metatheorem, H. J. Sander Bruggink, 04:39
- Re: Metamathematically True or False?, Torkel Franzen, 03:41
- Re: Book Recommendation, smnewberger, 03:36
- Re: Book Recommendation, smnewberger, 03:24
- Re: Book Recommendation, smnewberger, 03:19
- Modal-logic with scope-modifying operators, Aatu Koskensilta, 01:58
- Re: Metamathematically True or False?, george, 01:00
- Re: Choice Question, Aatu Koskensilta, 00:48
- Re: Metamathematically True or False?, george, 00:30
January 08, 2006
- Re: Choice Question, george, 23:26
- Re: Metamathematically True or False?, george, 23:16
- Re: Book Recommendation, smnewberger, 21:34
- Re: Book Recommendation, smnewberger, 16:31
- Re: Book Recommendation, Dan Christensen, 15:42
- 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?, Gene Ledbetter, 14:09
- Re: Book Recommendation, raydpratt, 13:24
- Re: Book Recommendation, raydpratt, 13:14
- 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, 12:25
- 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, 12:23
- Re: Book Recommendation, G . Frege, 10:48
- Re: Book Recommendation, Tom, 10:33
- Book Recommendation, Tom, 10:25
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 03:38
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 03:28
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 02:10
January 07, 2006
- Re: Metamathematically True or False?, george, 23:41
- Re: Choice Question, george, 23:09
- 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?, William Elliot, 10:45
- 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, 09:45
- Re: Definite description and set abstraction notation - recursive definition?, Torkel Franzen, 03:27
January 06, 2006
- Re: Simple yet Profound Metatheorem, Barb Knox, 22:16
- Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 15:56
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 13:07
- Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 13:04
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 13:00
- Re: Definite description and set abstraction notation - recursive definition?, MoeBlee, 12:25
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 12:18
- Re: Definite description and set abstraction notation - recursive definition?, Paul Holbach, 12:02
- Re: Choice Question, Jan Burse, 11:53
- If you need comprehensible input, how do children start talking when t, Penguins Are, 09:07
- Re: Definite description and set abstraction notation - recursive definition?, Aatu Koskensilta, 06:51
- Re: Choice Question, Aatu Koskensilta, 06:41
- Re: Definite description and set abstraction notation - recursive definition?, Barb Knox, 05:01
January 05, 2006
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 22:39
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Rick Decker, 22:24
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 22:03
- Re: Choice Question, Jan Burse, 20:12
- Re: Choice Question, Michael De, 20:09
- Definite description and set abstraction notation - recursive definition?, MoeBlee, 20:01
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 19:48
- Re: Choice Question, Aatu Koskensilta, 17:19
- Re: Choice Question, george, 14:43
- Re: Choice Question, Jan Burse, 13:39
- Re: Choice Question, george, 13:02
- Re: Choice Question, Michael De, 12:19
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], RobertSzefler, 10:13
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Rick Decker, 08:52
- Re: Choice Question, Aatu Koskensilta, 03:45
- Re: Metamathematically True or False?, Torkel Franzen, 02:51
- Re: Choice Question, Michael De, 01:08
January 04, 2006
- Re: Simple yet Profound Metatheorem, Charlie-Boo, 22:29
- Re: Metamathematically True or False?, Charlie-Boo, 22:25
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], Charlie-Boo, 22:08
- Choice Question, Charlie-Boo, 21:58
- Re: 120,510,132 truth tables generated by 3-CNF of five variables [ttcnf], bradb, 20:31
- Constructible and hereditary sets, Jean-Pierre MERX, 16:54
- Re: Metamathematically True or False?, Daryl McCullough, 11:19
- Re: Metamathematically True or False?, Aatu Koskensilta, 02:07
January 03, 2006
- Re: Metamathematically True or False?, Torkel Franzen, 23:19
- Re: Metamathematically True or False?, Rupert, 21:38
- Re: Metamathematically True or False?, Rupert, 21:25
- Re: Metamathematically True or False?, Rupert, 21:20
- Re: Metamathematically True or False?, george, 20:44
- Re: Metamathematically True or False?, Aatu Koskensilta, 16:41
- Re: Metamathematically True or False?, george, 16:13
- Re: Metamathematically True or False?, george, 16:07
- Re: tableau and gentzen systems, Michael De, 12:49
- Re: Metamathematically True or False?, Aatu Koskensilta, 05:39
- Re: Predicativism and natural numbers, Aatu Koskensilta, 04:24
- Re: tableau and gentzen systems, Jan Burse, 04:14
- tableau and gentzen systems, Per Freem, 01:15
January 02, 2006
- Re: Metamathematically True or False?, Torkel Franzen, 23:39
- Re: Adequate sets of n-ary connectives, Michael De, 19:43
- Re: not simple enough for a village idiot, Rupert, 17:58
- Re: Predicativism and natural numbers, george, 16:49
- Re: Metamathematically True or False?, Rupert, 16:26
- Re: Metamathematically True or False?, george, 16:21
- Re: Metamathematically True or False?, george, 16:18
- Re: Adequate sets of n-ary connectives, Russell Easterly, 16:02
- Re: not simple enough for a village idiot, george, 13:08
- Re: not simple enough for a village idiot, george, 12:57
- Re: not simple enough for a village idiot, george, 12:47
- Re: grundlagen, george, 12:41
- Re: grundlagen, george, 12:41
- Re: grundlagen, george, 12:41
- Re: grundlagen, george, 12:41
- Re: grundlagen, george, 12:41
- Re: Predicativism and natural numbers, george, 12:27
December 31, 2005
- [FAQ, 99/07/28] Mathematical logic on the web, Boris 'pi' Piwinger, 20:03
- ILLC Research Reports and Technical Notes 2005, Marco Vervoort,P.315,+31 20 525 6519,,, 17:00
- Adequate sets of n-ary connectives, Michael De, 16:30
Privacy Policy