User:VeblenBot/List of mathematical logic articles
This page is a list of mathematical logic articles on Wikipedia. It is compiled by User:VeblenBot using a manually-created list of categories. The scope of this list is intentionally broad, including both core mathematical logic and closely related topics.
|
Mathematical logic articles |
A
A. H. Lightstone · AD+ · Abraham Fraenkel · Abraham Robinson · Absoluteness · Absorption (logic) · Absorption law · Abstract algebraic logic · Abstract elementary class · Abstract logic · Abstract model theory · Acceptable programming system · Accessibility relation · Accident (philosophy) · Ackermann coding · Ackermann function · Ackermann ordinal · Ackermann set theory · Action algebra · Actualism · Aczel's anti-foundation axiom · Adam Parvipontanus · Additively indecomposable ordinal · Adequate pointclass · Admissible ordinal · Admissible rule · Admissible set · Adolf Lindenbaum · Adriaan Heereboord · Affine logic · Affirming a disjunct · Affirming the consequent · Age (model theory) · Akihiro Kanamori · Alain Badiou · Alan Ross Anderson · Alan Turing · Albert Muchnik · Aleksandr Zinovyev · Aleph number · Alethic modality · Alex Wilkie · Alexander S. Kechris · Alexandre Borovik · Alfred Tarski · Algebra Universalis · Algebra of sets · Algebraic definition · Algebraic logic · Algebraic normal form · Algebraic semantics · Algebraic sentence · Algebraic theory · Algorithm · Algorithm characterizations · Algorithm examples · Algorithmic game theory · Alice Ambrose · Allegory (category theory) · Almost · Alonzo Church · Alpha recursion theory · Alternating-time Temporal Logic · Alternative set theory · Amalgamation property · Amorphous set · Analytic proof · Analytic set · Analytical hierarchy · Ancestral relation · Andreas Blass · Andrey Markov, Jr. · Andrzej Grzegorczyk · Andrzej Mostowski · András Hajnal · Angus Macintyre · Anonymous function · Anthony Weston · Antisymmetric relation · Apodicticity · Applicative computing systems · Apply · Arend Heyting · Aristotle · Arithmetical hierarchy · Arithmetical set · Arity · Aronszajn line · Aronszajn tree · Ascending chain condition · Assertoric · Association for Logic, Language and Information · Association for Symbolic Logic · Associative property · Asymmetric relation · Asynchronous logic (algebra) · Atomic formula · Atomic model (mathematical logic) · Atomic sentence · Attributional calculus · August Friedrich Müller · Augustus De Morgan · Autoepistemic logic · Automatic group · Automatic semigroup · Axiom · Axiom S5 · Axiom of choice · Axiom of constructibility · Axiom of countability · Axiom of countable choice · Axiom of dependent choice · Axiom of determinacy · Axiom of empty set · Axiom of extensionality · Axiom of global choice · Axiom of infinity · Axiom of limitation of size · Axiom of pairing · Axiom of power set · Axiom of projective determinacy · Axiom of real determinacy · Axiom of regularity · Axiom of union · Axiom schema · Axiom schema of predicative separation · Axiom schema of replacement · Axiom schema of specification · Axiomatic system · Ax–Grothendieck theorem · Ax–Kochen theorem · Azriel Levy
B
B,C,K,W system · BCK algebra · Bachmann–Howard ordinal · Back-and-forth method · Baire space (set theory) · Balanced boolean function · Balanos Vasilopoulos · Banach–Mazur game · Bar recursion · Barcan formula · Barwise compactness theorem · Bas van Fraassen · Basis (universal algebra) · Benedict Freedman · Benno Erdmann · Benson Mates · Bent function · Bernard Bolzano · Bernays–Schönfinkel class · Bertrand Russell · Beta normal form · Beth definability · Beth number · Biconditional elimination · Biconditional introduction · Bidirectional transformation · Bijection · Bijection, injection and surjection · Binary combinatory logic · Binary decision · Binary decision diagram · Binary lambda calculus · Binary relation · Birkhoff's axioms · Bitwise operation · Bjarni Jónsson · Blockhead (computer system) · Blum axioms · Bob Meyer (logician) · Bohuslav Balcar · Boolean algebra · Boolean algebra (logic) · Boolean algebra (structure) · Boolean algebras canonically defined · Boolean conjunctive query · Boolean data type · Boolean domain · Boolean expression · Boolean function · Boolean prime ideal theorem · Boolean ring · Boolean satisfiability problem · Boolean-valued function · Boolean-valued model · Borel determinacy theorem · Borel equivalence relation · Borel hierarchy · Borel right process · Borel set · Bounded quantifier · Boyan Petkanchin · Branching quantifier · Bremermann's limit · Brian Skyrms · Brooks–Iyengar algorithm · Brouwer–Hilbert controversy · Bunched logic · Burali-Forti paradox · Burroughs large systems · Busy beaver · Byzantine fault tolerance · Böhm tree · Büchi's Problem
C
C-minimal theory · C. J. F. Williams · CTL* · Cabal (set theory) · Calculus of constructions · Calculus of inductive constructions · Canonical form (Boolean algebra) · Cantor set · Cantor space · Cantor tree · Cantor's diagonal argument · Cantor's first uncountability proof · Cantor's paradox · Cantor's theorem · Cantor–Bernstein–Schroeder theorem · Cantor–Dedekind axiom · Cardinal assignment · Cardinal characteristic of the continuum · Cardinal function · Cardinal number · Cardinality · Cardinality of the continuum · Carroll diagram · Cartesian closed category · Cartesian monoid · Cartesian product · Carveth Read · Categorical logic · Categorical set theory · Category of sets · Chaff algorithm · Chain rule for Kolmogorov complexity · Chaitin's constant · Chang's conjecture · Characteristic sequence · Charles Graves (bishop) · Charles Parsons (philosopher) · Charles Sanders Peirce · Chaïm Perelman · Choice function · Chris Freiling · Christoph Gottfried Bardili · Christoph von Sigwart · Christopher Airay · Chrysippus · Church encoding · Church–Kleene ordinal · Church–Rosser theorem · Church–Turing thesis · Church–Turing–Deutsch principle · Cichoń's diagram · Circuit (computer theory) · Circuit minimization · Circuit satisfiability problem · Circumscription (logic) · Clarence Irving Lewis · Class (set theory) · Classical mathematics · Classical modal logic · Clausal normal form · Clause (logic) · Clone (algebra) · Closure operator · Club filter · Club set · Clubsuit · Coanalytic set · Cocountability · Code (set theory) · Codomain · Cofinality · Cofiniteness · Coherent space · Cointerpretability · Colin McLarty · Combinatory categorial grammar · Combinatory logic · Combs method · Communicating X-Machine · Commutative property · Commutativity of conjunction · Compactness theorem · Comparability · Complement (set theory) · Complete Boolean algebra · Complete numbering · Complete theory · Completeness · Completeness of atomic initial sequents · Composition of relations · Computability · Computability in Europe · Computability logic · Computability theory · Computable analysis · Computable function · Computable isomorphism · Computable measure theory · Computable model theory · Computable number · Computable real function · Computation · Computation history · Computation in the limit · Computation tree logic · Computational semiotics · Conceptual necessity · Condensation lemma · Condition of possibility · Conditional quantifier · Conditioned disjunction · Congruence relation · Conjunction introduction · Conjunctive normal form · Connexive logic · Consensus theorem · Conservative extension · Conservativity theorem · Consistency · Constructible universe · Constructive analysis · Constructive dilemma · Constructive non-standard analysis · Constructive set theory · Context change potential · Contingency (philosophy) · Continuous function (set theory) · Continuous predicate · Continuum (set theory) · Continuum function · Continuum hypothesis · Contour set · Contradiction · Contraposition · Contraposition (traditional logic) · Controversy over Cantor's theory · Converse implication · Converse nonimplication · Core model · Corecursion · Coreflexive relation · Correlation immunity · Countable set · Counter machine · Counterpart theory · Counting · Counting quantification · Countryman line · Course-of-values recursion · Covering lemma · Covering relation · Craig interpolation · Craig's theorem · Creative and productive sets · Critical point (set theory) · Criticism of non-standard analysis · Crossing sequence (Turing machines) · Curry's paradox · Currying · Curry–Howard correspondence · Cut-elimination theorem · Cyclic negation · Cylindric algebra · Cylindric numbering · Cylindrification · Czesław Lejewski · Czesław Ryll-Nardzewski
D
Dag Prawitz · Dana Scott · Database normalization · David Blitz · David Makinson · David Seetapun · Davis–Putnam algorithm · De Bruijn index · De Bruijn notation · De Bruijn–Erdős theorem (graph theory) · De Morgan algebra · De Morgan's laws · De dicto and de re · Decidability (logic) · Decidable sublanguages of set theory · Decision problem · Dedekind number · Dedekind-infinite set · Deduction theorem · Deductive system · Deep inference · Default logic · Defeasible logic · Definable real number · Definable set · Demonic composition · Deng Xi · Dense order · Denying the antecedent · Deontic logic · Dependence logic · Dependence relation · Dependency relation · Derivative algebra (abstract algebra) · Description logic · Description number · Descriptive complexity theory · Descriptive set theory · Destructive dilemma · Determinacy · Deviant logic · Dharmakirti · Diaconescu's theorem · Diagonal intersection · Diagonal lemma · Dialectica interpretation · Dialetheism · Diamond principle · Dick de Jongh · Difference hierarchy · Differentially closed field · Digital physics · Dignāga · Dimensional operator · Dimiter Skordev · Diodorus Cronus · Directed set · Director string · Dirk van Dalen · Disjoint sets · Disjoint union · Disjunction and existence properties · Disjunction elimination · Disjunction introduction · Disjunctive normal form · Disjunctive syllogism · Distributive property · Divergence (computer science) · Domain of a function · Domain of discourse · Donald A. Martin · Donkey pronoun · Double negative elimination · Double recursion · Double turnstile · Doxastic logic · Drinker paradox · Droste effect · Dugald Macpherson · Duration calculus · Dynamic logic (modal logic)
E
EL++ · ELEMENTARY · Easton's theorem · Edward Kofler · Edward Nelson · Effective Polish space · Effective descriptive set theory · Effective dimension · Effective method · Effective topos · Ehrenfeucht–Fraïssé game · Ehrenfeucht–Mostowski theorem · Ehud Hrushovski · Eilenberg–Steenrod axioms · Element (mathematics) · Elementary Calculus: An Infinitesimal Approach · Elementary class · Elementary definition · Elementary diagram · Elementary equivalence · Elementary function arithmetic · Elementary sentence · Elementary theory · Elliott Mendelson · Embedding · Emil Leon Post · Empty domain · Empty function · Empty set · End extension · Entailment · Entitative graph · Entscheidungsproblem · Enumeration · Epistemic modal logic · Epistemic possibility · Epsilon calculus · Epsilon-induction · Equaliser (mathematics) · Equational logic · Equiconsistency · Equinumerosity · Equivalence class · Equivalence relation · Erasure (logic) · Erdős cardinal · Erdős–Rado theorem · Eric Charles Milner · Ernst Mally · Ernst Specker · Ernst Zermelo · Essence · Euclidean relation · Euler calculus · Euler diagram · European Summer School in Logic, Language and Information · Evasive Boolean function · Even and odd ordinals · Evert Willem Beth · Exceptional isomorphism · Exclusive or · Existential generalization · Existential instantiation · Existential quantification · Existential theory of the reals · Existentially closed model · Explicit substitution · Exponential field · Exponentially closed field · Exportation (logic) · Extended finite-state machine · Extender (set theory) · Extendible cardinal · Extension (predicate logic) · Extension by definitions · Extensionality
F
FO (complexity) · Fair computational tree logic · False (logic) · Fast-growing hierarchy · Feferman–Schütte ordinal · Fiber (mathematics) · Fiction theory · Field of sets · Finitary · Finitary relation · Finite character · Finite model property · Finite model theory · Finite set · First Draft of a Report on the EDVAC · First principle · First uncountable ordinal · First-order logic · First-order predicate · Fixed-point combinator · Fixed-point lemma for normal functions · Fluent (artificial intelligence) · Fodor's lemma · Fold (higher-order function) · Forcing (recursion theory) · Forking extension · Formal calculation · Formal ethics · Formal proof · Formal system · Formation rule · Formula game · Foundations of mathematics · Franco Burgersdijk · Fraïssé's theorem · Fred Galvin · Frederic Brenton Fitch · Frederick Rowbottom · Free Boolean algebra · Free logic · Free variables and bound variables · Frege system · Frege's propositional calculus · Frege–Church ontology · Freiling's axiom of symmetry · Friedman translation · Friedrich Adolf Trendelenburg · Function (mathematics) · Function composition · Functional completeness · Functional predicate · Fuzzy logic · Fuzzy set · Fyodor Shcherbatskoy · Fσ set
G
Gabbay's separation theorem · Gaisi Takeuti · Galileo's paradox · Game semantics · Ganganath Jha · Gangesha Upadhyaya · General frame · General set theory · Generalized quantifier · Generalized selection · Generating set · Generic filter · Gentzen's consistency proof · Geoffrey Hunter (logician) · Geometry of interaction · Georg Cantor · George Boole · George Boolos · George Edward Hughes · George F C Griss · Georgios Sougdouris · Gerald Sacks · Gerhard Gentzen · Gila Sher · Gimel function · Glivenko's theorem · Global square · Gluing axiom · Goodman–Nguyen–van Fraassen algebra · Goodstein's theorem · Gottfried Leibniz · Gottlob Frege · Graham Priest · Graph algebra · Greg Hjorth · Gregory number · Grigore Moisil · Grothendieck topology · Grothendieck universe · Ground axiom · Ground expression · Group with operators · Grundlagen der Mathematik · Grzegorczyk hierarchy · Guarded logic · Géza Fodor (mathematician) · Gödel numbering · Gödel numbering for sequences · Gödel's completeness theorem · Gödel's incompleteness theorems · Gödel's ontological proof · Gödel's speed-up theorem · Gödel's β function · Gödel–Gentzen negative translation · Günter Asser · Gδ set
H
HO (complexity) · HP 3000 · Halpern–Läuchli theorem · Halting problem · Hao Wang (academic) · Hardy field · Hardy hierarchy · Harrop formula · Hartley Rogers, Jr. · Hartogs number · Harvey Friedman · Has-a · Haskell Curry · Hausdorff maximal principle · Heinrich Christoph Wilhelm Sigwart · Heinz-Dieter Ebbinghaus · Henk Barendregt · Hennessy–Milner logic · Henry Aldrich · Henry M. Sheffer · Herbert Enderton · Herbrand interpretation · Herbrand normal form · Herbrand structure · Herbrand's theorem · Herbrandization · Hereditarily countable set · Hereditarily finite set · Hereditary set · Hermann Lotze · Heyting arithmetic · Hidden algebra · High (computability) · Higher-dimensional algebra · Higher-order function · Higher-order logic · Higman's lemma · Hilbert system · Hilbert's axioms · Hilbert's fourth problem · Hilbert's paradox of the Grand Hotel · Hilbert's program · Hilbert–Bernays provability conditions · Hindley–Milner · History of the Church–Turing thesis · History of theory of computation · History of topos theory · Homogeneous (large cardinal property) · Homogeneous relation · Homogeneous tree · Homogeneously Suslin set · Homotopy type theory · Honest leftmost branch · Horizontal line test · Horn clause · Horn logic · Howard Jerome Keisler · Hrushovski construction · Huge cardinal · Hugh Worthington · Hui Shi · Hume's principle · Huzita–Hatori axioms · Hybrid logic · Hyperarithmetical theory · Hypercomputation · Hyperfinite set · Hyperinteger · Hyperreal number · Hypostatic abstraction · Hypothetical syllogism
I
Ideal (set theory) · Idempotence · Identity function · If and only if · Image (mathematics) · Imaginary element · Immanuel Kant · Imperative logic · Implementation of mathematics in set theory · Implicant · Implication graph · Implicational propositional calculus · Impossible event · Impossible world · Impredicativity · Inaccessible cardinal · Inclusion map · Increment theorem · Independence (mathematical logic) · Independence of premise · Independence-friendly logic · Indescribable cardinal · Index set · Index set (recursion theory) · Indexed family · Indicative conditional · Indicator function · Indiscernibles · Inductive set · Inductive set (axiom of infinity) · Ineffable cardinal · Infinitary combinatorics · Infinitary logic · Infinite descending chain · Infinite loop · Infinite set · Infinitely near point · Infinitesimal · Infinity-Borel set · Influence of non-standard analysis · Information diagram · Injective function · Inner model · Inner model theory · Institution (computer science) · Institutional model theory · Intensional logic · Interactive computation · Interior algebra · Intermediate logic · Internal set · Internal set theory · Interpretability · Interpretability logic · Interpretation (logic) · Interpretation (model theory) · Intersection (set theory) · Interval (mathematics) · Interval temporal logic · Intransitivity · Introduction to the Theory of Computation · Intuitionism · Intuitionistic logic · Intuitionistic type theory · Inverse function · Inverse relation · Involutive relation · Irving Copi · Isaac Malitz · Isaac Watts · Ivan Śleszyński · Ivor Grattan-Guinness
J
J. Barkley Rosser · J. Roger Hindley · Jacek Malinowski · Jack Silver · James Ax · James Earl Baumgartner · James F. Allen · James Garson · Jan Łukasiewicz · Jayanta Bhatta · Jean-Yves Béziau · Jeffrey A. Barrett · Jensen hierarchy · Jensen's covering theorem · Jeroen Groenendijk · Jerzy Giedymin · Jerzy Perzanowski · Jerzy Łoś · Jin Yuelin · John Corcoran (logician) · John Crossley (mathematician) · John Etchemendy · John Lemmon · John Neville Keynes · John P. Burgess · John R. Steel · John Stuart Mill · John Venn · John Wallis · John von Neumann · Joint embedding property · Jon Barwise · Joseph Sgro · Journal of Applied Non-Classical Logics · Judgment (mathematical logic) · Judith Roitman · Jónsson cardinal · Jónsson function · Józef Maria Bocheński
K
KK thesis · Kamalaśīla · Kanamori–McAloon theorem · Karl von Prantl · Karnaugh map · Katsuya Eda · Kazimierz Ajdukiewicz · Kazimierz Twardowski · Keith Devlin · Keith Stroyan · Kenneth Kunen · Kinetic logic · Kjartan Ólafsson · Kleene algebra · Kleene fixed-point theorem · Kleene's O · Kleene's T predicate · Kleene's recursion theorem · Kleene–Brouwer order · Kleene–Rosser paradox · Knights of the Lambda Calculus · Kolmogorov complexity · Kripke semantics · Kripke structure (model checking) · Kripke–Platek set theory · Kripke–Platek set theory with urelements · Krull's theorem · Kruskal's tree theorem · Kunen's inconsistency theorem · Kuratowski closure axioms · Kuratowski's free set theorem · Kurepa tree · Kurt Grelling · Kurt Gödel · Kurt Schütte · König's lemma · König's theorem (set theory)
L
L(R) · L. T. F. Gamut · LOGCFL · Ladislav Rieger · Lambda calculus · Lambda cube · Lambda lifting · Lambda-mu calculus · Langton's ant · Language equation · Large Veblen ordinal · Large cardinal · Large countable ordinal · Lars Svenonius · Laver function · Laver table · Laver tree · Law of Continuity · Laws of Form · Lawvere theory · Least fixed point · Least upper bound axiom · Left recursion · Leibniz operator · Leibniz's notation · Leo Harrington · Leon Chwistek · Leon Henkin · Leonard Gillman · Leopold Löwenheim · Lewis Carroll · Lightface analytic game · Limit cardinal · Limit ordinal · Limitation of size · Limits to computation · Lindenbaum's lemma · Lindenbaum–Tarski algebra · Lindström quantifier · Lindström's theorem · Linear logic · Linear temporal logic · Linear temporal logic to Büchi automaton · Linear-time temporal logic · List of Boolean algebra topics · List of Jewish American philosophers · List of axioms · List of computability and complexity topics · List of exceptional set concepts · List of first-order theories · List of formal systems · List of large cardinal properties · List of logic systems · List of mathematical logic topics · List of mathematical symbols · List of properties of sets of reals · List of rules of inference · List of set theory topics · List of statements undecidable in ZFC · List of undecidable problems · List of valid argument forms · Literal (mathematical logic) · Locally finite variety · Loeb space · Log-space transducer · Logic alphabet · Logic for Computable Functions · Logic redundancy · Logical NOR · Logical assertion · Logical biconditional · Logical conjunction · Logical connective · Logical disjunction · Logical equality · Logical graph · Logical machine · Logical matrix · Logical possibility · Logico-linguistic modeling · Logics for computability · Lorenzo Peña · Lossless-Join Decomposition · Low (computability) · Low basis theorem · Ludics · Luitzen Egbertus Jan Brouwer · Lupanov representation · Lusin's separation theorem · Luzin space · Lyubomir Ivanov (explorer) · László Kalmár · Löb's theorem · Löwenheim number · Löwenheim–Skolem theorem
M
MV-algebra · Machine that always halts · Mahlo cardinal · Majority function · Malament–Hogarth spacetime · Many-one reduction · Many-sorted logic · Map (mathematics) · Markov algorithm · Martin Stokhof · Martin measure · Martin's axiom · Martin's maximum · Material conditional · Material implication (rule of inference) · Material nonimplication · Mathematical fallacy · Mathematical induction · Mathematical logic · Mathematical proof · Mathematical structure · Matthew Foreman · Max August Zorn · Maximal set · McCarthy Formalism · Meagre set · Measurable cardinal · Menachem Magidor · Mengenlehreuhr · Mereology · Mereotopology · Metalanguage · Metalogic · Metamath · Metamathematics · Metaphysical necessity · Methodios Anthrakites · Michael D. Morley · Michael Detlefsen · Michael Dummett · Microcontinuity · Milliken's tree theorem · Milner–Rado paradox · Minimal logic · Minimal model (set theory) · Mitchell order · Modal algebra · Modal companion · Modal depth · Modal fictionalism · Modal logic · Modal operator · Modal μ-calculus · Model complete theory · Model of computation · Model theory · Modulus of convergence · Modus non excipiens · Modus ponendo tollens · Modus ponens · Modus tollens · Mogensen–Scott encoding · Mojżesz Presburger · Monad (non-standard analysis) · Monadic Boolean algebra · Monadic predicate calculus · Montague grammar · Morass (set theory) · Moritz Wilhelm Drobisch · Morley rank · Morley's categoricity theorem · Morse–Kelley set theory · Mortality (computability theory) · Moses Schönfinkel · Mostowski collapse lemma · Moti Gitik · Mouse (set theory) · Muhammed Hamdi Yazır · Multi-string Turing machine with input and output · Multi-track Turing machine · Multimodal logic · Multiplicity (mathematics) · Multiset · Multitape Turing machine · Multitape turing machine · Mutual recursion · Myhill isomorphism theorem
N
NIP (model theory) · Naimark's problem · Naive Set Theory (book) · Naive set theory · Nate Ackerman · Natural deduction · Natural number · Near sets · Negation · Negation as failure · Negation normal form · Negational normal form · Neighborhood semantics · Neil Tennant (philosopher) · Nested intervals · New Foundations · Newman's lemma · Newton da Costa · Nice name · Nicod's axiom · Nicolai A. Vasiliev · Nielsen–Schreier theorem · Nisnevich topology · Nixon diamond · Noetherian topological space · Nomogram · Non-Archimedean ordered field · Non-Aristotelian logic · Non-classical logic · Non-deterministic Turing machine · Non-monotonic logic · Non-rigid designator · Non-standard analysis · Non-standard calculus · Non-standard model · Non-standard model of arithmetic · Non-well-founded set theory · Noncommutative logic · Nondeterministic algorithm · Noneism · Normal form (abstract rewriting) · Normal function · Normal measure · Normal modal logic · Normal number · Normalisation by evaluation · Normalization property (abstract rewriting) · NuPRL · Nuel Belnap · Numbering (computability theory)
O
O-minimal theory · Object language · Ockham algebra · Olaf Helmer · Omega language · Omega-categorical theory · On Formally Undecidable Propositions of Principia Mathematica and Related Systems · On Numbers and Games · Ontic · Ontological maximalism · Open sentence · Oracle machine · Order topology · Order type · Ordered pair · Ordinal analysis · Ordinal arithmetic · Ordinal collapsing function · Ordinal definable set · Ordinal logic · Ordinal notation · Ordinal number · Original proof of Gödel's completeness theorem · Outline of logic · Overspill
P
PA degree · PCF theory · Pairing function · Paraconsistent logic · Paraconsistent mathematics · Paradoxes of set theory · Paradoxical set · Parallel computation thesis · Parallel postulate · Parallel terraced scan · Paramartha · Paris–Harrington theorem · Parity function · Parity game · Partial equivalence relation · Partial function · Partially ordered set · Partition of a set · Pasch's axiom · Pasch's theorem · Pattern calculus · Paul Benacerraf · Paul Bernays · Paul Cohen (mathematician) · Paul Finsler · Paul Gochet · Paul Halmos · Paul Lorenzen · Paul Mahlo · Pavel Tichý · Peano axioms · Peano-Russell notation · Peirce's law · Penelope Maddy · Per Martin-Löf · Perfect set property · Peter A. Loeb · Peter Aczel · Peter B. Andrews (mathematician) · Petr Vopěnka · Petrick's method · Philip Ehrlich · Philip Jourdain · Philo the Dialectician · Physical symbol system · Playfair's axiom · Plural quantification · Pocket set theory · Point-line-plane postulate · Pointclass · Pointed set · Pointer machine · Polish space · Polyadic algebra · Polymorphic recursion · Positive set theory · Possible world · Post correspondence problem · Post's lattice · Post's theorem · Post–Turing machine · Potential isomorphism · Potentiality and actuality · Power set · Powerset construction · Predicate (mathematical logic) · Predicate abstraction · Predicate calculus · Predicate functor logic · Predicate logic · Predicate variable · Preferential entailment · Pregeometry (model theory) · Prenex normal form · Preorder · Preordered class · Presburger arithmetic · Prewellordering · Prezi · Prime model · Primitive notion · Primitive recursive arithmetic · Primitive recursive function · Primitive recursive functional · Principia Mathematica · Principle of distributivity · Probabilistic CTL · Probabilistic Turing machine · Probabilistic logic · Probability axioms · Problem of future contingents · Product term · Projection (relational algebra) · Projection (set theory) · Projective hierarchy · Proof (truth) · Proof by contrapositive · Proof calculus · Proof compression · Proof mining · Proof net · Proof of impossibility · Proof procedure · Proof sketch for Gödel's first incompleteness theorem · Proof theory · Proof-theoretic semantics · Proper forcing axiom · Property of Baire · Proposition · Propositional calculus · Propositional directed acyclic graph · Propositional formula · Propositional function · Propositional proof system · Propositional variable · Provability logic · Pseudo-order · Pseudoelementary class · Pure type system · Péter Komjáth
Q
Quantification · Quantificational variability effect · Quantifier elimination · Quantum Byzantine agreement · Quantum Turing machine · Quantum logic · Quasi-set theory · Quasiidentity · Quasitransitive relation · Quasivariety · Quine–McCluskey algorithm · Quotient algebra
R
R. R. Rockingham Gill · Raghunatha Siromani · Ralph Johnson (philosopher) · Rami Grossberg · Ramified forcing · Ramsey cardinal · Randolph diagram · Random access machine · Random access stored program machine · Range (mathematics) · Range problem · Rank-into-rank · Raphael M. Robinson · Rational consequence relation · Ray Turner · Raymond Smullyan · Read-only Turing machine · Read-only right moving Turing machines · Real closed ring · Real computation · Realizability · Recurrence relation · Recursion · Recursion (computer science) · Recursion termination · Recursive · Recursive definition · Recursive function · Recursive language · Recursive languages and sets · Recursive ordinal · Recursive set · Recursively enumerable language · Recursively enumerable set · Recursively inseparable sets · Reduced product · Reduct · Reduction (recursion theory) · Reed-Muller expansion · Reflecting cardinal · Reflection principle · Reflexive closure · Reflexive relation · Register machine · Regular cardinal · Regular modal logic · Reinhardt cardinal · Relation algebra · Relation construction · Relevance logic · Remarkable cardinal · Rename (relational algebra) · Representation (mathematics) · Residuated Boolean algebra · Residuated lattice · Resolution (logic) · Reverse mathematics · Rewriting · Rho calculus · Rice's theorem · Rice–Shapiro theorem · Richard Crakanthorpe · Richard Ferrybridge · Richard Jeffrey · Richard Laver · Richard Montague · Richard Shore · Richard Whately · Richardson's theorem · Rigid designator · Robbins algebra · Robert Brandom · Robert Feys · Robert Goldblatt · Robert Kowalski · Robert Lawson Vaught · Robert M. Solovay · Robertson–Seymour theorem · Robin Gandy · Robinson arithmetic · Robinson's joint consistency theorem · Rod Downey · Rogers' equivalence theorem · Rohit Jivanlal Parikh · Roland Fraïssé · Ronald Jensen · Rosser's trick · Rough set · Rowbottom cardinal · Rule of inference · Rule of replacement · Rules of passage (logic) · Russell's paradox · Ruth Barcan Marcus · Rvachev function
S
S (set theory) · S. Barry Cooper · S5 (modal logic) · SKI combinator calculus · SLD resolution · SO (complexity) · SXM (computational model) · Saharon Shelah · Sahlqvist formula · Satisfiability · Saturated model · Scale (descriptive set theory) · Scale factor (computer science) · Schröder–Bernstein property · Schröder–Bernstein theorem for measurable spaces · Scott's trick · Scott–Potter set theory · Second-order arithmetic · Second-order logic · Second-order predicate · Second-order propositional logic · Selection (relational algebra) · Self-reference · Self-verifying theories · Semen Samsonovich Kutateladze · Semi-Thue system · Semicomputable function · Semiorder · Semiset · Sentence (mathematical logic) · Separating set · Separation logic · Separoid · Sequent · Sequent calculus · Sergei Adian · Series-parallel partial order · Set (mathematics) · Set function · Set notation · Set theory · Set theory of the real line · Set-builder notation · Set-theoretic definition of natural numbers · Set-theoretic limit · Set-theoretic topology · Setoid · Shadow square · Shannon's expansion · Sheffer stroke · Shelah cardinal · Shrewd cardinal · Siegfried Gottwald · Sigma-algebra · Signature (logic) · Silver machine · Simon B. Kochen · Simple set · Simple theorems in the algebra of sets · Simplification · Simply typed lambda calculus · Singleton (mathematics) · Singular cardinals hypothesis · Skolem normal form · Skolem's paradox · Slow-growing hierarchy · Small Veblen ordinal · Smith–Volterra–Cantor set · Smn theorem · Smooth infinitesimal analysis · Soft set · Solomon Feferman · Solomon Passy · Solovay model · Soundness · Soundness (interactive proof) · Special case · Specker sequence · Spectrum of a theory · Stability spectrum · Stable group · Stable theory · Stack machine · Standard part function · Standard translation · Stanisław Jaśkowski · Stanisław Leśniewski · Statements true in L · Stathis Zachos · Static discipline · Stationary set · Stephen Cole Kleene · Steven Kuhn · Stone algebra · Stone functor · Stone's representation theorem for Boolean algebras · Stoneham number · Stratification (mathematics) · Stream X-Machine · Strength (mathematical logic) · Strict conditional · Strict logic · Strict weak ordering · String operations · Strong cardinal · Strong partition cardinal · Strongly compact cardinal · Strongly minimal theory · Structural induction · Structural proof theory · Structural rule · Structure (mathematical logic) · Structured program theorem · Subalgebra · Subcompact cardinal · Subcountability · Subdirect product · Subdirectly irreducible algebra · Subitizing · Subjective logic · Subjunctive possibility · Subobject classifier · Subset · Substitution (logic) · Substructural logic · Substructure · Subtle cardinal · Successor cardinal · Successor ordinal · Sudan function · Sunflower (mathematics) · Super-recursive algorithm · Supercombinator · Supercompact cardinal · Supernatural numbers · Superposition calculus · Superstrong cardinal · Supertask · Support (mathematics) · Surendra Sheodas Barlingay · Surjective function · Surreal number · Susanna S. Epp · Suslin cardinal · Suslin representation · Suslin set · Suslin tree · Suslin's problem · Switching circuit theory · Sy Friedman · Symmetric Boolean function · Symmetric Turing machine · Symmetric closure · Symmetric difference · Symmetric relation · Symmetric set · Symmetry testing · Syncategorematic term · System F · System F-sub · System L · Systems of Logic Based on Ordinals · Szpilrajn extension theorem
T
T-schema · Table-maker's dilemma · Tadeusz Czeżowski · Tadeusz Kotarbiński · Tail call · Tail recursion · Tail sequence · Takeuti's conjecture · Tall cardinal · Tame group · Tarski's axiomatization of the reals · Tarski's axioms · Tarski's exponential function problem · Tarski's high school algebra problem · Tarski's undefinability theorem · Tarski–Grothendieck set theory · Tarski–Kuratowski algorithm · Tautology (logic) · Tautology (rule of inference) · Tav (number) · Teichmüller-Tukey lemma · Temporal logic · Temporal logic in finite-state verification · Temporal logic of actions · Ten15 · Tennenbaum's theorem · Term (logic) · Term algebra · Ternary relation · The Paradoxes of the Infinite · Theodore Slaman · Theory (mathematical logic) · Theory of computation · Theory of pure equality · Theory of relations · Thomas Jech · Thoralf Skolem · Timeline of mathematical logic · To Mock a Mockingbird · Tolerance relation · Tolerant sequence · Tomek Bartoszyński · Topos · Torkel Franzén · Total order · Total relation · Trakhtenbrot's theorem · Transcomputational problem · Transfer principle · Transfinite arithmetic · Transfinite induction · Transfinite number · Transitive closure · Transitive reduction · Transitive relation · Transitive set · Transposition (logic) · Transputer · Tree (descriptive set theory) · Tree (set theory) · Trichotomy (mathematics) · True arithmetic · True quantified Boolean formula · Truth function · Truth table · Truth value · Truth-table reduction · Tuple · Turing Machine simulator · Turing completeness · Turing degree · Turing jump · Turing machine · Turing machine equivalents · Turing machine examples · Turing machine gallery · Turing reduction · Turing switch · Turing's proof · Turmite · Turnstile (symbol) · Two Generals' Problem · Two-dimensionalism · Two-element Boolean algebra · Two-way deterministic finite automaton · Tychonoff's theorem · Type (model theory) · Type inhabitation · Type theory · Typed lambda calculus · Typographical Number Theory
U
Udayana · Udyotakara · Ulrich Kohlenbach · Ultrafilter · Ultraproduct · Uncountable set · Undecidable problem · Undefined value · Unfoldable cardinal · Uniformization (set theory) · Unimodality · Union (set theory) · Uniqueness quantification · Unit interval · Universal Turing machine · Universal algebra · Universal algebraic geometry · Universal generalization · Universal instantiation · Universal quantification · Universal set · Universally Baire set · Universally measurable set · Universe (mathematics) · Unordered pair · Unsatisfiable core · Urelement · Utm theorem
V
VIPER microprocessor · Vacuous truth · Valentina Harizanov · Valery Glivenko · Valuation (logic) · Variety (universal algebra) · Vasubandhu · Vaught conjecture · Veblen function · Vector spaces without fields · Venn diagram · Vic Dudman · Vicious circle principle · Viggo Stoltenberg-Hansen · Vitali set · Vivid designator · Volker Halbach · Von Neumann cardinal assignment · Von Neumann universal constructor · Von Neumann universe · Von Neumann–Bernays–Gödel set theory · Vopěnka's principle · Vācaspati Miśra · Vātsyāyana
W
W. Hugh Woodin · Wadge hierarchy · Walter Burley · Walter Carnielli · Walter Dubislav · Walther recursion · Wang B-machine · Wang tile · Weak interpretability · Weakly compact cardinal · Weakly o-minimal structure · Well-formed formula · Well-founded relation · Well-order · Well-ordering principle · Well-ordering theorem · Well-quasi-ordering · Well-structured transition system · Whitehead problem · Whitehead's point-free geometry · Wilfrid Hodges · Wilkie's theorem · William Boone (mathematician) · William Ernest Johnson · William Kneale · William S. Zwicker · William Temple (logician) · William W. Tait · William of Ockham · Window operator · Witness (mathematics) · Wolfram axiom · Wolfram's 2-state 3-symbol Turing machine · Woodin cardinal
X
Y
Yao's test · Yasovijaya · Yehoshua Bar-Hillel · Yiannis N. Moschovakis · Yuri Matiyasevich
Z
Zaid Orudzhev · Zariski geometry · Zeno machine · Zermelo set theory · Zermelo–Fraenkel set theory · Zero dagger · Zero sharp · Zero-based numbering · Zero-dimensional space · Zeroth-order logic · Zhegalkin polynomial · Zhuangzi · Ziauddin Ahmed · Zorn's lemma · Zygmunt Zawirski
Other
(ε, δ)-definition of limit · 2-valued morphism · Łoś–Tarski preservation theorem · Śāntarakṣita · Ε₀ · Η-conversion · Θ (set theory) · Μ operator · Μ-recursive function · Π01 class · Ψ₀(Ωω) · Ω-consistent theory · Ω-language · Ω-logic