Publication:5659522

zbMath0247.02040MaRDI QIDQ5659522

Richard Montague

Publication date: 1968

Mathematics Subject Classification ID

03D60: Computability and recursion theory on ordinals, admissible sets, etc.

03D55: Hierarchies of computability and definability

03C68: Other classical first-order model theory

Related Items

Unnamed Item, The ECO family, Agency and obligation, In conjunction with qualitative probability