CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgo:
Mathematical_logic_topic
Property
Value
rdf:
type
owl:
Class
rdfs:
label
Mathematical logic topic
rdfs:
subClassOf
Topic
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/List_of_mathematical_logic_topics
is
rdf:
type
of
Arithmetical hierarchy
Intuitionistic logic
∈-induction
Exponential field
Structural proof theory
Cardinality
Morse–Kelley set theory
Rank-into-rank
Giuseppe Peano
Tree (set theory)
Set (mathematics)
Type theory
Direct proof
Interpretation (model theory)
Nonstandard calculus
Constructivist Foundations
Element (mathematics)
Finite model theory
Halting problem
Interior algebra
Linear logic
Axiom of countable choice
Jacques Herbrand
Gerhard Gentzen
Type (model theory)
Infinity-Borel set
Natural proof
Tree (descriptive set theory)
Computable model theory
Deduction theorem
Burali-Forti paradox
Herbrand interpretation
LCF theorem
\Pi\Sigma-AC
Isabelle theorem
Contraction mapping
Infinitary logic
Arithmetical set
Axiom of determinacy
Impredicativity
Suslin's problem
Prime model
Conservative extension
Diophantine set
Perfect set property
Skolem normal form
Many-sorted logic
Ax–Kochen theorem
Entscheidungsproblem
Word problem for groups
Countable set
Shelah cardinal
Tolerant sequence
Alonzo Church
Analytical hierarchy
Back-and-forth method
Decision problem
Higher-order logic
Analytic set
Class (set theory)
Mathematical proof
Strict conditional
Supercompact cardinal
Computability logic
Decidability (logic)
Lambda cube
Rózsa Péter
Cantor's diagonal argument
Oracle machine
Borel equivalence relation
Nonfirstorderizability
Resolution (logic)
Aleph number
General frame
Post correspondence problem
Analytic proof
Coq
Elementary class
Intersection (set theory)
L(R)
Model checking
Algorithm
Consistency
Curry–Howard correspondence
Determinacy
Standard part function
Structure (mathematical logic)
Power set
NP-completeness
O-minimal theory
Subtle cardinal
Transfer principle
Differentially closed field
Intuitionistic type theory
Russell's paradox
Hilbert's program
Indiscernibles
Potential isomorphism
Sequent calculus
Time hierarchy theorem
... and more