Skip to main content Accessibility help
×
Home
  • Print publication year: 2020
  • Online publication date: December 2020

2 - Formalism Freeness and Entanglement: Definitions

Summary

Formalism freeness and logical entanglement are precisely defined. Anticipations of these concepts are cited in the work of Post and Brouwer, as well as in early work of Gödel. Varieties of entanglement and formalism freeness are given, with specific examples taken from set theory: extended constructibility and games; and model theory. Semantic characterisations of metamathematical concepts are discussed at length.