Inaccessible cardinals without the axiom of choice

Andreas Blass; Ioanna M. Dimitriou; Benedikt Löwe

Fundamenta Mathematicae (2007)

  • Volume: 194, Issue: 2, page 179-189
  • ISSN: 0016-2736

Abstract

top
We consider four notions of strong inaccessibility that are equivalent in ZFC and show that they are not equivalent in ZF.

How to cite

top

Andreas Blass, Ioanna M. Dimitriou, and Benedikt Löwe. "Inaccessible cardinals without the axiom of choice." Fundamenta Mathematicae 194.2 (2007): 179-189. <http://eudml.org/doc/282753>.

@article{AndreasBlass2007,
abstract = {We consider four notions of strong inaccessibility that are equivalent in ZFC and show that they are not equivalent in ZF.},
author = {Andreas Blass, Ioanna M. Dimitriou, Benedikt Löwe},
journal = {Fundamenta Mathematicae},
keywords = {inaccessible cardinal; axiom of choice; strong inaccessibility},
language = {eng},
number = {2},
pages = {179-189},
title = {Inaccessible cardinals without the axiom of choice},
url = {http://eudml.org/doc/282753},
volume = {194},
year = {2007},
}

TY - JOUR
AU - Andreas Blass
AU - Ioanna M. Dimitriou
AU - Benedikt Löwe
TI - Inaccessible cardinals without the axiom of choice
JO - Fundamenta Mathematicae
PY - 2007
VL - 194
IS - 2
SP - 179
EP - 189
AB - We consider four notions of strong inaccessibility that are equivalent in ZFC and show that they are not equivalent in ZF.
LA - eng
KW - inaccessible cardinal; axiom of choice; strong inaccessibility
UR - http://eudml.org/doc/282753
ER -

NotesEmbed ?

top

You 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.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.