OpenLogicProject/OpenLogic

Issues

• Cantor's Theorem

  #373 opened 5 months ago by knaeve
  1

• Confusing paragraph in SLC section 15.9

  #371 opened 7 months ago by marethyu
  4

• Minor error in example 12.25

  #367 opened 7 months ago by marethyu
  2

• Suggested improvements for the proof of Lindenbaum's lemma

  #366 opened 7 months ago by marethyu
  3

• Minor typesetting issue

  #370 opened 7 months ago by marethyu
  4

• Possible typo in example 14.14

  #369 opened 7 months ago by marethyu
  0

• Redundant i in definition 14.10?

  #368 opened 7 months ago by marethyu
  0

• Typo in Lindenbaum's lemma proof

  #364 opened 9 months ago by marethyu
  1

• Typo in prop. 10.20 proof

  #361 opened 10 months ago by marethyu
  0

• Can I contribute proofs to theorems whose proof left for exercise?

  #362 opened 10 months ago by marethyu
  1

• Typo

  #357 opened 10 months ago by anamud
  1

• Missing parenthesis on pg. 112

  #356 opened 10 months ago by marethyu
  1

• Use of @xnext doesn't match its definition

  #352 opened a year ago by davidvandebunte
  2

• Frege

  #342 opened a year ago by rikiheck
  4

• Definition 1.1 (Extensionality). If A and B are sets, then A = B iff every element of A is also an element of B, and vice versa.

  #343 opened a year ago by aaronstevenson408
  2

• Example 1.4

  #344 opened a year ago by aaronstevenson408
  1

• Russel's Paradox typo

  #339 opened a year ago by HermesMarc
  1

• Theorem 7.13 references phi_i without ever defining i.

  #340 opened a year ago by edwin2525
  1

• A typo in the "method" chapter

  #336 opened a year ago by Heein-Park
  1

• Multiple incompatible definitions for "total order"

  #334 opened a year ago by gabelthompson
  1

• Typo in "recursive functions"

  #328 opened 2 years ago by allen-liaoo
  0

• JFK

  #320 opened 2 years ago by jdonland
  1

• 'Monotony' versus 'monotonicity'

  #319 opened 2 years ago by beastaugh
  1

• Typo in example 6 in sets-functions-relations/size-of-sets/enumerability.tex

  #316 opened 2 years ago by furcyd
  4

• Need to clarify explanation of last tableau in the example in tableaux/identity.tex

  #312 opened 2 years ago by furcyd
  1

• Missing '!'

  #304 opened 2 years ago by ogotchey
  1

• problem 1.6 in open-logic-complete

  #303 opened 3 years ago by rishihho
  2

• More precise definition of derivations in natural deduction

  #300 opened 3 years ago by beastaugh
  4

• Mistake in definition of order on rationals

  #296 opened 3 years ago by pglutz
  5

• Typo in 'Successor and Limit Ordinals'

  #295 opened 3 years ago by bjrtx
  1

• Definability of + in SOL

  #234 opened 3 years ago by rzach
  0

• travis-ci.org is deprecated

  #285 opened 3 years ago by Pi-Cla
  2

• Justify intuitionistic logic through the BHK interpretation could be problematic

  #288 opened 3 years ago by feffemannen
  0

• Improve treatment of satsifaction

  #251 opened 3 years ago by rzach
  0

• Inverse functions

  #262 opened 3 years ago by rzach
  2

• Representation of TMs

  #265 opened 3 years ago by rzach
  0

• Several typos

  #271 opened 3 years ago by Zhang-Shuyu
  0

• Finite models of T(M,w)

  #266 opened 3 years ago by rzach
  7

• Duplicated content

  #270 opened 3 years ago by Zhang-Shuyu
  1

• Alberta OER link is deprecated

  #269 opened 3 years ago by Pi-Cla
  0

• Defined symbols undefined

  #263 opened 4 years ago by rzach
  1

• Typo in Primitive Recursive Notations?

  #246 opened 4 years ago by s-truax
  1

• Typo in "open_book_computability", section 2.3

  #242 opened 4 years ago by anbncn
  2

• Typo in the section on Non-Enumerability

  #239 opened 4 years ago by cel7t
  1

• one row too much in proof of 65.2

  #240 opened 4 years ago by fredbok
  1

• Typo about ranks in section on replacement

  #237 opened 4 years ago by pglutz
  4

• New version of subfiles breaks olimport

  #229 opened 5 years ago by rzach
  0

• Nonstandard model 𝑲 of 𝐐

  #233 opened 5 years ago by ionathanch
  2

• Recursive functions and the Church-Turing thesis

  #232 opened 5 years ago by ionathanch
  4

• Weird error when using open-logic-defer

  #228 opened 5 years ago by rzach
  0