Nonstandard Models Of Arithmetic And Set Theory: AMS Special by Ali Enayat, Roman Kossak

By Ali Enayat, Roman Kossak

This is often the lawsuits of the AMS specified consultation on nonstandard versions of mathematics and set concept held on the Joint arithmetic conferences in Baltimore (MD). the amount opens with an essay from Haim Gaifman that probes the concept that of nonstandardness in arithmetic and offers a desirable mixture of ancient and philosophical insights into the character of nonstandard mathematical constructions. particularly, Gaifman compares and contrasts the invention of nonstandard types with different key mathematical thoughts, comparable to the creation of assorted quantity structures, the trendy inspiration of functionality, and non-Euclidean geometries. different articles within the e-book current effects relating to nonstandard types in mathematics and set concept, together with a survey of recognized effects at the Turing higher bounds of mathematics units and services. the quantity is acceptable for graduate scholars and examine mathematicians drawn to good judgment, specially version conception

Show description

Read or Download Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland PDF

Best pure mathematics books

Fractals, Scaling and Growth Far From Equilibrium

This ebook describes the growth that has been made towards the advance of a entire figuring out of the formation of advanced, disorderly styles lower than faraway from equilibrium stipulations. It describes the applying of fractal geometry and scaling thoughts to the quantitative description and realizing of constitution shaped less than nonequilibrium stipulations.

Introduction to the Theory of Sets

Set idea permeates a lot of latest mathematical inspiration. this article for undergraduates deals a common creation, constructing the topic via observations of the actual international. Its innovative improvement leads from finite units to cardinal numbers, limitless cardinals, and ordinals. workouts look in the course of the textual content, with solutions on the finish.

Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

This is often the complaints of the AMS specified consultation on nonstandard types of mathematics and set concept held on the Joint arithmetic conferences in Baltimore (MD). the quantity opens with an essay from Haim Gaifman that probes the concept that of nonstandardness in arithmetic and offers a desirable mixture of ancient and philosophical insights into the character of nonstandard mathematical constructions.

Extra resources for Nonstandard Models Of Arithmetic And Set Theory: AMS Special Session Nonstandard Models Of Arithmetic And Set Theory, January 15-16, 2003, Baltimore, Maryland

Example text

38 2. GROUPS AND SYMMETRY oo ooo o o oU o ooo ooo o o o o o o W ‚oo‚o‚ (1/2)v ooo ‚‚‚ o‚o‚o‚ ‚‚A ‚‚‚ ‚‚‚ (1/2)u ‚‚‚ ‚‚‚ ‚ Such a fundamental region F is useful because the position vector p every point in the plane can be uniquely expressed in the form p = p + mu + nv for some point p ∈ F and m, n ∈ Z. This allows us to tile the plane with copies of a figure located within a fundamental region. 7 is obtained ♣ ♦ contained in the by translating (using vectors mu + nv for (m, n ∈ Z)) the pattern ♥ ♠ fundamental region {su + tv : −1/2 s < 1/2, −1/2 t < 1/2} to tile the whole plane.

5. 6. Hexagonal lattice with W at one of the vertices where W has position vector w + u + v; this is the subset {w + su + tv : 0 s < 1, 0 t < 1} ⊆ R2 . An alternative is the fundamental region centred at W , {w + su + tv : −1/2 s < 1/2, −1/2 t < 1/2} ⊆ R2 . 38 2. GROUPS AND SYMMETRY oo ooo o o oU o ooo ooo o o o o o o W ‚oo‚o‚ (1/2)v ooo ‚‚‚ o‚o‚o‚ ‚‚A ‚‚‚ ‚‚‚ (1/2)u ‚‚‚ ‚‚‚ ‚ Such a fundamental region F is useful because the position vector p every point in the plane can be uniquely expressed in the form p = p + mu + nv for some point p ∈ F and m, n ∈ Z.

The fundamental region has a half rotation symmetry, so the holohedry group is {(I | 0), (−I | 0)}. 40 2. 11. 12. 13. pgm The full symmetry group is {(I | mu + nv) : m, n ∈ Z} ∪ {(−I | mu + nv) : m, n ∈ Z} 8. 14. 15. cm which consists of the translations together with half rotations about the points mu + nv, (m + 1/2)u + nv, mu + (n + 1/2)v, (m + 1/2)u + (n + 1/2)v (m, n ∈ Z). Pattern pm. The fundamental region has a reflection in the x-axis, so the holohedry group is {(I | 0), (Sx | 0)}, 1 0 where Sx = .

Download PDF sample

Rated 4.87 of 5 – based on 50 votes