AbsolutenessAbstract logicAbstract model theoryAlgebraic definitionAlgebraic semantics (mathematical logic)Algebraic sentenceAlgebraic theoryArchive for Mathematical LogicBarwise compactness theoremBeth definabilityBunched logicCartesian monoidClass logicClassical mathematicsCoherent spaceCointerpretabilityComplete theoryCompleteness (logic)Computability theoryConservativity theoremContinuous predicateCraig interpolationCurry's paradoxCyclic negationDefinable setDiagonal lemmaDouble turnstileElementary definitionElementary sentenceElementary theoryEnd extensionEntitative graphEntscheidungsproblemEnumerationEquality (mathematics)
subject
Algebraic logicAutomated theorem provingBoolean algebraCategorical logicClassical logicComputability theoryConstructivism (mathematics)Forcing (mathematics)Formal systemsFormal theories of arithmeticIndependence resultsLarge-scale mathematical formalization projectsLogic in computer scienceLogical calculiMathematical axiomsMathematical logic hierarchiesMathematical logic organizationsMathematical logiciansModal logicModel theoryNon-classical logicProof theoryQuantificationRecursionSet theorySubstitution (logic)Theorems in the foundations of mathematicsType theory
broader
Wikipage page ID
Wikipage revision ID
743,138,715
type
label
Mathematical logic
@en
sameAs
prefLabel
Mathematical logic
@en