indiscernible sequence?
Morley sequence?
Ramsey theorem?
Erdos-Rado theorem?
Ehrenfeucht-Fraïssé games (back-and-forth games)
Hrushovski construction?
generic predicate?
transfinite arithmetic, cardinal arithmetic, ordinal arithmetic
prime field, p-adic integer, p-adic rational number, p-adic complex number
arithmetic geometry, function field analogy
A paraconsistent arithmetic is a model of arithmetic in paraconsistent mathematics, mostly using first-order paraconsistent logic. Also called inconsistent arithmetic.
Last revised on June 4, 2022 at 05:09:29. See the history of this page for a list of all contributions to it.