A question posed by Bergstra and Tiuryn

DOI10.1007/BF01982130zbMath0628.03018OpenAlexW2019358852MaRDI QIDQ1092893

Andrey S. Morozov

Publication date: 1986

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01982130

zbMATH Keywords

finite forcinglogic of effective definitionsalgebra without proper subalgebrasconstructible algebras

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Computable structure theory, computable model theory (03C57) Model-theoretic forcing (03C25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A question posed by Bergstra and Tiuryn