Profile directory About Mobile apps
Log in Sign up
arXiv Math @arxiv_math@qoto.org
Follow

Freely adding one layer of quantifiers to a Boolean doctrine https://arxiv.org/abs/2410.16328 #mathLO #mathCT

Freely adding one layer of quantifiers to a Boolean doctrine

We show how to freely add the first layer of quantifier alternation depth to a Boolean doctrine over a small base category. This amounts to a doctrinal version of Herbrand's theorem for formulas with quantifier alternation depth at most one modulo a universal theory. To achieve this, we characterize, within the doctrinal setting, the classes $A$ of quantifier-free formulas for which there is a model $M$ such that $A$ is precisely the class of formulas whose universal closure is valid in $M$.

arXiv.org
October 24, 2024 at 3:10 AM · · feed2toot · 0 · 0 · 0
Sign in to participate in the conversation
Qoto Mastodon

QOTO: Question Others to Teach Ourselves
An inclusive, Academic Freedom, instance
All cultures welcome.
Hate speech and harassment strictly forbidden.

Trending now

#ukraine0 people talking
0
#caturday0 people talking
0
#HashtagGames0 people talking
0

Resources

  • Terms of service
  • Privacy policy

Developers

  • Documentation
  • API

What is Mastodon?

qoto.org

  • About
  • v3.5.19-qoto

More…

  • Source code
  • Mobile apps
v3.5.19-qoto · Privacy policy