The ''World's simplest axiom of choice'' fails
type: Item
instance of: scholarly article
title: The ''World's simplest axiom of choice'' fails
zbMATH Open document ID: 0499.03048
DOI: 10.1007/BF01170929
published in: Manuscripta Mathematica
publication date: 1982-01-01T00:00:00Z
full work available at URL: https://eudml.org/doc/154862
Mathematics Subject Classification ID: 03G30
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 3786778
zbMATH Keywords: intuitionistic set theory with countable or dependent choice
zbMATH Keywords: field extension
zbMATH Keywords: choice of roots
zbMATH Keywords: generic model
zbMATH Keywords: choice function
zbMATH Keywords: forcing over categories
zbMATH Keywords: intuitionistic ZF
zbMATH Keywords: presheaf topos
Wikidata QID: Q56533635
author: Michael Paul Fourman
author: Andre Scedrov
describes a project that uses: KRIPKE
MaRDI profile type: Publication
cites work: Q4133603
cites work: Sheaf models for set theory
cites work: Q3322099
cites work: Q3863865
cites work: Q3050433
cites work: The axiom of choice
cites work: Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
cites work: Q4693151
cites work: First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
cites work: Q4117991
description: scientific article; zbMATH DE number 3786778