# Minimal elementary end extensions

Minimal elementary end extensions Suppose that $${\mathcal M}\models \mathsf{PA}$$ M ⊧ PA and $${\mathfrak X} \subseteq {\mathcal P}(M)$$ X ⊆ P ( M ) . If $${\mathcal M}$$ M has a finitely generated elementary end extension $${\mathcal N}\succ _\mathsf{end} {\mathcal M}$$ N ≻ end M such that $$\{X \cap M : X \in {{\mathrm{Def}}}({\mathcal N})\} = {\mathfrak X}$$ { X ∩ M : X ∈ Def ( N ) } = X , then there is such an $${\mathcal N}$$ N that is, in addition, a minimal extension of $${\mathcal M}$$ M iff every subset of M that is $$\Pi _1^0$$ Π 1 0 -definable in $$({\mathcal M}, {\mathfrak X})$$ ( M , X ) is the countable union of $$\Sigma _1^0$$ Σ 1 0 -definable sets. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

# Minimal elementary end extensions

, Volume 56 (6) – May 15, 2017
13 pages

/lp/springer_journal/minimal-elementary-end-extensions-6JVwDWiibJ
Publisher
Springer Berlin Heidelberg
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
D.O.I.
10.1007/s00153-017-0556-5
Publisher site
See Article on Publisher Site

## You’re reading a free preview. Subscribe to read the entire article.

### DeepDyve is your personal research library

It’s your single place to instantly
that matters to you.

over 12 million articles from more than
10,000 peer-reviewed journals.

All for just $49/month ### Explore the DeepDyve Library ### Unlimited reading Read as many articles as you need. Full articles with original layout, charts and figures. Read online, from anywhere. ### Stay up to date Keep up with your field with Personalized Recommendations and Follow Journals to get automatic updates. ### Organize your research It’s easy to organize your research with our built-in tools. ### Your journals are on DeepDyve Read from thousands of the leading scholarly journals from SpringerNature, Elsevier, Wiley-Blackwell, Oxford University Press and more. All the latest content is available, no embargo periods. ### Monthly Plan • Read unlimited articles • Personalized recommendations • No expiration • Print 20 pages per month • 20% off on PDF purchases • Organize your research • Get updates on your journals and topic searches$49/month

14-day Free Trial

Best Deal — 39% off

### Annual Plan

• All the features of the Professional Plan, but for 39% off!
• Billed annually
• No expiration
• For the normal price of 10 articles elsewhere, you get one full year of unlimited access to articles.

$588$360/year

billed annually

14-day Free Trial