Institutional Scholarship

Browsing by Author "Meyer-Lee, Jackson"

Browsing by Author "Meyer-Lee, Jackson"

Sort by: Order: Results:

  • Meyer-Lee, Jackson (2021)
    Axiomatization in finite model theory is the process of finding a set of axiom formulas from which all other formulas in a theory can be derived. Applied to the theory of a structure like "binary strings" or "natural number ...



My Account