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