Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

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

構造 · Vinony

Home
Mathematical logic
構造

🌐日本語

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Português Tiếng Việt Русский فارسی 한국어 中文日本語

EntityQ1851710· pop 11· linked from 419 articles

構造

Also known as finitary structure

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

Available in 11 languages

Español
Français
Deutsch
中文
Português
Bahasa Indonesia
Czech
Hebrew
فارسی
한국어

Connections

semantic theory of truth

Categories

Mathematical logic Mathematical structures Model theory Universal algebra

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

mathematical logic

Entity

first-order logic

Springer Science+Business Media

Zermelo–Fraenkel set theory

logical constant

semantics of logic

ground expression

Bertrand Russell

International Standard Book Number

Sign in to save

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