On finite approximations of topological algebraic systems
L. Yu. Glebsky, E. I. Gordon, C. W. Henson · 2006
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
Status
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
59 papersQuestions on this topic
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
The modal logic of forcing
Joel David Hamkins, Benedikt Loewe · 2005
Abstract onlyNot checked
A question of van den Dries and a theorem of Lipshitz and Robinson: Not everything is standard
Ehud Hrushovski, Ya'acov Peterzil · 2005
Abstract onlyNot checked
Infinitesimal Fourier Transformation for The Space of Functionals
Takashi Nitta, Tomoko Okada · 2004
Abstract onlyNot checked
The f-Factor Problem for Graphs and the Hereditary Property
Frank Niedermeyer, Saharon Shelah, Karsten Steffens · Arch. Math. Logic 45 No. 6 (2006) 665--672 · 2004
Abstract onlyNot checked
Unified Foundations for Mathematics
Mark Burgin · 2004
Abstract onlyNot checked
On the order of countable graphs
Jaroslav Nešetřil, Saharon Shelah · European Journal of Combinatorics, 24(2003):649-663 · 2004
Abstract onlyNot checked
Profinite Structures are Retracts of Ultraproducts of Finite Structures
Hugo Luiz Mariano · 2004
Abstract onlyNot checked
Recursive logic frames
Saharon Shelah, Jouko Väänänen · MLQ Math. Log. Q. 52 No. 2 (2006) 151--164 · 2004
Abstract onlyNot checked
Parameterized stratification and piece number of D-semianalytic sets
Y. Firat Celikler · 2004
Abstract onlyNot checked
On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]
Bryan Ford · 2004
Abstract onlyNot checked
Preserving Preservation
Jakob Kellner, Saharon Shelah · J. Symbolic Logic 70, iss. 3 (2005), 914--945 · 2004
Abstract onlyNot checked
FPL may be equivalent to FO but not equivalent to PFP
Saharon Shelah · 2004
Abstract onlyNot checked