Wikipedia:Requested articles/Mathematical Logic

From Wikipedia, the free encyclopedia

Contents

[edit] Proof theory

  • Harrop formula
  • Unwinding (proof theory)

[edit] Model theory

[edit] Recursion theory

  • Ordinal logic -
  • PA degree

[edit] Set theory

  • Barwise compactness theorem -
  • C-measurable set -
  • Canonical representative -
  • Condensation lemma
  • Core model program -
  • Extended set theory (D L Childs et al.) -
  • Effective Polish space
  • Inner model program -
  • Leftmost branch (of a tree, currently redirected to a page which doesn't mention the subject) -
  • Mitchell order -
  • Moschovakis' coding lemma (currently redirected to a page which doesn't mention the subject) -
  • Paris model -
  • Quasi strategy (for a game, currently redirected to a page which doesn't mention the subject) -
  • Scale property (currently redirected to a page which doesn't mention the subject) -
  • Scott analysis (should also have redirects from Scott sentence and Scott rank) -
  • Unfolded Banach-Mazur game -
  • Universally Baire set -
  • Weakly homogeneously Suslin set -
  • Yannakakis' algorithm

Relations

  • Totally reflexive relations
  • Bichotomous relation
    • Dichotomettic relation
  • Trichotomous relation
  • Idempotent relation
  • Heterogeneous relation
  • Contact relation
  • Regular relation
  • Normalizing relation
  • Consistent relation
  • Definite relation
  • Dense relation
  • Weakly dense relation
  • Determinant relation
  • Terminating relation
  • Convergent relation
  • Orthogonal relation
  • Rooted relation
  • Transitively connected relation
  • Deterministic relation
  • Cyclical relation
  • Weakly connected relation

[edit] Other and uncategorized requests

  • E-connection -
  • Equational logic
  • Generative set -
  • Implicit assumption (different from Tacit assumption?) -
  • Matrix logic -
  • Multi-attribute utility theory -
  • Multicriteria decision analysis -
  • Outranking analysis -
  • Pragmatic fallacy -
  • Reductive reasoning -
  • Self-reference puzzle -
  • Simple multi-attribute rating technique -
  • Sortal -
  • Subsumption lattice -