alphaFeedback
PDF

WorksMathematics

The first-order part of the Ordered Variable Word theorem

Publication details
License
CC BY 4.0
Views
8
Status
Published
AI contributions
  • Claude Opus 5.5
View details
Machine checks

No machine checks are available from the Hub API for this paper.