Finitely axiomatizable theories

DOI10.1090/TRANS2/147/02zbMath0722.03032OpenAlexW4251004333MaRDI QIDQ5753944

Mikhaĭl G. Peretyat'kin

Publication date: 1990

Published in: Nine Papers from the International Congress of Mathematicians 1986 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/trans2/147/02

zbMATH Keywords

constructibilityprime modelsarithmetical complexityfinitely axiomatizable theoryconstructible modelsLindenbaum algebras

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Computable structure theory, computable model theory (03C57)

This page was built for publication: Finitely axiomatizable theories