Methods in Mathematical Logic - Lecture Notes in Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540152361, 9783540394143

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Approximation to truth and theory of errors

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075305 ◽

1985 ◽

pp. 13-31

Author(s):

Rolando Chuaqui ◽

Leopoldo Bertossi

Download Full-text

Counting problems in bounded arithmetic

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075316 ◽

1985 ◽

pp. 317-340 ◽

Cited By ~ 57

Author(s):

J. Paris ◽

A. Wilkie

Keyword(s):

Bounded Arithmetic ◽

Counting Problems

Download Full-text

Generic extensions which do not ADD random reals

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075321 ◽

1985 ◽

pp. 395-407 ◽

Cited By ~ 2

Author(s):

Jacques Stern

Keyword(s):

Random Reals ◽

Generic Extensions

Download Full-text

Completeness theorems for the general theory of stochastic processes

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075311 ◽

1985 ◽

pp. 174-194 ◽

Cited By ~ 3

Author(s):

Sergio Fajardo

Keyword(s):

General Theory ◽

Stochastic Processes ◽

Completeness Theorems

Download Full-text

Proof functional connectives

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075313 ◽

1985 ◽

pp. 208-221 ◽

Cited By ~ 9

Author(s):

E. G. K. Lopez-Escobar

Download Full-text

Applications of model theory to real algebraic geometry

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075308 ◽

1985 ◽

pp. 76-150 ◽

Cited By ~ 2

Author(s):

M. A. Dickmann

Keyword(s):

Algebraic Geometry ◽

Model Theory ◽

Real Algebraic Geometry

Download Full-text

Failure of interpolation for quantifiers of monadic type

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075304 ◽

1985 ◽

pp. 1-12 ◽

Cited By ~ 1

Author(s):

Xavier Caicedo

Download Full-text

A barren extension

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075312 ◽

1985 ◽

pp. 195-207 ◽

Cited By ~ 2

Author(s):

J. M. Henle ◽

A. R. D. Mathias ◽

W. Hugh Woodin

Download Full-text

Formalizations of certain intermediate logics Part I

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075319 ◽

1985 ◽

pp. 360-384 ◽

Cited By ~ 1

Author(s):

Cecylia Rauszer

Keyword(s):

Intermediate Logics

Download Full-text

Problems in taxonomy, a floating log

Methods in Mathematical Logic - Lecture Notes in Mathematics ◽

10.1007/bfb0075315 ◽

1985 ◽

pp. 310-316

Author(s):

Jerome I. Malitz

Download Full-text

Methods in Mathematical Logic - Lecture Notes in MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Approximation to truth and theory of errors

Counting problems in bounded arithmetic

Generic extensions which do not ADD random reals

Completeness theorems for the general theory of stochastic processes

Proof functional connectives

Applications of model theory to real algebraic geometry

Failure of interpolation for quantifiers of monadic type

A barren extension

Formalizations of certain intermediate logics Part I

Problems in taxonomy, a floating log

Methods in Mathematical Logic - Lecture Notes in Mathematics
Latest Publications