Concepedia

Recursive properties of relations on models

Geoffrey R. Hird

Annals of Pure and Applied Logic · 1993 · 21 citations · 13 references

DOI

Concepts

References

13

The first order properties of products of algebraic systems

Solomon Feferman, Robertl. Vaught · Fundamenta Mathematicae · 1959 · 488 citations · Full text

, , +8

Effective content of field theory

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1979 · 141 citations

, , +8

Recursively enumerable vector spaces

G. Metakides, Anil Nerode · Annals of Mathematical Logic · 1977 · 136 citations

, , +12

Recursive isomorphism types of recursive Boolean algebras

Jeffrey B. Remmel · Journal of Symbolic Logic · 1981 · 96 citations

, , +14

Automorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal Sets

Robert I. Soare · Annals of Mathematics · 1974 · 92 citations

, , +15