Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 1, 2024

• Clarify atomic case reasoning in proof of local determination for firsr-order formulas.

  

  beastaugh

  authored and

  rzach

  committed
  6891b66

  Copy full SHA for 6891b66

• Define satisfaction for sets of sentences.

  

  beastaugh

  authored and

  rzach

  committed
  fc8a66d

  Copy full SHA for fc8a66d

Commits on Nov 30, 2024

• Fix some typos in the variable assignments section.

  

  beastaugh

  authored and

  rzach

  committed
  27ac27a

  Copy full SHA for 27ac27a

Commits on Nov 17, 2024

• work around thmtools bug that generates wrong links

  rzach

  committed
  6fd2c17

  Copy full SHA for 6fd2c17

Commits on Nov 16, 2024

• Update resources.tex

  

  yiannis-had

  authored and

  rzach

  committed
  cf2f78a

  Copy full SHA for cf2f78a

• Update open-logic.bib

  

  yiannis-had

  authored and

  rzach

  committed
  73a304e

  Copy full SHA for 73a304e

• Fix minor typo in Alonzo Church's biography

  Show description for 4962295
  

  mckzm

  authored and

  rzach

  committed
  4962295

  Copy full SHA for 4962295

Commits on Aug 29, 2024

• add incompleteness intro to sample textbook

  rzach

  committed
  4772e75

  Copy full SHA for 4772e75

Commits on Aug 10, 2024

• Update duals.tex

  rzach

  committed
  e5563ad

  Copy full SHA for e5563ad

• Fix error in problem about duals of characteristic axioms

  Show description for 0dcbdbb
  

  eguindon

  authored and

  rzach

  committed
  0dcbdbb

  Copy full SHA for 0dcbdbb

• Harmonize capitalization

  Show description for 0a400f7
  

  eguindon

  authored and

  rzach

  committed
  0a400f7

  Copy full SHA for 0a400f7

• Fix typo

  Show description for 25a3297
  

  eguindon

  authored and

  rzach

  committed
  25a3297

  Copy full SHA for 25a3297

• Fix phrasing

  Show description for c046d9b
  

  eguindon

  authored and

  rzach

  committed
  c046d9b

  Copy full SHA for c046d9b

• Clarify problem by making universal quantification explicit

  Show description for 08769b7
  

  eguindon

  authored and

  rzach

  committed
  08769b7

  Copy full SHA for 08769b7

• Fix comma splice

  

  eguindon

  authored and

  rzach

  committed
  897fde5

  Copy full SHA for 897fde5

• Add missing "pAssign"

  

  eguindon

  authored and

  rzach

  committed
  199b39e

  Copy full SHA for 199b39e

• Add missing tokens for "propositional variable"

  

  eguindon

  authored and

  rzach

  committed
  e0cc7a9

  Copy full SHA for e0cc7a9

• Fix minor typos

  

  eguindon

  authored and

  rzach

  committed
  26dfff7

  Copy full SHA for 26dfff7

Commits on Jun 22, 2024

• typo in OpenLogic/content/sets-functions-relations/size-of-sets/reduction-alt.tex; closes OpenLogicProject#373

  rzach

  committed
  016d2bc

  Copy full SHA for 016d2bc

• Typo

  

  qucchia

  authored and

  rzach

  committed
  f5ef6b3

  Copy full SHA for f5ef6b3

Commits on May 1, 2024

• fix typo, clarify empty input (OpenLogicProject#371)

  rzach

  committed
  ad37848

  Copy full SHA for ad37848

• typos reported by W24 PHIL679 students

  rzach

  committed
  d7fbd62

  Copy full SHA for d7fbd62

• typo

  rzach

  committed
  9da4260

  Copy full SHA for 9da4260

Commits on Apr 30, 2024

• fix mistake in intro to Trakhtenbrodt's theorem; closes OpenLogicProject#371

  rzach

  committed
  e8cf413

  Copy full SHA for e8cf413

• uniformizing 0 in undecidability chapter, typos; closes OpenLogicProject#370

  rzach

  committed
  132a275

  Copy full SHA for 132a275

• typo in mover machine; closes OpenLogicProject#369

  rzach

  committed
  8480b73

  Copy full SHA for 8480b73

• typo, clarification in output of TM; closes OpenLogicProject#368

  rzach

  committed
  f756a51

  Copy full SHA for f756a51

• typo & slight improvement to infinitesimal example; closes OpenLogicProject#367

  rzach

  committed
  2803abe

  Copy full SHA for 2803abe

• improvement to proof of Lindenbaum's lemma; closes issue OpenLogicProject#366

  rzach

  committed
  a13349c

  Copy full SHA for a13349c

• Fix a typo, make usage of !!a{formula} more consistent, tweak presentation of formation sequences (OpenLogicProject#372)

  Show description for d83705f
  

  beastaugh

  and

  rzach

  authored
  d83705f

  Copy full SHA for d83705f

Commits on Apr 28, 2024

• Fix TRules getting swapped

  

  Pi-Cla

  authored and

  rzach

  committed
  ff5160f

  Copy full SHA for ff5160f

Commits on Feb 28, 2024

• typo in proof of transfinite recursion theorem as per TB

  rzach

  committed
  6c541de

  Copy full SHA for 6c541de

• type; closes OpenLogicProject#364

  rzach

  committed
  743f106

  Copy full SHA for 743f106

Commits on Feb 20, 2024

• Modal logic fixups (OpenLogicProject#363)

  Show description for 66d0133
  davidvandebunte

  authored
  66d0133

  Copy full SHA for 66d0133

Commits on Feb 14, 2024

• fix error in goedel.tex reported by Sean Ebels-Duggan; add a couple more examples

  rzach

  committed
  6ce0abe

  Copy full SHA for 6ce0abe

Pagination

Previous

Next