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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540057444, 9783540371625

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

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 ◽

Cited By ~ 25

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

Author(s):

A. R. D. Mathias

Download Full-text

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 ◽

Cited By ~ 14

Author(s):

Dov M. Gabbay

Keyword(s):

Interpolation Theorem ◽

Modal Logics ◽

Craig’S Interpolation Theorem

Download Full-text

On models of arithmetic

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

10.1007/bfb0059548 ◽

1972 ◽

pp. 251-280 ◽

Cited By ~ 2

Author(s):

J. B. Paris

Keyword(s):

Models Of Arithmetic

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 ◽

Cited By ~ 10

Author(s):

Peter Aczel ◽

Wayne Richter

Keyword(s):

Large Cardinals ◽

Inductive Definitions

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 ◽

Cited By ~ 2

Author(s):

Arnulf Hirschelmann

Keyword(s):

Polynomial Identities ◽

Prime Rings

Download Full-text

Some B. Russell's sprouts (1903 – 1908)

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

10.1007/bfb0059547 ◽

1972 ◽

pp. 211-250

Author(s):

J. M. B. Moss

Download Full-text

Logics containing S4 without the finite model property

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

10.1007/bfb0059539 ◽

1972 ◽

pp. 98-102 ◽

Cited By ~ 3

Author(s):

Kit Fine

Keyword(s):

Finite Model ◽

Model Property ◽

Finite Model Property

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Embedding nondistributive lattices in the recursively enumerable degrees

Direct powers with distinguished diagonal

Solution of problems of choquet and puritz

Compact injectives and Non-Standard Analysis

Craig's interpolation theorem for modal logics

On models of arithmetic

Inductive definitions and analogues of large cardinals

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

Some B. Russell's sprouts (1903 – 1908)

Logics containing S4 without the finite model property

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