EntityQ834884· pop 7· linked from 319 articlestypeSign in to saveterm in model theory and related areas of mathematicsConnectionssemantic theory of truthEntitymathematical logicEntityisomorphismEntityfirst-order logicEntityPeano axiomsEntityformal systemEntityrecursive setEntityBoolean algebraEntitysemantics of logicEntityelementary equivalenceEntityfree and bound variablesEntitystructureEntitytheoryEntitycomplete theoryEntitydiagramEntityground expressionEntitymathematicsEntitylogicEntityInternational Standard Book NumberEntityset theoryEntityCategoriesConcepts in logicMathematical logicModel theory