Some highly undecidable lattices

DOI10.1016/0168-0072(90)90077-FzbMath0693.03029OpenAlexW2035900838MaRDI QIDQ584255

John W. Rosenthal, Matatyahu Rubin, Menachem Migador, 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)

Related Items

Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 ⋮ Elementary equivalence of infinite-dimensional classical groups ⋮ More undecidable lattices of Steinitz exchange systems

Cites Work

• Intersections of algebraically closed fields
• Some theories associated with algebraically closed fields
• Unnamed Item
• Unnamed Item
• Unnamed Item