Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70
Latest Publications

TOTAL DOCUMENTS

18

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540057444, 9783540371625

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Compact injectives and Non-Standard Analysis

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059535 ◽

1972 ◽

pp. 10-28

Author(s):

Paul D. Bacsich

Keyword(s):

Standard Analysis ◽

Non Standard Analysis

Download Full-text

Craig's interpolation theorem for modal logics

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059541 ◽

1972 ◽

pp. 111-127 ◽

Author(s):

Dov M. Gabbay

Keyword(s):

Interpolation Theorem ◽

Modal Logics ◽

Craig’S Interpolation Theorem

Download Full-text

Embedding nondistributive lattices in the recursively enumerable degrees

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059544 ◽

1972 ◽

pp. 149-177 ◽

Author(s):

A. H. Lachlan

Keyword(s):

Recursively Enumerable

Download Full-text

Direct powers with distinguished diagonal

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059545 ◽

1972 ◽

pp. 178-203 ◽

Author(s):

Angus Macintyre

Download Full-text

Solution of problems of choquet and puritz

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059546 ◽

1972 ◽

pp. 204-210 ◽

Author(s):

A. R. D. Mathias

Download Full-text

Inductive definitions and analogues of large cardinals

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059534 ◽

1972 ◽

pp. 1-9 ◽

Author(s):

Peter Aczel ◽

Wayne Richter

Keyword(s):

Large Cardinals ◽

Inductive Definitions

Download Full-text

On models of arithmetic

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059548 ◽

1972 ◽

pp. 251-280 ◽

Author(s):

J. B. Paris

Keyword(s):

Models Of Arithmetic

Download Full-text

An ε-calculus system for first-order S4

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059540 ◽

1972 ◽

pp. 103-110 ◽

Author(s):

Melvin Fitting

Keyword(s):

Download Full-text

Initial segments and implications for the structure of degrees

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059550 ◽

1972 ◽

pp. 305-335 ◽

Author(s):

C. E. M. Yates

Download Full-text

An application of ultra-products to prime rings with polynomial identities

Lecture Notes in Mathematics - Conference in Mathematical Logic — London ’70 ◽

10.1007/bfb0059543 ◽

1972 ◽

pp. 145-148 ◽

Author(s):

Arnulf Hirschelmann

Keyword(s):

Polynomial Identities ◽

Download Full-text