Variants of the axiom of choice in the simple theory of types

DOI10.1007/BF01708845zbMath0508.03024WikidataQ114693797 ScholiaQ114693797MaRDI QIDQ1837680

A. M. Yakubovich

Publication date: 1981

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

independence resultsaxiom of choicesimple theory of types

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Cites Work

• Lectures in set theory with particular emphasis on the method of forcing

This page was built for publication: Variants of the axiom of choice in the simple theory of types