Free rieg elements as games
AI-assisted (Codex) · Verification (self-reported): Not confirmed
Question
Let be the free rieg on one generator . Can its elements be interpreted as combinatorial games? Can the unique rieg homomorphism
be interpreted in terms of those games?
What an answer must provide
Specify the games and their equality, interpret , and exponentiation, and show that the rieg equations hold. A full model of must also identify when two game expressions represent the same element; a map out of alone need not be injective.
Next step
Give a concrete candidate for exponentiation of games, then test the exponent laws and the evaluation . The existing recursive-coalgebra model of impartial games does not by itself supply these rieg operations.
Sources: original problem 7.0.1; Classical vs quantum computation.
Connections
Sign in to join the discussion.
⋯
Export (PDF, Markdown, citation)
App did not open?
Enable SUMIRE in your conversation. If the request is not filled in, paste the copied request. If the app does not open, install it or use its website.