scientific article; zbMATH DE number 1045384

MaRDI QIDQ4347138zbMATH OpenFDO

Authors Friederike Körner

Publication date 7 August 1997

zbMATH Keywords

complexity hierarchyconsistencyfirst-order languagesmodel companion of NFmodels with indiscernible elementsNew Foundationsomitting types theoremspermutation modelsstratified formulaunstratified formulas

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 3863178
• scientific article; zbMATH DE number 98682
• Permutations and stratified formulae a preservation theorem
• Permutation Models in the Sense of Rieger-Bernays
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory

Cited in

(11)

• A modern rigorous approach to stratification in NF/NFU
• Permutations and stratified formulae a preservation theorem
• scientific article; zbMATH DE number 3863178 (Why is no real title available?)
• A permutation method yielding models of the stratified axioms of Zermelo Fraenkel set theory
• Permutation Models in the Sense of Rieger-Bernays
• scientific article; zbMATH DE number 98682 (Why is no real title available?)
• Stratified languages
• On the set of atoms
• The language of stratified sets is confluent and strongly normalising
• ON A HIERARCHY OF PERMUTATION LANGUAGES
• Input-Position-Restricted Models of Language Acceptors

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4347138)