Back to Results
First PageMeta Content
Z notation / Urelements / Axioms of set theory / Zermelo–Fraenkel set theory / New Foundations / Axiom of choice / Von Neumann universe / Axiom of regularity / Large cardinal / Mathematical logic / Set theory / Mathematics


Document Date: 2007-11-15 13:55:59

Open Document

File Size: 206,07 KB

Share Result on Facebook

City

Redmond / /

Company

Russell / Microsoft / /

Country

United States / /

Facility

University of Michigan / /

IndustryTerm

computing / software specification languages / axiom systems / /

Organization

European Association for Theoretical Computer Science / University of Michigan / Ann Arbor / National Science Foundation / Yuri Gurevich2 Mathematics Department / /

Person

Randall Holmes / David Harel / Ashok Chandra / Boaz Trakhtenbrot / /

Position

mathematician / intuitive model for ZFC / /

ProvinceOrState

Newfoundland / Washington / Michigan / /

PublishedMedium

Theoretical Computer Science / the Bulletin / /

SocialTag