Re: completeness what is it exactly
- From: Jan Burse <janburse@xxxxxxxxxxx>
- Date: Mon, 07 Jul 2008 19:03:55 +0200
translogi schrieb:
Hello
following another discussion
http://groups.google.com/group/sci.logic/browse_frm/thread/06c1ca6e6abeff9b#
What is completeness exactly?
what kind of completeness are there?
(I remember long ago having read somewhere about strong completeness
and weak completeness but I forgot what the difference was.)
can anybody refresh my memory?
A theory T is complete :<=> forall "A" (T |- A v T |- ~A)
A theory T is complete and has witnesses :<=> T is complete
and forall "exists A" (T |- exists A => exists t T |- A[x/t])
Bye
.
- Follow-Ups:
- Re: completeness what is it exactly
- From: bRAINS
- Re: completeness what is it exactly
- From: Chris Menzel
- Re: completeness what is it exactly
- References:
- completeness what is it exactly
- From: translogi
- completeness what is it exactly
- Prev by Date: Re: does anybody know where i can find this journal?
- Next by Date: Re: My talk about Godel to the post-grads.
- Previous by thread: completeness what is it exactly
- Next by thread: Re: completeness what is it exactly
- Index(es):
Relevant Pages
|
