wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

preserved_under_extensions (231B)

      1 # Preserved under extensions
      2 
      3 A [formula] φ is *preserved under [extensions]* if the following is true: if an [instance] I satisfies φ and I is an [induced_subinstance] of J then J satisfies φ
      4 
      5 Up: [logic]
      6 
      7 See also: [monotone]