Dimension theory and parameterized normalization for D-semianalytic sets over non-Archimedean fields
Y. Firat Celikler · 2005
Abstract onlyNot checked
Theoretical Computer Science
Filters2 filters applied
414 papersQuestions on this topic
kappa-bounded Exponential-Logarithmic Power Series Fields
Salma Kuhlmann, Saharon Shelah · Annals of Pure and Applied Logic 136(2005):284-296 · 2005
Abstract onlyNot checked
On Independent Representation
Saharon Shelah · 2005
Abstract onlyNot checked
Simple multiplicative proof nets with units
Dominic Hughes · 2005
Abstract onlyNot checked
Logic and Partially Ordered Abelian Groups
David J. Foulis · 2005
Abstract onlyNot checked
Shelah's Categoricity Conjecture from a successor for Tame Abstract Elementary Classes
Rami Grossberg, Monica VanDieren · 2005
Abstract onlyNot checked
More on regular reduced products
Juliette Kennedy, Saharon Shelah · J. Symbolic Logic 69 No. 4 (2004) 1261--1266 · 2005
Abstract onlyNot checked
A general form of relative recursion
Jaap van Oosten · 2005
Abstract onlyNot checked
Hybrid Pluralism
Andrew Aberdein · 2005
Abstract onlyNot checked
Universal graphs with a forbidden subtree
Gregory Cherlin, Saharon Shelah · J. Combin. Theory Ser. B 97 No. 3 (2007) 293--333 · 2005
Abstract onlyNot checked
Negation and Involutive Adjunction
K. Dosen, Z. Petric · 2005
Abstract onlyNot checked
Definitions with no quantifier alternation
Oleg Pikhurko, Joel Spencer, Oleg Verbitsky · 2005
Abstract onlyNot checked
Categoricity in Abstract Elementary Classes with No Maximal Models
Monica VanDieren · 2005
Abstract onlyNot checked
On Crawley Modules
Rüdiger Göbel, Saharon Shelah · Comm. Algebra 33 No. 11 (2005) 4211--4218 · 2005
Abstract onlyNot checked
Uniform almost everywhere domination
Peter Cholak, Joseph Miller, Noam Greenberg · 2005
Abstract onlyNot checked
Galois-stability for Tame Abstract Elementary Classes
Rami Grossberg, Monica VanDieren · 2005
Abstract onlyNot checked
The halting problem is decidable on a set of asymptotic probability one
Joel David Hamkins, Alexei Miasnikov · 2005
Abstract onlyNot checked
Turing Computations on Ordinals
Peter Koepke · 2005
Abstract onlyNot checked
Disjoint Non-Free Subgoups of Abelian Groups
Andreas Blass, Saharon Shelah · in: {Set theory: recent trends and applications} (2006) 1--24 · 2005
Abstract onlyNot checked
Classical Logic = Fibred MLL
Dominic Hughes · 2005
Abstract onlyNot checked