Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

structure · Vinony

EntityQ1851710· pop 11· linked from 419 articles

structure

Sign in to save

set together with an interpretation of a given first-order language

Connections

semantic theory of truth

mathematical logic

first-order logic

Springer Science+Business Media

Zermelo–Fraenkel set theory

logical constant

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

Categories

Mathematical logic Mathematical structures Model theory Universal algebra

Sources

wikipedia.externallinksexternallink

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

Entitydist 0.41

Herbrand universe

Entitydist 0.41

language construct

Entitydist 0.47

World Atlas of Language Structures

Entitydist 0.49

Entitydist 0.52

oligosynthetic language

Entitydist 0.54

Entitydist 0.54

Entitydist 0.55

language primitive

Entitydist 0.55

object language

Entitydist 0.55

engineered language

Entitydist 0.58

multiple languages

Entitydist 0.58

What links here419 pages

logical equivalence

compactness theorem

Von Neumann–Bernays–Gödel set theory

Boolean algebra

axiom of choice

Gödel's completeness theorem

von Neumann universe

Mostowski collapse lemma

logical contradiction

lambda calculus

well-founded relation

Conservative extension

continuum hypothesis