scientific article; zbMATH DE number 1795224
From MaRDI portal
Publication:4552745
zbMath1010.03058MaRDI QIDQ4552745
Publication date: 12 May 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
constructive mathematicsnonstandard analysissheavesLoeb measureconstructive metatheoryweak principle of omniscience
Categorical logic, topoi (03G30) Other constructive mathematics (03F65) Nonstandard models in mathematics (03H05)
Related Items (4)
Unnamed Item ⋮ Ultrapowers as sheaves on a category of ultrafilters ⋮ Ultrasheaves and double negation ⋮ Non-standard analysis in dynamic geometry
This page was built for publication:
