On the conservativity of the axiom of choice over set theory

Archive for Mathematical Logic 50 (7-8):777-790 (2011)

We show that for various set theories T including ZF, T + AC is conservative over T for sentences of the form ${\forall x \exists ! y}$ A(x, y) where A(x, y) is a Δ0 formula
Keywords Axiom of choice  Conservativity  Forcing
Categories (categorize this paper)
DOI 10.1007/s00153-011-0248-5
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,283
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Admissible Sets and Structures.Jon Barwise - 1978 - Studia Logica 37 (3):297-299.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
15 ( #557,552 of 2,269,786 )

Recent downloads (6 months)
3 ( #422,367 of 2,269,786 )

How can I increase my downloads?


My notes

Sign in to use this feature