scientific article; zbMATH DE number 3563347

zbMATH Open0362.18001MaRDI QIDQ4135737FDOQ4135737

Authors: Gerhard Osius 

Publication date: 1974

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1974__15_2_157_0

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Special categories (18B99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Foundations, relations to logic and deductive systems (18A15) General logic (03B99) Set theory (03E99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Categorical set theory: A characterization of the category of sets
• Boolean topoi and the theory of sets
• Aspects of topoi
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Logic in category theory
• Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4135737)