๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Conservative extensions of models of arithmetic

โœ Scribed by Blass, Andreas

Publisher
Springer-Verlag
Year
1980
Weight
566 KB
Volume
20
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

End extensions of models of linearly bou
End extensions of models of linearly bounded arithmetic
โœ Domenico Zambella ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 977 KB

We show that every model of Ido has an end extension to a model of a theory (extending Buss' S,") where log-space computable function are formalizable. We also show the existence of an isomotphism between models of Ido and models of linear arithmetic LA (i.e., second-order Presburger arithmetic wit

Arithmetic Lifting of Dihedral Extension
Arithmetic Lifting of Dihedral Extensions
โœ Elena V Black ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 220 KB

The Inverse Galois problem remains a fascinating yet unanswered question. The standard approach through algebraic geometry is to construct a Galois branched covering of the projective line over the rationals with a desired group G. Then one invokes the Hilbert Irreducibility Theorem to construct a G

Substructure lattices and almost minimal
Substructure lattices and almost minimal end extensions of models of Peano arithmetic
โœ James H. Schmerl ๐Ÿ“‚ Article ๐Ÿ“… 2004 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 141 KB ๐Ÿ‘ 1 views

## Abstract This paper concerns intermediate structure lattices Lt(๐’ฉ/โ„ณ๏ธ), where ๐’ฉ is an almost minimal elementary end extension of the model โ„ณ๏ธ of Peano Arithmetic. For the purposes of this abstract only, let us say that โ„ณ๏ธ attains __L__ if __L__ โ‰… Lt(๐’ฉ/โ„ณ๏ธ) for some almost minimal elementary end ex