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

Download Full-text

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

Download Full-text

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

Download Full-text

STABLE THEORIES

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0021 ◽

2003 ◽

pp. 411-426

Author(s):

S. SHELAH

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

CATEGORICITY IN POWER

Mathematical Logic in the 20th Century ◽

10.1142/9789812564894_0014 ◽

2003 ◽

pp. 274-298

Author(s):

MICHAEL MORLEY

Download Full-text

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

Download Full-text