Logic Year 1979–80 - Lecture Notes in Mathematics
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540107088, 9783540386735

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

QE rings in characteristic p

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090936 ◽

1981 ◽

pp. 16-31

Author(s):

C. Berline ◽

G. Cherlin

Keyword(s):

Characteristic P

Download Full-text

High recursively enumerable degrees and the anti-cupping property

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090950 ◽

1981 ◽

pp. 230-245 ◽

Author(s):

David P. Miller

Keyword(s):

Recursively Enumerable

Download Full-text

Some decision problems for subtheories of two-dimensional partial orderings

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090948 ◽

1981 ◽

pp. 202-214

Author(s):

A. B. Manaster ◽

J. B. Remmel

Keyword(s):

Decision Problems ◽

Two Dimensional ◽

Partial Orderings

Download Full-text

Constructive and recursive scattered order types

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090955 ◽

1981 ◽

pp. 312-326 ◽

Author(s):

Richard Watnick

Keyword(s):

Download Full-text

Elementary theory of automorphism groups of doubly homogeneous chains

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090940 ◽

1981 ◽

pp. 67-82 ◽

Author(s):

A. M. W. Glass ◽

Yuni Gurevich ◽

W. Charles Holland ◽

Michèle Jambu-Giraudet

Keyword(s):

Automorphism Groups ◽

Elementary Theory

Download Full-text

Three easy constructions of recursively enumerable sets

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090941 ◽

1981 ◽

pp. 83-91 ◽

Author(s):

Carl G. Jockusch

Keyword(s):

Recursively Enumerable ◽

Recursively Enumerable Sets

Download Full-text

The topos of types

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090947 ◽

1981 ◽

pp. 157-201 ◽

Author(s):

M. Makkai

Download Full-text

-Elementarily equivalent models of power ω1

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090944 ◽

1981 ◽

pp. 120-131 ◽

Author(s):

David W. Kueker

Keyword(s):

Equivalent Models

Download Full-text

On the Grilliot-Harrington-MacQueen theorem

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090951 ◽

1981 ◽

pp. 246-267

Author(s):

Yiannis N. Moschovakis

Download Full-text

Model theoretic characterizations in generalized recursion theory

Logic Year 1979–80 - Lecture Notes in Mathematics ◽

10.1007/bfb0090943 ◽

1981 ◽

pp. 104-119

Author(s):

Phokion G. Kolaitis

Keyword(s):

Recursion Theory

Download Full-text