Projects
Reading
People
Chat
SU\G
(𝔸)
/K·U
Projects
Reading
People
Chat
Sign Up
Sign In
Light
Dark
System
Walter Bäur
Follow
Share
Generating author description...
All published works
Action
Title
Year
Authors
+
Simplified Lower Bounds for Polynomials with Algebraic Coefficients
1997
Walter Bäur
+
On the algebraic complexity of rational iteration procedures
1991
Walter Bäur
+
Martin Ziegler. Einige unentscheidbare Körpertheorien. Logic and algorithmic, An international symposium held in honour of Ernst Specker, Monographic no. 30, L'Enseignement Mathématique, Université de Genève, Geneva1982, pp. 381–392. (Reprinted in <b><i>L'enseignement mathématique</i></b>, ser. 2 vol. 28 (1982), pp. 269–280.)
1985
Walter Bäur
+
The complexity of partial derivatives
1983
Walter Bäur
Volker Strassen
+
PDF
Chat
On the elementary theory of pairs of real closed fields. II
1982
Walter Bäur
+
On the elementary theory of quadruples of vector spaces
1980
Walter Bäur
+
Totally categorical groups and rings
1979
Walter Bäur
Gregory Cherlin
Angus Macintyre
+
Strange inner product spaces
1977
Walter Bäur
Herbert Gross
+
Elimination of quantifiers for modules
1976
Walter Bäur
+
PDF
Chat
Undecidability of the theory of abelian groups with a subgroup
1976
Walter Bäur
+
PDF
Chat
Undecidability of the Theory of Abelian Groups with a Subgroup
1976
Walter Bäur
+
ℵ<sub>0</sub>-categorical modules
1975
Walter Bäur
Common Coauthors
Coauthor
Papers Together
Volker Strassen
1
Herbert Gross
1
Angus Macintyre
1
Gregory Cherlin
1
Commonly Cited References
Action
Title
Year
Authors
# of times referenced
+
PDF
Chat
Elementary properties of Abelian groups
1955
Wanda Szmielew
5
+
The elementary theory of abelian groups
1972
Paul C. Eklof
Edward R. Fischer
3
+
Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
1971
Saharon Shelah
3
+
ℵ<sub>0</sub>-categorical modules
1975
Walter Bäur
2
+
On the Number of Nonscalar Multiplications Necessary to Evaluate Polynomials
1973
Michael S. Paterson
Larry J. Stockmeyer
2
+
Lower bounds for polynomials with algebraic coefficients
1980
Joos Heintz
Malte Sieveking
2
+
Saturated Model Theory
2009
Gerald E. Sacks
2
+
PDF
Chat
On $ω_1$-categorical theories of abelian groups
1971
Angus Macintyre
1
+
PDF
Chat
On $ω_1$-categorical theories of fields
1971
Angus Macintyre
1
+
Efficient Iterations for Algebraic Numbers
1972
Michael S. Paterson
1
+
Improved lower bounds on the number of multiplications/divisions which are necessary to evaluate polynomials
1978
C. P. Schnorr
1
+
Theories of Abelian groups with predicates specifying a subgroup
1975
A. M. Slobodskoi
É. I. Fridman
1
+
A bound on the multiplicative efficiency of iteration
1973
H. T. Kung
1
+
ℵ0-Categoricity for rings without nilpotent elements and for boolean structures
1976
Angus Macintyre
Joseph G. Rosenstein
1
+
PDF
Chat
Logical stability in group theory
1976
John T. Baldwin
Jan Saxl
1
+
PDF
Chat
Undecidability of the theory of abelian groups with a subgroup
1976
Walter Bäur
1
+
Differentially closed fields
1973
Saharon Shelah
1
+
PDF
Chat
Purity and algebraic compactness for modules
1969
Robert B. Warfield
1
+
?0 stable groups
1978
Ulrich Felgner
1
+
Some polynomials that are hard to compute
1980
Joachim von zur Gathen
Volker Strassen
1
+
An Extension of Strassen’s Degree Bound
1981
C. P. Schnorr
1
+
Introduction To Commutative Algebra
2018
Michael Atiyah
1
+
PDF
Chat
Model theory of alternative rings.
1978
Bruce I. Rose
1
+
Groups of small Morley rank
1979
Gregory Cherlin
1
+
On polynomials with symmetric Galois group which are easy to compute
1986
Joos Heintz
1
+
On the Intrinsic Complexity of Elimination Theory
1993
Joos Heintz
Jacques Morgenstern
1
+
Verallgemeinerte Abelsche Gruppen mit hyperkomplexem Operatorenring
1935
Gottfried K�the
1
+
ℵ0-Categoricity and stability of rings
1977
John T. Baldwin
Bruce I. Rose
1
+
Infinite abelian groups, whitehead problem and some constructions
1974
Saharon Shelah
1
+
Quadratic spaces with few isometries (Quadratic forms and linear topologies VI)
1973
Herbert Gross
Erwin Ogg
1
+
PDF
Chat
Categoricity in power
1965
Michael Morley
1
+
Linear topologies and sesquilinear forms
1977
Werner Bäni
1
+
Diophantine Problems Over Local Fields II. A Complete Set of Axioms for p-Adic Number Theory
1965
James Ax
Simon Kochen
1
+
Hilbert Space Operators
2016
Douglas Farenick
1
+
Basic Algebra I.
1986
Andy R. Magid
Nathan Jacobson
1
+
PDF
Chat
Model Theoretic Algebra Selected Topics
1976
Greg Cherlin
1
+
Introduction to Commutative Algebra.
1970
D. J. Lewis
B. R. McDonald
M. F. Atiyah
I. G. Macdonald
1
+
Ein numerischer Algorithmus zur Komposition von Potenzreihen und Komplexitätsschranken für die Nullstellenberechnung von Polynomen
1984
Peter Markus Ritzmann
1
+
PDF
Chat
Aspects of Constructibility
1973
Keith Devlin
1
+
PDF
Chat
Solution of a problem of Tarski
1959
Andrew Robinson
1
+
Locally finite groups
1973
Otto H. Kegel
B. A. F. Wehrfritz
1
+
Fields and rings
1969
Irving Kaplansky
1
+
PDF
Chat
Two conjectures regarding the stability of ω-categorical theories
1974
A. H. Lachlan
1
+
PDF
Chat
𝛼_{𝑇} is finite for ℵ₁-categorical 𝑇
1973
John T. Baldwin
1
+
Lecture Notes on Nilpotent Groups
2007
Gilbert Baumslag
1
+
Solution of equations in Euclidean and Banach spaces
1973
Alexander Ostrowski
1
+
PDF
Chat
Lectures on Formally Real Fields
1984
Alexander Prestel
1