Questions tagged [symmetry]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

Fixed/critical points of a nonexistence quantifier/function

Let j(∃0) = 1, and j(∃1) = 1, for a justification function j on ∃-sentences. So far, 0 is the initial critical point of the composite quantifier-function, and 1 is the initial fixed point. So let ...
Kristian Berry's user avatar