Tag: compactness

• Mon 21 November 2022 - Connectedness Is the Absence of a Nontrivial Clopen Split
• Sun 17 October 2021 - A Basis Generates Open Sets by Unions
• Mon 17 April 2017 - Compactness Converts Open Covers into Finite Data - updated: Mon 30 August 2021
• Fri 05 June 2020 - Uniform Convergence Permits Termwise Integration
• Wed 20 May 2020 - Gödel Completeness Identifies Semantic and Syntactic Consequence
• Tue 25 June 2019 - The Weierstrass M-Test Controls a Function Series
• Fri 18 September 2009 - Soundness Says Formal Proofs Preserve Truth - updated: Tue 20 March 2018
• Tue 20 February 2018 - Löwenheim--Skolem Produces Smaller Elementary Models
• Sat 15 November 2014 - Compactness Reduces Infinite Satisfiability to Finite Pieces
• Sat 16 August 2014 - Uniform Limits of Continuous Functions Are Continuous
• Sun 09 October 2011 - Quotient Topology Makes a Surjection Final - updated: Fri 20 June 2014
• Thu 15 May 2014 - Arzelà--Ascoli Converts Equicontinuity into Compactness
• Mon 29 August 2011 - Łoś's Theorem Evaluates Formulas Coordinatewise in an Ultraproduct
• Mon 13 July 2009 - Uniform Derivative Convergence Recovers a Differentiable Limit
• Fri 20 February 2009 - Product Topology Is the Smallest Topology Making Projections Continuous