Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers
From MaRDI portal
Publication:3753987
DOI10.1090/trans2/135/01zbMath0613.03008OpenAlexW4236823574MaRDI QIDQ3753987
Publication date: 1987
Published in: Six Papers in Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1090/trans2/135/01
Applications of logic to group theory (20A15) Classical first-order logic (03B10) Model theory of finite structures (03C13) Basic properties of first-order languages and structures (03C07) Categoricity and completeness of theories (03C35)
This page was built for publication: Solution of the problem of finite axiomatizability for theories that are categorical in all infinite powers