Permutations and stratified formulae a preservation theorem
From MaRDI portal
Publication:3204455
DOI10.1002/malq.19900360504zbMath0717.03019OpenAlexW2106157153MaRDI QIDQ3204455
Publication date: 1990
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19900360504
Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Models of arithmetic and set theory (03C62) Interpolation, preservation, definability (03C40)
Related Items
Stratified languages ⋮ A semantic characterization of the well-typed formulae of \(\lambda\)- calculus ⋮ ZF + “Every set is the same size as a wellfounded set”