# 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.

100 results; page 3/4.

## Question 18551: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0051`; number: 18551
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0051/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0051/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0051.json)

## Question 18552: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0052`; number: 18552
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0052/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0052/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0052.json)

## Question 18553: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0053`; number: 18553
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0053/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0053/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0053.json)

## Question 18554: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0054`; number: 18554
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0054/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0054/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0054.json)

## Question 18555: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0055`; number: 18555
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0055/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0055/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0055.json)

## Question 18556: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0056`; number: 18556
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0056/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0056/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0056.json)

## Question 18557: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0057`; number: 18557
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0057/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0057/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0057.json)

## Question 18558: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0058`; number: 18558
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0058/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0058/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0058.json)

## Question 18559: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0059`; number: 18559
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0059/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0059/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0059.json)

## Question 18560: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0060`; number: 18560
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0060/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0060/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0060.json)

## Question 18561: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0061`; number: 18561
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0061/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0061/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0061.json)

## Question 18562: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0062`; number: 18562
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0062/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0062/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0062.json)

## Question 18563: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0063`; number: 18563
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0063/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0063/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0063.json)

## Question 18564: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0064`; number: 18564
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0064/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0064/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0064.json)

## Question 18565: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0065`; number: 18565
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0065/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0065/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0065.json)

## Question 18566: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0066`; number: 18566
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0066/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0066/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0066.json)

## Question 18567: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0067`; number: 18567
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0067/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0067/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0067.json)

## Question 18568: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0068`; number: 18568
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0068/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0068/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0068.json)

## Question 18569: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0069`; number: 18569
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0069/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0069/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0069.json)

## Question 18570: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0070`; number: 18570
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0070/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0070/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0070.json)

## Question 18571: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0071`; number: 18571
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0071/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0071/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0071.json)

## Question 18572: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0072`; number: 18572
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0072/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0072/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0072.json)

## Question 18573: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0073`; number: 18573
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0073/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0073/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0073.json)

## Question 18574: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0074`; number: 18574
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0074/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0074/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0074.json)

## Question 18575: A Finite Maximum Is Not an Infinite-Domain Quantifier Exchange

- ID: `q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0075`; number: 18575
- Processing: second_context_reviewed
- MKO: [mko-uniform-convergence-of-functions](/en/mko/mko-uniform-convergence-of-functions/)
- Family: [qf-mod35-uniform-pointwise-max](/en/explore/?family=qf-mod35-uniform-pointwise-max)
- Batch: [batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations](/en/explore/?batch=batch-20261014-advance-20261104-r02-uniform-convergence-of-functions-foundations)
- [Derivation](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0075/) / [Markdown](/en/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0075/index.md) / [JSON](/data/question-derivations/questions/q-20261014-advance-20261104-r02-uniform-convergence-of-functions-0075.json)

[Next](/en/explore/index.md?mko=mko-uniform-convergence-of-functions&page=4)