I am wondering if there exists a model of set theory (KPU or ZFC) that has decidable theory?
Thanks.
logic
asked 2012-09-15
user id:40375
6
11bronze badges
1
Such a model will be able to solve the halting problem. – 2012-09-15
0
what do you mean by a model having a decidable theorem? – 2012-09-15
0
I mean , is there a model of set theory for which we can design an algorithm to decide all the first order formula sastified in it .... Thanks , obviously I am not talking here about all theorem of the structure ... – 2012-09-15
0
Do you have the references of the work you mentionned of David Harris ? Please... – 2012-09-15
0
@Dehn: I believe that Peter Smith is talking about David Harris's answer below. – 2012-09-15
0
@Peter Smith: Please see my comment below the answer by David Harris. – 2012-09-15
0
[My comment deleted -- at least until I've had time to rethink in the light of Carl Mummert's comments below.] – 2012-09-15
0
Ok thank you very much guys, I have now understood what I was doing wrong. Thanks! – 2012-09-15