# OCME ยท Knowledge & practice explorer 302 MKO / 1,441 families / 360 batches / 36,000 questions. 36,000 second-context math/bilingual reviewed; 0 display/symbol-checked candidates. Source questions: candidate. English: ai_candidate. No new proof, Lean, SREG or training. 25 results; page 1/1. ## Question 26126: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0076`; number: 26126 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0076/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0076/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0076.json) ## Question 26127: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0077`; number: 26127 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0077/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0077/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0077.json) ## Question 26128: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0078`; number: 26128 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0078/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0078/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0078.json) ## Question 26129: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0079`; number: 26129 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0079/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0079/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0079.json) ## Question 26130: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0080`; number: 26130 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0080/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0080/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0080.json) ## Question 26131: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0081`; number: 26131 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0081/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0081/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0081.json) ## Question 26132: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0082`; number: 26132 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0082/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0082/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0082.json) ## Question 26133: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0083`; number: 26133 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0083/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0083/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0083.json) ## Question 26134: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0084`; number: 26134 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0084/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0084/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0084.json) ## Question 26135: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0085`; number: 26135 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0085/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0085/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0085.json) ## Question 26136: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0086`; number: 26136 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0086/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0086/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0086.json) ## Question 26137: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0087`; number: 26137 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0087/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0087/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0087.json) ## Question 26138: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0088`; number: 26138 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0088/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0088/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0088.json) ## Question 26139: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0089`; number: 26139 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0089/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0089/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0089.json) ## Question 26140: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0090`; number: 26140 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0090/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0090/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0090.json) ## Question 26141: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0091`; number: 26141 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0091/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0091/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0091.json) ## Question 26142: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0092`; number: 26142 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0092/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0092/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0092.json) ## Question 26143: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0093`; number: 26143 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0093/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0093/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0093.json) ## Question 26144: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0094`; number: 26144 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0094/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0094/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0094.json) ## Question 26145: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0095`; number: 26145 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0095/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0095/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0095.json) ## Question 26146: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0096`; number: 26146 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0096/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0096/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0096.json) ## Question 26147: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0097`; number: 26147 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0097/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0097/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0097.json) ## Question 26148: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0098`; number: 26148 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0098/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0098/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0098.json) ## Question 26149: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0099`; number: 26149 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0099/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0099/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0099.json) ## Question 26150: Forward Decider Transfer Needs a Total Iff Reduction and a Correct Target Decider - ID: `q-20261015-advance-20261115-r07-many-one-reduction-0100`; number: 26150 - Processing: second_context_reviewed - MKO: [mko-many-one-reduction](/en/mko/mko-many-one-reduction/) - Family: [qf-mod46-mreduction-decider-transfer-boundary](/en/explore/?family=qf-mod46-mreduction-decider-transfer-boundary) - Batch: [batch-20261015-advance-20261115-r07-many-one-reduction-foundations](/en/explore/?batch=batch-20261015-advance-20261115-r07-many-one-reduction-foundations) - [Derivation](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0100/) / [Markdown](/en/questions/q-20261015-advance-20261115-r07-many-one-reduction-0100/index.md) / [JSON](/data/question-derivations/questions/q-20261015-advance-20261115-r07-many-one-reduction-0100.json)