› 门户 ›Mathematics› Logic› First-order theories › view content

List of first-order theories

2014-3-16 09:52| view publisher: amanda| views: 1002| wiki(57883.com) 0 : 0

description: In mathematical logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model theory and some of their properties.

In mathematical logic, a first-order theory is given by a set of axioms in some language. This entry lists some of the more common examples used in model theory and some of their properties.

next:Preliminaries

related categories

First-order theories
Large cardinal properties