Search


Current filters:

Start a new search
Add filters:

Use filters to refine the search results.


Results 1-4 of 4 (Search time: 0.01 seconds).
  • previous
  • 1
  • next
Item hits:
Issue DateTitleAuthor(s)
2020Cardinals Beyond Choice and the HOD-DichotomySpoerl, John
Feb-2020An Algebraic Study of Admissible RulesMastrokostas, Zafeiris
Oct-2020Inconsistency lemmas: an algebraic approachHerrera Hernández, Jorge
2020Proof theory of the calculus of relationsGentili, Stefano