Some highly undecidable lattices

DOI10.1016/0168-0072(90)90077-FMaRDI QIDQ584255zbMATH OpenOpenAlexFDO

Authors Menachem Migador, John W. Rosenthal, Matatyahu Rubin, Gabriel Srour

Publication date 1990

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(90)90077-f

zbMATH Keywords

first-order theoryalgebraically closed fieldlattice of algebraically closed subfieldslogical complexitySteinitz exchange system

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35)

Recommendations

• More undecidable lattices of Steinitz exchange systems
• Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
• Publication:4726298
• Some undecidability results for lattices in recursion theory
• The undecidability of the elementary theory of lattices of all equational theories of large signature

Cites work

• scientific article; zbMATH DE number 3578867 (Why is no real title available?)
• scientific article; zbMATH DE number 600607 (Why is no real title available?)
• scientific article; zbMATH DE number 3050844 (Why is no real title available?)
• Intersections of algebraically closed fields
• Some theories associated with algebraically closed fields

Cited in

(7)

• Elementary equivalence of infinite-dimensional classical groups
• Winter meeting of the Association for Symbolic Logic, San Antonio, 1993
• On ruled fields
• More undecidable lattices of Steinitz exchange systems
• Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures
• scientific article; zbMATH DE number 3999991 (Why is no real title available?)
• The undecidability of the elementary theory of lattices of all equational theories of large signature

This page was built for publication: Some highly undecidable lattices

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