The Lattice of Computably Enumerable Vector Spaces (Q2970969): Difference between revisions

@@ Property / author @@
+Valentina S. Harizanov
@@ Property / author: Valentina S. Harizanov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-50062-1_23
+Normal rank
@@ Property / OpenAlex ID @@
+W2557840999
@@ Property / OpenAlex ID: W2557840999 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial theory.
@@ Property / cites work: Combinatorial theory. / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-simple relations in copies of a given recursive structure
+Normal rank
@@ Property / cites work @@
+Decidable subspaces and recursively enumerable subspaces
+Normal rank
@@ Property / cites work @@
+Countable vector spaces with recursive operations Part I<sup>1</sup>
+Normal rank
@@ Property / cites work @@
+Quasimaximality and principal filters isomorphism between \({\mathcal E}^*\) and \({\mathcal L}^*(V_\infty)\)
+Normal rank
@@ Property / cites work @@
+A class of \(\Sigma_{3}^{0}\) modular lattices embeddable as principal filters in \({\mathcal L}^*(V_\infty)\)
+Normal rank
@@ Property / cites work @@
+Dependence relations in computably rigid computable vector spaces
+Normal rank
@@ Property / cites work @@
+Isomorphisms of Non-Standard Fields and Ash’s Conjecture
+Normal rank
@@ Property / cites work @@
+Automorphism Groups of Substructure Lattices of Vector Spaces in Computable Algebra
+Normal rank
@@ Property / cites work @@
+ON A QUESTION OF A. RETZLAFF
@@ Property / cites work: ON A QUESTION OF A. RETZLAFF / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041179
@@ Property / cites work: Q3041179 / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of supermaximal subspaces and Steinitz systems. I
+Normal rank
@@ Property / cites work @@
+A NOTE ON DECOMPOSITIONS OF RECURSIVELY ENUMERABLE SUBSPACES
+Normal rank
@@ Property / cites work @@
+Co-immune subspaces and complementation in<i>V</i><sub>∞</sub>
+Normal rank
@@ Property / cites work @@
+The Degrees of R.E. Sets Without the Universal Splitting Property
+Normal rank
@@ Property / cites work @@
+Automorphisms of supermaximal subspaces
@@ Property / cites work: Automorphisms of supermaximal subspaces / rank @@
+Normal rank
@@ Property / cites work @@
+Bases of Supermaximal Subspaces and Steinitz Systems II
+Normal rank
@@ Property / cites work @@
+Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
+Normal rank
@@ Property / cites work @@
+Maximal theories
@@ Property / cites work: Maximal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Orbits of Creative Subspaces
@@ Property / cites work: Orbits of Creative Subspaces / rank @@
+Normal rank
@@ Property / cites work @@
+Correction to ``Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures''
+Normal rank
@@ Property / cites work @@
+On the Universal Splitting Property
@@ Property / cites work: On the Universal Splitting Property / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249725
@@ Property / cites work: Q4249725 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms and Recursive Structures
@@ Property / cites work: Automorphisms and Recursive Structures / rank @@
+Normal rank
@@ Property / cites work @@
+More undecidable lattices of Steinitz exchange systems
+Normal rank
@@ Property / cites work @@
+Automorphisms of substructure lattices in recursive algebra
+Normal rank
@@ Property / cites work @@
+A note on r-maximal subspaces of \(V_{\infty}\)
@@ Property / cites work: A note on r-maximal subspaces of \(V_{\infty}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive properties of relations on models
@@ Property / cites work: Recursive properties of relations on models / rank @@
+Normal rank
@@ Property / cites work @@
+Models of arithmetic and recursive functions
@@ Property / cites work: Models of arithmetic and recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing, arithmetic, division rings
@@ Property / cites work: Forcing, arithmetic, division rings / rank @@
+Normal rank
@@ Property / cites work @@
+Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of recursively enumerable sets which have no maximal supersets
+Normal rank
@@ Property / cites work @@
+Sub-arithmetical ultrapowers: A survey
@@ Property / cites work: Sub-arithmetical ultrapowers: A survey / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Delta_{1}\) ultrapowers are totally rigid
@@ Property / cites work: \(\Delta_{1}\) ultrapowers are totally rigid / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable vector spaces
@@ Property / cites work: Recursively enumerable vector spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Rigid constructive modules
@@ Property / cites work: Rigid constructive modules / rank @@
+Normal rank
@@ Property / cites work @@
+Turing reducibility as algebraic embeddability
@@ Property / cites work: Turing reducibility as algebraic embeddability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249363
@@ Property / cites work: Q4249363 / rank @@
+Normal rank
@@ Property / cites work @@
+Permutations and implicit definability
@@ Property / cites work: Permutations and implicit definability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3041178
@@ Property / cites work: Q3041178 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3690803
@@ Property / cites work: Q3690803 / rank @@
+Normal rank
@@ Property / cites work @@
+Determining Automorphisms of the Recursively Enumerable Sets
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank