The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Filters
Page 3628 of Mathematical Reviews Vol. , Issue 89G
[page]
1989
Mathematical Reviews
Preserved Fulltext
“Of course, Kueker’s conjecture for T a theory with an inter- pretable linear ordering implies Kueker’s conjecture for o-minimal
03 MATHEMATICAL LOGIC AND FOUNDATIONS
3628
theories. ...
Buechler, who proved Kueker’s conjecture for superstable theories. Recently, E. Hrushovski established this conjecture for stable theories. ...
Page 16 of Mathematical Reviews Vol. , Issue 86a
[page]
1986
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Kueker’s conjecture states that if every uncountable model of a first-order countable theory T is w-saturated, then T must be categorical in some infinite power. ...
{For the entire collection see MR 84i:03008. }
Buechler, Steven (1- YALE)
Kueker’s conjecture for superstable theories.
J. Symbolic Logic 49 (1984), no. 3, 930-934. ...
Page 776 of Mathematical Reviews Vol. , Issue 90B
[page]
1990
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Kueker’s conjecture states that if every uncountable model of a
countable theory T is w-saturated then T is categorical in some
power. ...
The conjecture has been proved by Lachlan for w-stable
theories and by Buechler for superstable ones. ...
JSL volume 49 issue 3 Cover and Front matter
1984
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
M E Y E R and CHRIS
M O R T E N S E N
917
Kueker's conjecture for superstable theories. By STEVEN BUECHLER
930
MARTINEZ
961 ...
By A N AND PILLAY 880 On the period of sequences (A n (p)) in intuitionistic prepositional calculus. By W I M R U I T E N B U R G . 892 On modal systems having arithmetical interpretations. ...
doi:10.1017/s0022481200042869
fatcat:5qxejns4q5bybmushrgfh5xnpa
JSL volume 77 issue 4 Cover and Front matter
2012
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Kueker's conjecture, by PREDRAG TANOVIC
1245
A constructive Galois connection between closure and interior, by
FRANCESCO CIRAULO and GIOVANNI SAMBIN
1308
Simultaneous reflection and impossible ...
Continued on inside back cover 1 0 9 8 7 6 5 4 3 2 1 17 16 15 14 13 12 LOGIC. ...
doi:10.1017/s0022481200001092
fatcat:kfg3vh4plfhp7hke5qm3hrfwae
JSL volume 54 issue 1 Cover and Front matter
1989
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
S T E R N
190
Kueker's conjecture for stable theories. ...
. •. 221 Positive S operations on ordinals and normal filters on greatly Mahlo cardinals. By THOMAS JECH 226 Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken. By H . ...
doi:10.1017/s0022481200027511
fatcat:6zuhynn6wrdubgkvfcgld4nojm
Categoricity and infinitary logics
[article]
2015
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Other Versions
A consequence of this result is: 1 For a review of the literature on the conjecture, see the introduction of [Vas] . 2 One can of course also ask what the Hanf number for unbounded categoricity is. ...
In the framework of abstract elementary classes (AECs), Shelah states an eventual version of the conjecture as: Conjecture 1.2 (Conjecture N.4.2 in [She09] ). ...
arXiv:1508.03316v2
fatcat:xgak7mwpmjhqjfet236z7g5bd4
On weakly stationary sets
1989
Proceedings of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Also there is a weakly stationary nonstationary set on [ct^l**1 if and only if Chang's conjecture holds. ...
By Kueker's theorem, for ß = co, every weakly stationary set is stationary. The question above can now be stated as whether there is a weakly stationary set on [Af which is not stationary for ß > co. ...
The following are equivalent: (1) There is a weakly stationary nonstationary subset of [co2] ' . (2) Chang's conjecture holds, i.e., for any model 21 = (A , U) of countable language with one unary predicate ...
doi:10.1090/s0002-9939-1989-0946635-4
fatcat:dtp4g574a5hsjm5rxcsen7kmea
On Weakly Stationary Sets
1989
Proceedings of the American Mathematical Society
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Also there is a weakly stationary nonstationary set on [ct^l**1 if and only if Chang's conjecture holds. ...
By Kueker's theorem, for ß = co, every weakly stationary set is stationary. The question above can now be stated as whether there is a weakly stationary set on [Af which is not stationary for ß > co. ...
The following are equivalent: (1) There is a weakly stationary nonstationary subset of [co2] ' . (2) Chang's conjecture holds, i.e., for any model 21 = (A , U) of countable language with one unary predicate ...
doi:10.2307/2046926
fatcat:pw2xdiajbbhvpgnv7k3ugq64w4
Page 3142 of Mathematical Reviews Vol. , Issue 95f
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
He indicates that he was not able to prove his conjecture in the case of one binary relation symbol, and the reason why seems clear: the proof of result (A) above yields the full spectrum conjecture. ...
The author does not comment on any converse result of Theorem 1, although it would be interesting to know whether his conjecture is
03 MATHEMATICAL LOGIC AND FOUNDATIONS
3142
strictly stronger than the ...
Page 4495 of Mathematical Reviews Vol. , Issue 88i
[page]
1988
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Mayer, Kueker’s conjecture for o-minimal theories (pp. 253-260); Ieke Moerdijk, On the embed- ding of manifolds into the smooth Zariski topos (pp. 261-276); I. Moerdijk, Ngé Van Qué and G. E. ...
The author has written in this perspective a remarkable text,
03 MATHEMATICAL LOGIC AND FOUNDATIONS
88i:03005
based on years of experience in teaching model theory and, of course, drawing on his expert ...
On ordered minimal structures
2014
Reports on Mathematical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
We investigate minimal first-order structures and consider interpretability and definability of orderings on them. We also prove the minimality of their canonical substructures. ...
In dealing with Podewski's conjecture, only structures of Type(ω) are concerned [7] . In both Podewski's and Kueker's conjectures, only definable orders are of the matter [3, 7] . ...
An example is a partial answer to Kueker's Conjecture, which states that if a theory T is not ℵ 0 -categorical and its every uncountable model is ℵ 0 -saturated, then T is ℵ 1 -categorical. ...
dblp:journals/rml/JagiellaN14
fatcat:4osek7zvvbfzlkvkmlrl7d7cwe
JSL volume 54 issue 4 Cover and Back matter
1989
Journal of Symbolic Logic (JSL)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Kueker's conjecture for stable theories 207 IHODA, JAIME I. and SHELAH, SAHARON. Martin's axioms, measurability and equiconsistency results 78 . See BARTOSZYNSKI, TOMEK IVANOV, LJUBOMIR L. ...
A proof of Morley's conjecture 1346 . See GROSSBERG, R . HART, KLAAS PlETER. Ultrafilters of character wi 1 HlNDLEY, J. ROGER. See BUNDER, MARTIN W . HlNNION, R . See FORTI, M . ...
doi:10.1017/s0022481200041013
fatcat:yfj5kl4mjjcx3gsq7yo7j7i2qq
Page 39 of Mathematical Reviews Vol. , Issue 90A
[page]
1990
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Finally, any finitely controlled countable stable theory satisfies Kueker’s conjecture. ...
Now one shows that the isomorphism type of B does not depend on M or on the spe- cific realization A of p, and thus it can be denoted H(A) or H(p); moreover, any embedding of A preserving positive primitive ...
Page 2957 of Mathematical Reviews Vol. , Issue 81H
[page]
1981
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Bien que cet article soit la suite de travaux antérieurs, il est complet; en outre il contient des discussions et des conjectures sur ce type de probléme. ...
Let Op be
the relation on |M|U Aut(M) given by: <f,a,b> € Op if and only
if <M, Aut(M); Op>. ...
« Previous
Showing results 1 — 15 out of 35 results