scientific article
From MaRDI portal
zbMath0463.18001MaRDI QIDQ3913562
Publication date: 1981
algebraic closureSkolemizationcategory of algebraically closed fields of given characteristic, with monomorphismscategory of linearly-ordered sets with order monomorphismscategory of sets with injections
Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Recursive equivalence types of sets and structures, isols (03D50) Categories of sets, characterizations (18B05) Foundations, relations to logic and deductive systems (18A15)
Related Items