Automorphisms of substructure lattices in recursive algebra

DOI10.1016/0168-0072(83)90053-2MaRDI QIDQ1078171zbMATH OpenOpenAlexFDO

Authors David R. Guichard

Publication date 1983

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(83)90053-2

zbMATH Keywords

fully effective vector spacefree recursive Boolean algebralattice of recursively enumerable subalgebraslattice of recursively enumerable subspacesrecursive semilinear transformationssupermaximal subspaces

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
• The lattice of recursively enumerable substructures of an effective closure system
• scientific article; zbMATH DE number 4035813
• scientific article; zbMATH DE number 3914305
• scientific article; zbMATH DE number 4193662

Cites work

• scientific article; zbMATH DE number 3478856 (Why is no real title available?)
• scientific article; zbMATH DE number 3078149 (Why is no real title available?)
• Automorphisms of the Lattice of Recursively Enumerable Vector Spaces
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
• On r.e. and co-r.e. vector spaces with nonextendible bases
• Recursively enumerable vector spaces
• The Lattice of Subalgebras of a Boolean Algebra

Cited in

(22)

• Turing degrees and automorphism groups of substructure lattices
• scientific article; zbMATH DE number 4150125 (Why is no real title available?)
• Automorphisms of the lattice of \(\Pi_1^0\) classes; perfect thin classes and anc degrees
• scientific article; zbMATH DE number 3914305 (Why is no real title available?)
• 2005–06 Winter Meeting of the Association for Symbolic Logic
• Orbits of maximal vector spaces
• Recursion theory in a lower semilattice
• Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
• Recursive properties of relations on models
• The lattice of recursively enumerable substructures of an effective closure system
• A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
• Orbits of Creative Subspaces
• Quasi-simple relations in copies of a given recursive structure
• More undecidable lattices of Steinitz exchange systems
• The Lattice of Computably Enumerable Vector Spaces
• Extensions of certain partial automorphisms of \(\mathcal{L}^{\ast}(V_{\infty })\)
• scientific article; zbMATH DE number 1484314 (Why is no real title available?)
• Automorphisms and Recursive Structures
• Automorphisms of subword-posets
• A note on r-maximal subspaces of \(V_{\infty}\)
• Automorphisms of supermaximal subspaces
• HOMOGENEOUS BIJECTIONS THAT INDUCE AUTOMORPHISMS OF THE SUBMODULE LATTICE

This page was built for publication: Automorphisms of substructure lattices in recursive algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1078171)