Searching for "On Models Constructed by Means of the Arithmetized Completeness Theorem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On models constructed by means of the Arithmetized Completeness Theorem
by Richard Kaye, Henryk Kotlarski — 2000
…On models constructed by means of the Arithmetized Completeness Theorem Richard Kaye Henryk…
Cited by 1 (0 self) – Add To MetaCart

Order-types of models of Peano arithmetic: a short survey
by Andrey Bovykin, Richard Kaye — 2001
… of the arithmetized completeness theorem (ACT), generating a model by indiscernibles, etc. The particular cases…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB