Filters








35 Hits in 0.96 sec

Page 3628 of Mathematical Reviews Vol. , Issue 89G [page]

1989 Mathematical Reviews  
“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  
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  
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)  
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)  
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)  
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]

Will Boney, Sebastien Vasey
2015 arXiv   pre-print
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

Qi Feng
1989 Proceedings of the American Mathematical Society  
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

Qi Feng
1989 Proceedings of the American Mathematical Society  
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  
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  
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

Grzegorz Jagiella, Ludomir Newelski
2014 Reports on Mathematical Logic  
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)  
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  
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  
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