Skip to main content
Toggle navigation
Browse
Browse
Archival descriptions
Authority records
Archival institutions
Functions
Subjects
Places
Digital objects
Search
Search options
Global search
Advanced search
Search in browse page
Clipboard
Clipboard
Clipboard
Clear all selections
Go to clipboard
Load clipboard
Save clipboard
Language
Language
Language
English
Français
Español
Nederlands
Português
Quick links
Quick links
Quick links
Home
About
Privacy Policy
Help
Log in
Have an account?
Email
*
This field is required.
Password
*
This field is required.
Log in
Michael Wright Collection
Subject of
Loading ...
01/06/05 Topos Theory Summer School, Haute Bodeux: Steve Awodey: Algebraic set theory / FW Lawvere: Topos theory, algebraic geometry, categories
02/06/05 Topos Theory Summer School, Haute Bodeux: Steve Awodey: 2nd talk / Peter Freyd: 2nd talk (incomplete)
02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: chit-chat pre- FW Lawvere talk / Hartry Field: Saving the truth schema from paradox (last part) / discussion / lunch conversations: FW Lawvere & S Awodey
02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: MW visit Musée de Lorraine / bar conversations: FW Lawvere / lunch conversations: S Awodey
02/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: MW visit Musée de Lorraine / bar conversations: FW Lawvere / lunch conversations: S Awodey
03/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: 3rd talk / 04/06/05 Peter Freyd: 3rd talk / Miles Tierney: 3rd talk / Steve Awodey: 3rd talk
03/06/05 Topos Theory Summer School, Haute Bodeux: FW Lawvere: 3rd talk / 04/06/05 Peter Freyd: 3rd talk / Miles Tierney: 3rd talk / Steve Awodey: 3rd talk (contd.)
03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: dinner conversations: FW Lawvere, S Awodey
03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Geoffrey Hellman: Does category theory provide a framework for mathematical structuralism? / Joseph Vidal-Rosset: Naturalizing mathematical existence / breaktime coversations G Hellman & S Awodey re. mereology & Godel
03/10/02 Philosophical Insights into Logic and Mathematics Intl. Symposium, Univ. de Nancy 2: Steve Awodey: Continuity & logical completeness in topos theoretic perspective / Karine Chemla: A conception of the foundations of maths in ancient Chinese commentators C1st - C13th / lunch conversations: FW Lawvere, S Awodey, E Landry & others
Results
1
to
10
of 40
of 4
Browse 40 results
Awodey, Steve
Authority record
Awodey, Steve
Identity area
Type of entity
Authorized form of name
Awodey, Steve
Parallel form(s) of name
Standardized form(s) of name according to other rules
Other form(s) of name
Identifiers for corporate bodies
Description area
Dates of existence
History
Places
Legal status
Functions, occupations and activities
Mandates/sources of authority
Internal structures/genealogy
General context
Relationships area
Access points area
Subject access points
Place access points
Occupations
Control area
Authority record identifier
Institution identifier
Rules and/or conventions used
Status
Level of detail
Dates of creation, revision and deletion
Language(s)
Script(s)
Sources
Maintenance notes
Clipboard
Add
Export
EAC
Related subjects
Related places