Binary models generated by their tally part

DOI10.1007/BF01270627zbMath0803.03039OpenAlexW2091624775MaRDI QIDQ1337500

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)

Related Items (1)

END-EXTENSIONS OF MODELS OF WEAK ARITHMETIC FROM COMPLEXITY-THEORETIC CONTAINMENTS

Cites Work

• Bounded arithmetic and the polynomial hierarchy
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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