1: \begin{abstract}

2: Among the properties of homogeneity of incidence structures

3: flag-transitivity obviously is a particularly important and natural

4: one. Consequently, in the last decades flag-transitive Steiner

5: \mbox{$t$-designs} (i.e. flag-transitive $t$-$(v,k,1)$ designs) have

6: been investigated, whereas only by the use of the classification of

7: the finite simple groups  has it been possible in recent years to

8: essentially characterize all flag-transitive Steiner

9: \mbox{$2$-designs}. However, despite the finite simple group

10: classification, for Steiner \mbox{$t$-designs} with parameters $t>2$

11: such characterizations have remained challenging open problems for

12: about 40 years (cf.~\cite[p.\,147]{Del1992}

13: and~\cite[p.\,273]{Del1995}, but presumably dating back to around

14: 1965). The object of the present paper is to give a complete

15: classification of all flag-transitive Steiner \mbox{$4$-designs}.

16: Our result relies on the classification of the finite doubly

17: transitive permutation groups and is a continuation of the author's

18: work~\cite{Hu2001,Hu2005} on the classification of all

19: flag-transitive Steiner \mbox{$3$-designs}.

20: \end{abstract}

21: