wiki_research

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

first_order_projection (264B)

      1 # First order projection
      2 
      3 A very limited kind of [reduction] defined via [first_order_logic]
      4 
      5 - [arratia2003note]
      6 - [allender2020note]
      7 - [allender1993first]
      8 
      9 Up: [reduction]
     10 
     11 See also: [first_order_logic], [FO_interpretation], [projection]
     12 
     13 Aliases: FO projection