logo
Semantic Analysis of some Variants of Anderson-like Ontological Proofs
The Structure of the Ordinals and the Interpretation of ZF in Double Extension Set Theory
The Undecidability of Iterated Modal Relativization
IGOR LAVROV, LARISA MAKSIMOVA