Browsing by Author "MARSHALL, MV"
Now showing 1 - 3 of 3
Results Per Page
Sort Options
- ItemHIGHER-ORDER REFLECTION PRINCIPLES(ASSN SYMBOLIC LOGIC INC, 1989) MARSHALL, MV
- ItemKELLEY-MORSE PLUS TYPES OF WELL ORDER IS NOT A CONSERVATIVE EXTENSION OF KELLEY-MORSE(1994) JUDAH, H; MARSHALL, MVAssuming 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.
- ItemSENTENCES OF TYPE THEORY - THE ONLY SENTENCES PRESERVED UNDER ISOMORPHISMS(CAMBRIDGE UNIV PRESS, 1991) MARSHALL, MV; CHUAQUI, R