What is sequentiality?

MaRDI QIDQ5222085zbMATHFDO

Authors Albert Visser

Publication date 30 March 2020

zbMATH Keywords

interpretabilityinterpretations

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)

Recommendations

• A theory of sequentiality
• Another approach to sequentiality: Kleene's unimonotone functions
• Relative sequentiality
• On the definition of sequential consistency
• scientific article; zbMATH DE number 431761

Cited in

(7)

• On a question of Krajewski's
• Friedman-reflexivity
• On \(\mathsf{Q}\)
• Extension and interpretability
• The interpretation existence lemma
• The small-is-very-small principle
• Transductions in arithmetic

This page was built for publication: What is sequentiality?

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