Mathematical Logic in the 20th Century
Latest Publications

TOTAL DOCUMENTS

33

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By CO-PUBLISHED WITH SINGAPORE UNIVERSITY PRESS

9789810247362, 9789812564894

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

RECURSIVELY ENUMERABLE SETS OF POSITIVE INTEGERS AND THEIR DECISION PROBLEMS

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0017 ◽

2003 ◽

pp. 352-384

Author(s):

EMIL L. POST

Keyword(s):

Decision Problems ◽

Recursively Enumerable ◽

Recursively Enumerable Sets ◽

Positive Integers

Automorphisms of the lattice of recursively enumerable sets Part I: Maximal sets

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0024 ◽

2003 ◽

pp. 439-479

Author(s):

ROBERT I. SOARE

Keyword(s):

Recursively Enumerable ◽

Recursively Enumerable Sets

On the Singular Cardinals Problem

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0023 ◽

2003 ◽

pp. 435-438

Author(s):

Jack Silver

Keyword(s):

Singular Cardinals

STABLE THEORIES

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0021 ◽

2003 ◽

pp. 411-426

Author(s):

S. SHELAH

SOLUTION OF POST'S REDUCTION PROBLEM AND SOME OTHER PROBLEMS OF THE THEORY OF ALGORITHMS. I.

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0016 ◽

2003 ◽

pp. 333-351

Author(s):

A. A. MUČNIK

Keyword(s):

Reduction Problem

MODEL-THEORETIC INVARIANTS: APPLICATIONS TO RECURSIVE AND HYPERARITHMETIC OPERATIONS

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0009 ◽

2003 ◽

pp. 137-152

Author(s):

G. KREISEL

Denumerable models of complete theories

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0028 ◽

2003 ◽

pp. 609-627

Author(s):

R. L. VAUGHT

Keyword(s):

Complete Theories

NON-STANDARD ANALYSIS

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0018 ◽

2003 ◽

pp. 385-393 ◽

Cited By ~ 1

Author(s):

ABRAHAM ROBINSON

Keyword(s):

Standard Analysis ◽

Non Standard Analysis

CATEGORICITY IN POWER

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0014 ◽

2003 ◽

pp. 274-298

Author(s):

MICHAEL MORLEY

THREE THEOREMS ON RECURSIVE ENUMERATION.: I. DECOMPOSITION. II. MAXIMAL SET. III. ENUMERATION WITHOUT DUPLICATION

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0004 ◽

2003 ◽

pp. 41-48

Author(s):

RICHARD M. FRIEDBERG