Decidability of finite forcing companion

zbMath0735.03015MaRDI QIDQ1176006

Enshao Shen

Publication date: 25 June 1992

Published in: Chinese Science Bulletin (Search for Journal in Brave)

zbMATH Keywords

algorithmresultantsmodel-theoretic forcingfinite forcing companion

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Computable structure theory, computable model theory (03C57) Model-theoretic forcing (03C25)

This page was built for publication: Decidability of finite forcing companion