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.

Conservative extension · Vinony

🌐English

English Français Italiano 한국어 中文日本語

EntityQ864213· pop 7· linked from 332 articles

Conservative extension

area of research

Available in 7 languages

Français
中文
日本語
Italiano
Slovak
한국어

via Wikidata sitelinks · CC0

Connections

semantic theory of truth

mathematical logic

Categories

Mathematical logic Model theory Proof theory

Sources

wikipedia.externallinksexternallink

continuum hypothesis

Entity

first-order logic

semantics of logic

ground expression

International Standard Book Number

Sign in to save

Similar entities

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

Entitydist 0.49

Entitydist 0.50

history of ideas

Entitydist 0.52

Center for Economic and Policy Research

Entitydist 0.52

moderate conservatism

Entitydist 0.53

Forschungszentrum Jülich

Entitydist 0.53

Entitydist 0.55

social research

Entitydist 0.56

social conservatism

Entitydist 0.56

Project for the New American Century

Entitydist 0.56

Entitydist 0.56

Neoclassical liberalism

Entitydist 0.57

What links here332 pages

algebraic logic

Morse–Kelley set theory

elementary equivalence

lambda calculus

three-valued logic

Cantor's paradox

Mostowski collapse lemma

superseded scientific theory

computer-assisted proof

rule of inference

continuum hypothesis

compactness theorem

logical contradiction

proof of impossibility

Courcelle's theorem

material implication