𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Automorphisms of the Lattice of Recursively Enumerable Vector Spaces

✍ Scribed by Iraj Kalantari


Publisher
John Wiley and Sons
Year
1979
Tongue
English
Weight
910 KB
Volume
25
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


AUTOMORPHISMS O F THE LATTICE OF RECURSIVELY ENUMERABLE VECTOR SPACES by IRAJ KALANTARI in Macomb, Illinois (U.S.A. ) l ) I ) This paper forms a part of the author's dissertation. We would like to acknowledge valuable discussions with GEORGE METAKIDES, ANU NERODE, ALLEN RETZLAFF and RICHARD SHORE. Re are also thankful to the referee for his helpfnl comments, suggestions and for his detect ions of many misprints.


πŸ“œ SIMILAR VOLUMES


The Index Set of Injectively Enumerable
✍ Stephan Wehner πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 372 KB

## Abstract I introduce an effective enumeration of all effective enumerations of classes of r. e. sets and define with this the index set __IE__ of injectively enumerable classes. It is easy to see that this set is βˆ‘~5~ in the Arithmetical Hierarchy and I describe a proof for the βˆ‘~5~‐hardness of

Effective Extensions of Linear Forms on
✍ R. G. Downey; Iraj Kalantari πŸ“‚ Article πŸ“… 1985 πŸ› John Wiley and Sons 🌐 English βš– 491 KB πŸ‘ 1 views

## 51. Introduction In recent years. many authors have become reinterested in uhat is called the effective co?ste?it of various mat>hematical systems. That is. authors tend t'o ask questions such as "if we give a structure certain effectivity (identified here as "recursive") conditions \\hat other

The lattice automorphisms of the dominan
✍ Rodica Simion πŸ“‚ Article πŸ“… 1984 πŸ› Elsevier Science 🌐 English βš– 180 KB

In this paper it is shown that the lattice/\_~ of partitions of n under the dominance ordering is totally asymmetric, except for the cases n = 6 and 7 where the automorphism group is Z2XZ 2. As a consequence, partition conjugation is the only antiautomorphism of/\_~ if n ~ 6, 7. L 6 and L 7 the aut