Tag: mathematical logic
- Wed 20 May 2020 - Gödel Completeness Identifies Semantic and Syntactic Consequence
- 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
- Mon 29 August 2011 - Łoś's Theorem Evaluates Formulas Coordinatewise in an Ultraproduct