Upward Stability Transfer for Tame Abstract Elementary Classes
John Baldwin, David Kueker, Monica VanDieren · 2005
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
414 papersQuestions on this topic
A theory of hyperfinite sets
P. V. Andreev, E. I. Gordon · 2005
Abstract onlyNot checked
Sheaves for predicative toposes
Benno van den Berg · 2005
Abstract onlyNot checked
Potential theory and forcing
Jindrich Zapletal · 2005
Abstract onlyNot checked
Zero-groups and maximal tori
Alessandro Berarducci · 2005
Abstract onlyNot checked
Constructing the hyperdefinable group from the group configuration
Tristram De Piro, Byunghan Kim, Jessica Millar · 2005
Abstract onlyNot checked
Analysis in J_2
Nik Weaver · 2005
Abstract onlyNot checked
Consistency of "the ideal of null restricted to some A is kappa-complete not kappa^+-complete, kappa weakly inaccessible and cov(meagre)=aleph_1"
Saharon Shelah · 2005
Abstract onlyNot checked
Accounting for primitive terms in mathematics
D.F.M. Strauss · Koers: Bulletin for Christian Scholarship · 2005
Abstract onlyNot checked
Excellent Abstract Elementary Classes are tame
Rami Grossberg, Alexei S. Kolesnikov · 2005
Abstract onlyNot checked
Locally Moving Groups and the Reconstruction Problem for Chains and Circles
Stephen McCleary, Matatyahu Rubin · 2005
Abstract onlyNot checked
The Hurwitz Equivalence Problem is Undecidable
E. Liberman, M. Teicher · 2005
Abstract onlyNot checked
Turing Degrees of Isomorphism Types of Algebraic Objects
Wesley Calvert, Valentina Harizanov, Alexandra Shlapentokh · 2005
Abstract onlyNot checked
Understanding preservation theorems: omega-omega bounding and Sacks property
Chaz Schlindwein · 2005
Abstract onlyNot checked
Two preservation theorems
Jindrich Zapletal · 2005
Abstract onlyNot checked
On o-minimality of extensions of $\R$ by restricted generic smooth functions
Alexei Grigoriev · 2005
Abstract onlyNot checked
The height of the automorphism tower of a group
Saharon Shelah · 2005
Abstract onlyNot checked
Abstract decomposition theorem and applications
Rami Grossberg, Olivier Lessmann · Contemporary Mathematics, Vol 380, (2005), pp. 73--108 · 2005
Abstract onlyNot checked
The combinatorics of reasonable ultrafilters
Saharon Shelah · Fund. Math. 192 No. 1 (2006) 1--23 · 2005
Abstract onlyNot checked
Infintesimals in a Recursively Enumerable Prime Model
Tristram de Piro · 2005
Abstract onlyNot checked