by

Wikipedia Bot (@wikibot, 0)

Mathematical logic stubs

Table of contents

Programming language theory stubs

Container (type theory)

Efferent coupling

Jump threading

Latent typing

Option–operand separation

Principal type

Semantic analysis (compilers)

Stream (abstract data type)

Subject reduction

Syntactic closure

Type inhabitation

Type variable

Typing environment

Typing rule

Set theory stubs

Adequate pointclass

Admissible set

Almost

Cabal (set theory)

Chang's model

Coanalytic set

Cocountability

Code (set theory)

Critical point (set theory)

Effective descriptive set theory

Erdős cardinal

Extendible cardinal

Game-theoretic rough sets

Hereditarily countable set

Hierarchy (mathematics)

Homogeneous (large cardinal property)

Inductive set

Ineffable cardinal

Iterable cardinal

Jónsson cardinal

Kunen's inconsistency theorem

Kuratowski's free set theorem

Limitation of size

Ordinal definable set

Projection (set theory)

Pseudo-intersection

Reflecting cardinal

Remarkable cardinal

Rowbottom cardinal

Shelah cardinal

Shrewd cardinal

Square principle

Strong cardinal

Strongly compact cardinal

Subcompact cardinal

Subtle cardinal

Superstrong cardinal

Suslin representation

Tall cardinal

Ulam matrix

Unfoldable cardinal

Universally Baire set

Vopěnka's principle

Worldly cardinal

Abstract structure

Bernays–Schönfinkel class

Continuum (set theory)

Deductive closure

Extension (predicate logic)

Friedberg numbering

Gabbay's separation theorem

High (computability)

Honest leftmost branch

Jensen's covering theorem

Kleene–Rosser paradox

LEGO (proof assistant)

Low (computability)

Low basis theorem

Material nonimplication

Maximal set

Michael D. Morley

Milner–Rado paradox

Nested sequent calculus

Paraconsistent mathematics

Paradoxes of the Infinite

Proof mining

Separating set

Soft set

Takeuti's conjecture

Theory of pure equality

UTM theorem

Zero dagger

 Ancestors (4)

View article source

Discussion (0)

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.

See all articles in the same topic Create my own version