scientific article; zbMATH DE number 3550924

zbMath0354.18010MaRDI QIDQ4124991

Lawrence Neff Stout

Publication date: 1976

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Special categories (18B99) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intuitionistic mathematics (03F55) Foundations, relations to logic and deductive systems (18A15) Nonstandard topology (54J05)

Related Items

On adjunctions between Lim, SL-Top, and SL-Lim, A survey of fuzzy set and topos theory, Foundations of fuzzy sets, Topoi and categories of fuzzy sets, Unnamed Item, Semicontinuous real numbers in a topos, A continuous, constructive solution to Hilbert's \(17^{th}\) problem

Cites Work

• Topological space objects in a topos. II: \(\varepsilon\)-completeness and \(\varepsilon\)-cocompleteness
• Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
• A proof of the independence of the continuum hypothesis
• On Constructive Fields
• Aspects of topoi
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item