All Questions

$\textbf{Logic:}$ Mono-sorted first order logic with equality. $\textbf{Extralogical Primitives: } <, \in$ $ \textbf{Axioms:}$ $ \textbf{Order:} \ x < y < z \to x < z $ $ \textbf{...

$\textbf{Logic:}$ Mono-sorted first order logic with equality. $\textbf{Extralogical Primitives: } <, \in$ Define: $x > y \iff y < x$ Define: $x \leq y \iff x < y \lor x=y$ $ \textbf{...

The following question is about patterns of synonymy relationships around two theories, $T^+$ and $\sf PA$. For purposes of self inclusiveness I'll re-iterate $T$ and its extensions. $\textbf{Logic:}$ ...