Searching for "On Order-Types of Models." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Order-types of models of Peano arithmetic: a short survey
- …Order-types of models of Peano arithmetic: a short survey. 1 Introduction Andrey Bovykin…
- Add To MetaCart
-
On order-types of models of arithmetic and a connection with arithmetic saturation
- … Bovykin ORDER-TYPES OF MODELS OF ARITHMETIC AND A CONNECTION WITH ARITHMETIC SATURATION (submitted by Yi…
- Cited by 1 (1 self) – Add To MetaCart
-
The Strength Of The Isomorphism Property
- … of some second{order types in model theory. In x2, several applications are given. One of the applications…
- Add To MetaCart
-
Identification Aspects of Intersample Input Behavior
- …. The meaning of the letters is explained in Table 1. xx Model structure oe/ss n Model order t Type of model c…
- Cited by 2 (0 self) – Add To MetaCart
-
Resplendent models and Σ 1 1 definability with an oracle. Submitted to Archive for Mathematical
- …’s PhD thesis ‘On order-types of models of arithmetic’ [2] and was written in 2003 and improved in 2005…
- Cited by 1 (1 self) – Add To MetaCart
-
Interpreting Arithmetic in the R.E. Degrees Under ...-Induction
- …. In such a situation, it is necessary to exercise control on the order type of the models to be considered so…
- Add To MetaCart
Showing 1 through 6.
