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
339 papersQuestions on this topic
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
Hybrid Pluralism
Andrew Aberdein · 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
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
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
Constructing the hyperdefinable group from the group configuration
Tristram De Piro, Byunghan Kim, Jessica Millar · 2005
Abstract onlyNot checked