HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY |
scientific article |
Statements
HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (English)
0 references
18 March 2016
0 references
geometry
0 references
Tarski
0 references
Euclid
0 references
Herbrand's theorem
0 references
parallel postulate
0 references