The 'World's Simplest Axiom of Choice' Fails.
Manuscripta mathematica (1982)
- Volume: 38, page 325-332
- ISSN: 0025-2611; 1432-1785/e
Access Full Article
top
How to cite
topFourman, M.P., and Scedrov, A.. "The "World's Simplest Axiom of Choice" Fails.." Manuscripta mathematica 38 (1982): 325-332. <http://eudml.org/doc/154862>.
@article{Fourman1982,
author = {Fourman, M.P., Scedrov, A.},
journal = {Manuscripta mathematica},
keywords = {intuitionistic set theory with countable or dependent choice; field extension; choice of roots; generic model; choice function; forcing over categories; intuitionistic ZF; presheaf topos},
pages = {325-332},
title = {The "World's Simplest Axiom of Choice" Fails.},
url = {http://eudml.org/doc/154862},
volume = {38},
year = {1982},
}
TY - JOUR
AU - Fourman, M.P.
AU - Scedrov, A.
TI - The "World's Simplest Axiom of Choice" Fails.
JO - Manuscripta mathematica
PY - 1982
VL - 38
SP - 325
EP - 332
KW - intuitionistic set theory with countable or dependent choice; field extension; choice of roots; generic model; choice function; forcing over categories; intuitionistic ZF; presheaf topos
UR - http://eudml.org/doc/154862
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.