Back to Results
First PageMeta Content
Model theory / Z notation / Predicate logic / Sheaf theory / Topos / Axiom schema of replacement / Constructive set theory / First-order logic / Zermelo–Fraenkel set theory / Mathematical logic / Logic / Mathematics


The Bulletin of Symbolic Logic Volume 13, Number 3, Sept[removed]RELATING FIRST-ORDER SET THEORIES AND ELEMENTARY TOPOSES
Add to Reading List

Document Date: 2014-06-01 15:27:23

Open Document

File Size: 400,50 KB

Share Result on Facebook

City

BIST / /

Currency

USD / /

IndustryTerm

machinery / potential applications / notational devices / mathematical applications / equivalent machinery / /

Organization

Association for Symbolic Logic / /

Person

Nat / CARSTEN BUTZ / STEVE AWODEY / THOMAS STREICHER / ALEX SIMPSON / /

ProvinceOrState

Indiana / Delaware / /

URL

http /

SocialTag