KELLEY-MORSE PLUS TYPES OF WELL ORDER IS NOT A CONSERVATIVE EXTENSION OF KELLEY-MORSE

Simple item page
dc.contributor.authorJUDAH, H
dc.contributor.authorMARSHALL, MV
dc.date.accessioned2025-01-21T01:35:41Z
dc.date.available2025-01-21T01:35:41Z
dc.date.issued1994
dc.description.abstractAssuming the consistency of ZF + ''There is an inaccessible number of inaccessibles'', we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.
dc.fuente.origenWOS
dc.identifier.eissn1432-0665
dc.identifier.issn0933-5846
dc.identifier.urihttps://repositorio.uc.cl/handle/11534/97709
dc.identifier.wosidWOS:A1994ND43100002
dc.issue.numero1
dc.language.isoen
dc.pagina.final21
dc.pagina.inicio13
dc.revistaArchive for mathematical logic
dc.rightsacceso restringido
dc.titleKELLEY-MORSE PLUS TYPES OF WELL ORDER IS NOT A CONSERVATIVE EXTENSION OF KELLEY-MORSE
dc.typeartículo
dc.volumen33
sipa.indexWOS
sipa.trazabilidadWOS;2025-01-12
Files
Collections
Artículos de revistas