The automorphism group of a resplendent model
From MaRDI portal
Publication:453194
DOI10.1007/s00153-012-0288-5zbMath1251.03039arXiv1112.4370MaRDI QIDQ453194
Publication date: 18 September 2012
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1112.4370
03B25: Decidability of theories and sets of sentences
20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
03C50: Models with special properties (saturated, rigid, etc.)
Related Items
Cites Work