Models of Bounded Arithmetic Theories and Some Related Complexity Questions

DOI10.18778/0138-0680.2022.03MaRDI QIDQ6119336zbMATH OpenOpenAlexWikidataFDO

Authors Morteza Moniri

Publication date 29 February 2024

Published in Bulletin of the Section of Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2022.03

zbMATH Keywords

bounded arithmeticcomplexity theoryexistentially closed modelmodel companionmodel completenessquantifier eliminationstone topology

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• scientific article; zbMATH DE number 999649
• Preservation theorems for bounded formulas
• Model theory of bounded arithmetic with applications to independence results
• Forcing on bounded arithmetic II
• Binary models generated by their tally part

Cites work

• Handbook of proof theory
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 3557241 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 819737 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Model Theory
• Model theory.
• Preservation theorems for bounded formulas

This page was built for publication: Models of Bounded Arithmetic Theories and Some Related Complexity Questions

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