Automorphisms definable by formulas

DOI10.2140/pjm.1973.44.107zbMath0241.02021OpenAlexW1991927536MaRDI QIDQ2553359

J. R. Grant

Publication date: 1973

Published in: Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2140/pjm.1973.44.107

Mathematics Subject Classification ID

Model theory (03C99) Automorphisms of infinite groups (20E36) Classical first-order logic (03B10) Other infinitary logic (03C75) Algebraic structures (08Axx)

Related Items (2)

Parametric groups of definable automorphisms of strongly constructive models ⋮ ZF and Boolean algebra

This page was built for publication: Automorphisms definable by formulas