Join Nostr
2025-09-22 15:12:41 UTC
in reply to

𝕁onas 🐈🐘 on Nostr: Are you sure that infinitary logic admits "infinitely many alternating qantifiers" ? ...

Are you sure that infinitary logic admits "infinitely many alternating qantifiers" ? The wikipedia page seems to suggest that you can have universal and existential quantifiers binding infinitely many variables, but I don't see any mention of infinite alteration.