The Theory of Models
Latest Publications

TOTAL DOCUMENTS

55

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By Elsevier

9780720422337

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

LIST OF PAPERS GROUPED BY SUBJECT MATTER

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50007-1 ◽

2014 ◽

pp. XI-XII

Keyword(s):

Subject Matter

Download Full-text

CONSTRUCTION OF A MODEL FOR GÖDEL–BERNAYS SET THEORY FOR WHICH THE CLASS OF NATURAL NUMBERS IS A SET OF THE MODEL AND A PROPER CLASS IN THE THEORY

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50052-6 ◽

2014 ◽

pp. 436-437 ◽

Cited By ~ 1

Author(s):

PETR VOPĚNKA

Keyword(s):

Set Theory ◽

Proper Class ◽

Natural Numbers

Download Full-text

ON MODELS OF ELEMENTARY ELLIPTIC GEOMETRY

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50035-6 ◽

2014 ◽

pp. 312-328

Author(s):

WOLFRAM SCHWABHÄUSER

Keyword(s):

Elliptic Geometry

Download Full-text

OMITTING CLASSES OF ELEMENTS

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50031-9 ◽

2014 ◽

pp. 265-273 ◽

Cited By ~ 11

Author(s):

MICHAEL MORLEY

Download Full-text

TOPICS IN THE THEORY OF DEFINITION

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50023-x ◽

2014 ◽

pp. 170-176

Author(s):

SIMON KOCHEN

Keyword(s):

Theory Of Definition

Download Full-text

FINITE APPROXIMATIONS OF INFINITELY LONG FORMULAS

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50022-8 ◽

2014 ◽

pp. 158-169 ◽

Cited By ~ 6

Author(s):

H. JEROME KEISLER

Keyword(s):

Finite Approximations

Download Full-text

SOME APPLICATIONS OF THE NOTIONS OF FORCING AND GENERIC SETS (SUMMARY)**Part of the research for the work presented here was supported by a grant from the U.S. Army Research Office DA-ARO(D)-31-124-G350. We are much indebted to Professor Dana Scott for various suggestions, as will be seen from the text. We also wish to thank him for his comments on a (somewhat expanded) draft of this paper.

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50016-2 ◽

2014 ◽

pp. 89-95

Author(s):

SOLOMON FEFERMAN

Keyword(s):

Research Office ◽

The U.S

Download Full-text

COMBINATORIAL THEOREMS FOR THE CONSTRUCTION OF MODELS**These results were obtained while the author was working on a research project in the foundations of mathematics at the University of California, Berkeley, U.S. National Science Foundation Grant G-19673.

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50015-0 ◽

2014 ◽

pp. 77-88

Author(s):

ERWIN ENGELER

Keyword(s):

National Science Foundation ◽

University Of California ◽

Foundations Of Mathematics ◽

National Science Foundation Grant ◽

Research Project ◽

National Science ◽

The University

Download Full-text

THE METHOD OF ALTERNATING CHAINS**This research was supported in part by the U.S. National Science Foundation under Grant GP-1842.

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50009-5 ◽

2014 ◽

pp. 1-16

Author(s):

J.W. ADDISON

Keyword(s):

National Science Foundation ◽

National Science ◽

The U.S

Download Full-text

Dedication

The Theory of Models ◽

10.1016/b978-0-7204-2233-7.50002-2 ◽

2014 ◽

pp. II

Download Full-text