Binary models generated by their tally part

DOI10.1007/BF01270627MaRDI QIDQ1337500zbMATH OpenOpenAlexFDO

Authors Fernando Ferreira

Publication date 5 January 1995

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01270627

zbMATH Keywords

models of arithmeticpolynomial time hierarchybounded collection schemetally part of a modeltheories of bounded arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 999649
• On End‐Extensions of Models of ¬exp
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• Structures interpretable in models of bounded arithmetic
• scientific article; zbMATH DE number 1136103

Cites work

• scientific article; zbMATH DE number 4137758 (Why is no real title available?)
• scientific article; zbMATH DE number 4160708 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 176204 (Why is no real title available?)
• Bounded arithmetic and the polynomial hierarchy
• Provability of the pigeonhole principle and the existence of infinitely many primes

Cited in

(2)

• End-extensions of models of weak arithmetic from complexity-theoretic containments
• Models of Bounded Arithmetic Theories and Some Related Complexity Questions

This page was built for publication: Binary models generated by their tally part

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