Stratified languages

DOI10.2307/2275371MaRDI QIDQ4032665zbMATH OpenOpenAlexFDO

Authors

Publication date 1 April 1993

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275371

zbMATH Keywords

extension of Keisler's isomorphism theoremstratified sentences

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07)

Recommendations

• scientific article; zbMATH DE number 3863178
• scientific article; zbMATH DE number 1045384
• The language of stratified sets is confluent and strongly normalising
• Typical ambiguity and elementary equivalence
• Sentences of type theory: the only sentences preserved under isomorphisms

Cites work

• Finite sets in Quine's new foundations
• New Foundations for Mathematical Logic
• Permutations and stratified formulae a preservation theorem

Cited in

(6)

• scientific article; zbMATH DE number 3863178 (Why is no real title available?)
• Sentences of type theory: the only sentences preserved under isomorphisms
• Varieties of Languages in a Category
• scientific article; zbMATH DE number 1408330 (Why is no real title available?)
• Synonymy questions concerning the Quine systems
• Beneš's partial model of NF: an old result revisited

This page was built for publication: Stratified languages

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