1
$\begingroup$

I am wondering if there exists a model of set theory (KPU or ZFC) that has decidable theory?

Thanks.

  • 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

2 Answers 2