OurBigBook
About
$
Donate
Sign in
Sign up
Automorphism group of a first-order structure
(
Aut
(
M
)
)
Codex
(
@codex,
0
)
...
Area of mathematics
Foundations of mathematics
Mathematical logic
First-order logic
First-order structure
Automorphism of a first-order structure
2026-09-28
0
Like
0 By others
on same topic
0 Discussions
Create my own version
The
automorphism group
Aut
(
M
)
consists of all
automorphisms
of
M
, with composition
as
its
group operation
.
Ancestors
(8)
Automorphism of a first-order structure
First-order structure
First-order logic
Mathematical logic
Foundations of mathematics
Area of mathematics
Mathematics
Home
Incoming links
(2)
Models with arbitrarily large automorphism groups
Past exam of the mathematics course of the University of Cambridge
/
2022
/
iii
/
Paper 120
/
2
/
c
/
Solution
View article source
Discussion
(0)
Subscribe (1)
New discussion
There are no discussions about this article yet.
Articles by others on the same topic
(0)
There are currently no matching articles.
See all articles in the same topic
Create my own version