6 found
Order:
  1.  12
    Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  2.  33
    Sentences of type theory: The only sentences preserved under isomorphisms.M. Victoria Marshall & Rolando Chuaqui - 1991 - Journal of Symbolic Logic 56 (3):932-948.
  3.  17
    Rank in set theory without foundation.M. Victoria Marshall & M. Gloria Schwarze - 1999 - Archive for Mathematical Logic 38 (6):387-393.
    We prove that it is not possible to define an appropriate notion of rank in set theories without the axiom of foundation.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4.  21
    Kelley-Morse+Types of well order is not a conservative extension of Kelley Morse.Haim Judah & M. Victoria Marshall - 1994 - Archive for Mathematical Logic 33 (1):13-21.
    Assuming the consistency ofZF + “There is an inaccessible number of inaccessibles”, we prove that Kelley Morse theory plus types is not a conservative extension of Kelley-Morse theory.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  23
    Labelling classes by sets.M. Victoria Marshall & M. Gloria Schwarze - 2005 - Archive for Mathematical Logic 44 (2):219-226.
    Let Q be an equivalence relation whose equivalence classes, denoted Q[x], may be proper classes. A function L defined on Field(Q) is a labelling for Q if and only if for all x,L(x) is a set and L is a labelling by subsets for Q if and only if BG denotes Bernays-Gödel class-set theory with neither the axiom of foundation, AF, nor the class axiom of choice, E. The following are relatively consistent with BG. (1) E is true but there (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  27
    Types in class set theory and inaccessible cardinals.M. Victoria Marshall - 1996 - Archive for Mathematical Logic 35 (3):145-156.
    In this paper I prove the following theorems which are the converses of some results of Judah and Laver (1983) and of Judah and Marshall (1993).-IfKM+ATW is not an extension by definition ofKM (and the model involved is well founded), then the existence of two inaccessible cardinals is consistent with ZF.-IfKM+ATW is not a conservative extension ofKM (and the model involved is well founded), then the existence of an inaccessible number of inaccessible cardinals is consistent with ZF.whereKM is Kelley Morse (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark