Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540102694, 9783540383932

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cofinal extension preserves recursive saturation

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090172 ◽

1980 ◽

pp. 338-345 ◽

Cited By ~ 2

Author(s):

C. Smoryński ◽

J. Stavi

Keyword(s):

Recursive Saturation

Download Full-text

Applications of complexity theory to Σo-definability Problems in arithmetic

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090174 ◽

1980 ◽

pp. 363-369 ◽

Cited By ~ 7

Author(s):

A. J. Wilkie

Keyword(s):

Complexity Theory

Download Full-text

The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090158 ◽

1980 ◽

pp. 20-30 ◽

Cited By ~ 3

Author(s):

M. Boffa ◽

A. Macintyre ◽

F. Point

Keyword(s):

Quantifier Elimination ◽

Nilpotent Elements ◽

Elimination Problem

Download Full-text

Two orderings of the class of all countable models of peano arithmetic

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090166 ◽

1980 ◽

pp. 174-185 ◽

Cited By ~ 2

Author(s):

Petr Hájek ◽

Pavel Pudlák

Keyword(s):

Peano Arithmetic ◽

Countable Models

Download Full-text

A hierarchy of cuts in models of arithmetic

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090171 ◽

1980 ◽

pp. 312-337 ◽

Cited By ~ 17

Author(s):

J. B. Paris

Keyword(s):

Models Of Arithmetic

Download Full-text

Weak partition relations, finite games, and independence results in Peano arithmetic

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090161 ◽

1980 ◽

pp. 92-107 ◽

Cited By ~ 1

Author(s):

Peter Clote

Keyword(s):

Peano Arithmetic ◽

Finite Games ◽

Partition Relations ◽

Independence Results

Download Full-text

Horn-theories of abelian groups

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090165 ◽

1980 ◽

pp. 163-173 ◽

Cited By ~ 1

Author(s):

Ulrich Felgner

Keyword(s):

Abelian Groups ◽

Horn Theories

Download Full-text

Some diophantine nullstellensätze

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090169 ◽

1980 ◽

pp. 228-247 ◽

Cited By ~ 2

Author(s):

Kenneth McKenna

Download Full-text

Existentially closed modules: Types and prime models

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090159 ◽

1980 ◽

pp. 31-43 ◽

Cited By ~ 2

Author(s):

Elisabeth Bouscaren

Keyword(s):

Existentially Closed

Download Full-text

On polynomials over real closed rings

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic ◽

10.1007/bfb0090163 ◽

1980 ◽

pp. 117-135 ◽

Cited By ~ 4

Author(s):

M. A. Dickmann

Download Full-text

Lecture Notes in Mathematics - Model Theory of Algebra and ArithmeticLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Cofinal extension preserves recursive saturation

Applications of complexity theory to Σo-definability Problems in arithmetic

The quantifier elimination problem for rings without nilpotent elements and for semi-simple rings

Two orderings of the class of all countable models of peano arithmetic

A hierarchy of cuts in models of arithmetic

Weak partition relations, finite games, and independence results in Peano arithmetic

Horn-theories of abelian groups

Some diophantine nullstellensätze

Existentially closed modules: Types and prime models

On polynomials over real closed rings

Lecture Notes in Mathematics - Model Theory of Algebra and Arithmetic
Latest Publications