Czasopismo
Tytuł artykułu
Autorzy
Warianty tytułu
Języki publikacji
Abstrakty
In the early 1970's S. Tennenbaum proved that all countable models of PA₁¯ + ∀₁ -Th(ℕ) are embeddable into the reduced product $ℕ^ω/ℱ$, where ℱ is the cofinite filter. In this paper we show that if M is a model of PA¯ + ∀₁ - Th(ℕ), and |M| = ℵ₁, then M is embeddable into $ℕ^ω/D$, where D is any regular filter on ω.
Słowa kluczowe
Kategorie tematyczne
Czasopismo
Rocznik
Tom
Numer
Strony
17-24
Opis fizyczny
Daty
wydano
2003
Twórcy
autor
- Department of Mathematics, University of Helsinki, P.O. Box 4, FI-00014 University of Helsinki, Finland
autor
- Institute of Mathematics, Hebrew University, 91904 Jerusalem, Israel,, Department of Mathematics, Rutgers University, New Brunswick, NJ 08903, U.S.A.
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-doi-10_4064-fm176-1-2