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 intensionally broad, including both core mathematical logic and closely related topics.

A
A dicto simpliciter· A priori and a posteriori· A-equivalence· A. H. Lightstone· AB5 category· AD+· Abraham Fraenkel· Abraham Robinson· Absoluteness· Absorption (logic)· Absorption law· Abstract Job Object· Abstract algebraic logic· Abstract data type· Abstract elementary class· Abstract logic· Abstract machine· Abstract model theory· Abstract nonsense· Abstract state machines· Abstract type· Accessibility relation· Accessible category· Accident (fallacy)· Accident (philosophy)· Ackermann coding· Ackermann function· Ackermann ordinal· Ackermann set theory· Action algebra· Actualism· Aczel's anti-foundation axiom· Ad hoc polymorphism· Adam Parvipontanus· Adam Smith· Additively indecomposable ordinal· Adequate pointclass· Admissible numbering· Admissible ordinal· Admissible rule· Admissible set· Adolf Lindenbaum· Adriaan Heereboord· Affine logic· Affirmative conclusion from a negative premise· Affirming a disjunct· Affirming the consequent· Age (model theory)· Agent-based model· Akihiro Kanamori· Alain Badiou· Alan Code· Alan Ross Anderson· Alan Turing· Alasdair Urquhart· Albert Muchnik· Albert of Saxony (philosopher)· Aleksandr Zinovyev· Aleph number· Alethic modality· Alex Wilkie· Alexander Broadie· Alexander Macfarlane· Alexander S. Kechris· Alexandre Borovik· Alfred Tarski· Algebra Universalis· Algebra of sets· Algebraic data type· Algebraic definition· Algebraic function· Algebraic logic· Algebraic normal form· Algebraic semantics (mathematical logic)· Algebraic sentence· Algebraic stack· Algebraic theory· Algorithm· Algorithm characterizations· Algorithm examples· Algorithmic game theory· Algorithmic information theory· Algorithmic probability· Alice Ambrose· Allegory (category theory)· Almost· Alonzo Church· Alpha recursion theory· Alternating Turing machine· Alternating-time Temporal Logic· Alternative set theory· Amalgamation property· Amorphous set· Analytic proof· Analytic set· Analytical hierarchy· Anamorphism· Anatoly Maltsev· Ancestral relation· Andreas Blass· Andrey Markov, Jr.· Andrzej Grzegorczyk· Andrzej Mostowski· András Hajnal· André Joyal· Angle of parallelism· Angus Macintyre· Anonymous function· Anonymous recursion· Anthony Weston· Antiautomorphism· Antilinear map· Antisymmetric relation· Apartness relation· Apodicticity· Apomorphism· Applicative computing systems· Applied general equilibrium· Apply· Archive for Mathematical Logic· Arend Heyting· Aristotle· Arithmetical hierarchy· Arithmetical set· Arity· Arm's-length recursion· Aronszajn line· Aronszajn tree· Arthur Prior· Artin–Mazur zeta function· Ascending chain condition· Assertoric· Association for Logic, Language and Information· Association for Symbolic Logic· Associative property· Asymmetric relation· Atiyah–Bott fixed-point theorem· Atomic formula· Atomic model (mathematical logic)· Atomic sentence· Attractor· Attribute domain· Attributional calculus· August Friedrich Müller· Augustus De Morgan· Auto magma object· Autoepistemic logic· Automath· Automatic group· Automatic semigroup· Autonomous convergence theorem· 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 reducibility· 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 Lévy

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 fixed-point theorem· Banach–Mazur game· Banach–Tarski paradox· Banks–Zaks fixed point· Bar induction· Bar recursion· Baralipton· Barcan formula· Baroco· Barwise compactness theorem· Bas van Fraassen· Basis (universal algebra)· Beck's monadicity theorem· Benedict Freedman· Benno Erdmann· Benson Mates· Bent function· Bernard Bolzano· Bernays–Schönfinkel class· Bertrand Russell· Beta normal form· Beth definability· Beth number· Better-quasi-ordering· Bicategory· Biconditional elimination· Biconditional introduction· Bidirectional transformation· Bifurcation diagram· Bifurcation theory· Biholomorphism· Bijection· Bijection, injection and surjection· Billiard-ball computer· Binary combinatory logic· Binary decision· Binary decision diagram· Binary lambda calculus· Binary relation· Biological applications of bifurcation theory· Birkhoff's axioms· Bitwise operation· Bjarni Jónsson· Blockhead (computer system)· Blue sky catastrophe· Blum axioms· Blum–Shub–Smale machine· Bob Meyer (logician)· Bogdanov-Takens bifurcation· Bohuslav Balcar· Boole's syllogistic· Boolean algebra· Boolean algebra (structure)· Boolean algebras canonically defined· Boolean conjunctive query· Boolean data type· Boolean domain· Boolean expression· Boolean function· Boolean operations in computer-aided design· Boolean prime ideal theorem· Boolean ring· Boolean satisfiability problem· Boolean-valued function· Boolean-valued model· Booleo· Borel determinacy theorem· Borel equivalence relation· Borel fixed-point theorem· Borel functional calculus· Borel hierarchy· Borel right process· Borel set· Bottom type· Bounded quantification· Bounded quantifier· Bourbaki–Witt theorem· Boyan Petkanchin· Branching quantifier· Bremermann's limit· Brian McGuinness· Brian Skyrms· Brooks–Iyengar algorithm· Brouwer fixed-point theorem· Brouwer–Heyting–Kolmogorov interpretation· Brouwer–Hilbert controversy· Brown's representability theorem· Bruhat–Tits fixed point theorem· Bulk synchronous parallel· Bunched logic· Bundle (mathematics)· Burali-Forti paradox· Burroughs large systems· Busy beaver· Byzantine fault tolerance· Böhm tree· Büchi arithmetic· Büchi automaton

C
C-minimal theory· C. J. F. Williams· CARDboard Illustrative Aid to Computation· CIP-Tool· CTL*· Cabal (set theory)· Cache-oblivious algorithm· Calculus of 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· Caristi fixed-point theorem· Carleman matrix· Carmichael function· Carroll diagram· Cartesian closed category· Cartesian monoid· Cartesian product· Carveth Read· Case analysis· Catamorphism· Catastrophe theory· Categorial grammar· Categorical abstract machine· Categorical algebra· Categorical logic· Categorical proposition· Categorical quantum mechanics· Categorical set theory· Categories for the Working Mathematician· Categorification· Category (mathematics)· Category of abelian groups· Category of elements· Category of finite dimensional Hilbert spaces· Category of groups· Category of magmas· Category of manifolds· Category of medial magmas· Category of metric spaces· Category of preordered sets· Category of relations· Category of rings· Category of sets· Category of small categories· Category of topological spaces· Category of topological vector spaces· Category of vector spaces· Category theory· Centered set· Centre (category)· Cesare Burali-Forti· Chaff algorithm· Chain rule for Kolmogorov complexity· Chaitin's constant· Chang's conjecture· Chaotic hysteresis· Characteristic sequence· Characterizations of the category of topological spaces· Charles Ehresmann· Charles Graves (bishop)· Charles Parsons (philosopher)· Charles Sanders Peirce· Charles de Bovelles· Chaïm Perelman· Chen Chung Chang· Choice function· Choice sequence· Chris Freiling· Christoph Gottfried Bardili· Christoph von Sigwart· Christopher Airay· Chrysippus· Chu space· Church encoding· Church's thesis (constructive mathematics)· Church–Kleene ordinal· Church–Rosser theorem· Church–Turing thesis· Church–Turing–Deutsch principle· Cichoń's diagram· Circuit (computer science)· Circuit minimization· Circuit satisfiability problem· Circumscription (logic)· Clarence Irving Lewis· Clark Glymour· Class (set theory)· Classical logic· Classical mathematics· Classical modal logic· Classification of Fatou components· Clause (logic)· Clone (algebra)· Closure operator· Club filter· Club set· Clubsuit· Coanalytic set· Cocountability· Codd's theorem· Code (set theory)· Codomain· Cofinality· Cofiniteness· Coherence condition· Coherence theorem· Coherent space· Coimage· Coincidence point· Coinduction· Cointerpretability· Cokernel· Colin Howson· Colin McLarty· Combinatory categorial grammar· Combinatory logic· Combs method· Comma category· Common knowledge (logic)· Communicating X-Machine· Communicating finite-state machine· Commutative diagram· Commutative property· Commutativity of conjunction· Compactness theorem· Comparability· Complement (set theory)· Complete Boolean algebra· Complete numbering· Complete theory· Completeness· Completeness of atomic initial sequents· Composite data type· Composition of relations· Compression theorem· 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 indistinguishability· Computational model· Computational semiotics· Computing with Memory· Conceptual necessity· Concrete category· Condensation lemma· Conditional proof· Conditional quantifier· Conditioned disjunction· Cone (category theory)· Congruence relation· Conjunction introduction· Conjunctive normal form· Conley index theory· Conley–Zehnder theorem· Connected category· Connexive logic· Consensus theorem· Consequentia mirabilis· Conservative extension· Conservativity theorem· Consistency· Constant function· Constantin Rădulescu-Motru· Constructible universe· Constructive analysis· Constructive dilemma· Constructive non-standard analysis· Constructive proof· Constructive set theory· Constructivism (mathematics)· Container (type theory)· Context change potential· Contingency (philosophy)· Continuous function (set theory)· Continuous functional calculus· Continuous predicate· Continuum (set theory)· Continuum function· Continuum hypothesis· Contour set· Contraction mapping· Contradiction· Contraposition· Contraposition (traditional logic)· Contrary (logic)· Controversy over Cantor's theory· Converse (logic)· Converse accident· Converse implication· Converse nonimplication· Conway base 13 function· Cooper Harold Langford· Coq· Core model· Corecursion· Coreflexive relation· Correlation immunity· Cotangent complex· Countable chain condition· Countable set· Counter automaton· Counter machine· Counter machine reference model· Counter-machine model· Counting· Counting quantification· Countryman line· Course of values induction· Course-of-values recursion· Covariance and contravariance (computer science)· Covering lemma· Covering relation· Craig interpolation· Craig's theorem· Creative and productive sets· Crisis (dynamical systems)· Critical point (set theory)· Criticism of non-standard analysis· Crossing sequence (Turing machines)· Crystal Ball function· Curry's paradox· Currying· Curry–Howard correspondence· Cut-elimination theorem· Cycle detection· Cycles and fixed points· Cyclic category· Cyclic negation· Cylindric algebra· Cylindric numbering· Cylindrification· Czesław Lejewski· Czesław Ryll-Nardzewski

D
Dag Prawitz· Dana Scott· Database normalization· Dataflow· David Blitz· David Kaplan (philosopher)· David Lewis (philosopher)· David Makinson· David Seetapun· David Wiggins· Davis–Putnam algorithm· De Bruijn index· De Bruijn notation· De Bruijn–Erdős theorem (graph theory)· De Morgan algebra· De Morgan's laws· Decidability (logic)· Decidable sublanguages of set theory· Decision field theory· Decision problem· Decision tree model· Dedekind number· Dedekind-infinite set· Deduction theorem· Deductive closure· Deductive system· Deep inference· Default logic· Defeasible logic· Definable real number· Definable set· Demonic composition· Deng Xi· Denotational semantics· Dense order· Denying the antecedent· Deontic logic· Dependence logic· Dependence relation· Dependency relation· Dependent type· Derangement· Derivative· Derivative algebra (abstract algebra)· Derived type· Descent (mathematics)· Description logic· Description number· Descriptive complexity theory· Descriptive set theory· Destructive dilemma· Determinacy· Deterministic finite automaton· Deterministic pushdown automaton· Deviant logic· Dharmakirti· Diaconescu's theorem· Diagonal intersection· Diagonal lemma· Dialectica interpretation· Dialectica space· Dialetheism· Diamond principle· Dick de Jongh· Dictum de omni et nullo· Diderik Batens· Diffeology· Difference hierarchy· Differentiably finite function· Differential coefficient· Differentially closed field· Digital physics· Dignāga· Dimensional operator· Dimiter Skordev· Diodorus Cronus· Direct recursion· Directed set· Director string· Dirk van Dalen· Discontinuous linear map· Discrete category· Discrete system· Disjoint sets· Disjoint union· Disjunction and existence properties· Disjunction elimination· Disjunction introduction· Disjunctive normal form· Disjunctive syllogism· Distributive category· Distributive property· Divergence (computer science)· Domain of a function· Domain of discourse· Domain theory· Donald A. Martin· Donkey pronoun· Double groupoid· Double negation· Double negative elimination· Double recursion· Double turnstile· Double-negation translation· Dov Gabbay· Doxastic logic· Drinker paradox· Droste effect· Dual (category theory)· Duality theory for distributive lattices· Duck typing· Dugald Macpherson· Duration calculus· Dynamic logic (modal logic)

E
EL++· ELEMENTARY· Earle–Hamilton fixed-point theorem· Easton's theorem· Eckmann–Hilton argument· Edmund Husserl· Edward Kofler· Edward Nelson· Effect system· Effective Polish space· Effective descriptive set theory· Effective dimension· Effective domain· Effective method· Effective topos· Ehrenfeucht–Fraïssé game· Ehrenfeucht–Mostowski theorem· Ehud Hrushovski· Eilenberg–Steenrod axioms· Elasticity of a function· Element (category theory)· Element (mathematics)· Elementary Calculus: An Infinitesimal Approach· Elementary class· Elementary definition· Elementary diagram· Elementary equivalence· Elementary function arithmetic· Elementary sentence· Elementary theory· Elliott Mendelson· Embedded pushdown automaton· Embedding· Emil Leon Post· Emily Jones (philosopher)· Empty domain· Empty function· Empty set· Empty type· End extension· End term· Endomorphism ring· Enriched category· Enthymeme· Entitative graph· Entscheidungsproblem· Enumerated type· Enumeration· Epistemic closure· Epistemic modal logic· Epistemic possibility· Epsilon calculus· Epsilon-induction· Equaliser (mathematics)· Equational logic· Equiconsistency· Equinumerosity· Equisatisfiability· Equivalence class· Equivalence of categories· Equivalence relation· Erasure (logic)· Erdős cardinal· Erdős–Rado theorem· Eric Charles Milner· Ernst Mally· Ernst Specker· Ernst Zermelo· Esquisse d'un Programme· Essence· Euclidean relation· Euler diagram· European Summer School in Logic, Language and Information· Evasive Boolean function· Even and odd ordinals· Event-driven finite-state machine· Evert Willem Beth· Evolution in Variable Environment· Exceptional isomorphism· Exclusive or· Existential fallacy· Existential generalization· Existential instantiation· Existential quantification· Existential theory of the reals· Existential type· 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 (semantics)· Extension by definitions· Extensional type theory· Extensionality· Extranatural transformation

F
F-algebra· F-coalgebra· FO (complexity)· FRACTRAN· Factorization system· Fair computational tree logic· Fallacy of exclusive premises· Fallacy of four terms· Fallacy of necessity· Fallacy of the undistributed middle· False (logic)· Fast-growing hierarchy· Feferman–Schütte ordinal· Feigenbaum constants· Ferdinand Canning Scott Schiller· Fiber (mathematics)· Fibration· Fibred category· Fiction theory· Field of sets· Filled Julia set· Filtered category· FinOrd· FinSet· Finitary· Finitary relation· Finite character· Finite model property· Finite model theory· Finite set· Finite state machine with datapath· Finite state transducer· Finite-state machine· Finitely generated object· Finitism· First Draft of a Report on the EDVAC· First principle· First uncountable ordinal· First-order logic· First-order predicate· Fixed point (mathematics)· Fixed points of isometry groups in Euclidean space· Fixed-point combinator· Fixed-point index· Fixed-point lemma for normal functions· Fixed-point property· Fixed-point space· Fixed-point theorem· Fixed-point theorems in infinite-dimensional spaces· Fluent (artificial intelligence)· Fodor's lemma· Fold (higher-order function)· Forcing (mathematics)· Forcing (recursion theory)· Forking extension· Formal calculation· Formal ethics· Formal grammar· Formal proof· Formal system· Formation rule· Formula game· Foundations of geometry· Foundations of mathematics· Four-valued logic· Francis Anderson (philosopher)· Franco Burgersdijk· Fraïssé's theorem· Fred Galvin· Frederic Brenton Fitch· Frederic Tamler Sommers· Frederick Rowbottom· Free Boolean algebra· Free logic· Free variables and bound variables· Frege system· Frege's propositional calculus· Frege's theorem· Frege–Church ontology· Freiling's axiom of symmetry· Friedberg numbering· Friedman translation· Friedrich Adolf Trendelenburg· Function (mathematics)· Function application· Function composition· Function type· Functional calculus· Functional completeness· Functional decomposition· Functional form· Functional predicate· Functional renormalization group· Functor (type theory)· Functor category· Fuzzy logic· Fuzzy set· Fyodor Shcherbatskoy· Fσ set

G
Gabbay's separation theorem· Gabriel–Popesco theorem· Gaisi Takeuti· Galileo's paradox· Game semantics· Ganganath Jha· Gangesha Upadhyaya· General existence theorem of discontinuous maps· General frame· General set theory· Generalized Ozaki cost function· Generalized algebraic data type· Generalized quantifier· Generalized selection· Generative recursion· Generator (category theory)· Generator (mathematics)· Generic filter· Gentzen's consistency proof· Geoffrey Hunter (logician)· Geometry of interaction· Georg Cantor· Georg Henrik von Wright· George Boole· George Boolos· George Edward Hughes· George F C Griss· George Jardine· George Lokert· Georgios Sougdouris· Gerald Sacks· Gerhard Gentzen· Gila Sher· Gimel function· Girard's paradox· Glide reflection· Global section functor· Global square· Glossary of category theory· Gluing axiom· Good and necessary consequence· Goodman–Nguyen–van Fraassen algebra· Goodstein's theorem· Goswin Karl Uphues· Gottfried Wilhelm Leibniz· Gottlob Frege· Graded category· Graded vector space· Graham Priest· Graph algebra· Graph of a function· Greg Hjorth· Gregory Chaitin· Gregory number· Grigore Moisil· Grothendieck category· Grothendieck construction· Grothendieck topology· Grothendieck universe· Grothendieck's Galois theory· Grothendieck's relative point of view· Ground axiom· Ground expression· Group with operators· Groupoid· 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ünter Asser· Gδ set

H
HO (complexity)· HP 3000· Haim Gaifman· Hairy ball theorem· Halpern–Läuchli theorem· Halting problem· Hans Hahn (mathematician)· Hans Sluga· 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· Henricus Reneri· Henry Aldrich· Henry Babcock Veatch· Henry M. Sheffer· Henryk Struve· Herbert Enderton· Herbrand interpretation· Herbrand normal form· Herbrand structure· Herbrand's theorem· Herbrandization· Hereditarily countable set· Hereditarily finite set· Hereditary property· Hereditary set· Herman ring· Hermann Lotze· Heteroclinic bifurcation· Heyting algebra· Heyting arithmetic· Heyting field· Hidden algebra· High (computability)· High-dimensional model representation· Higher category theory· Higher-dimensional algebra· Higher-order abstract syntax· 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 the function concept· History of theory of computation· History of topos theory· History of type theory· Hoare logic· Holomorphic functional calculus· Homeomorphism· Homoclinic bifurcation· Homogeneous (large cardinal property)· Homogeneous relation· Homogeneous tree· Homogeneously Suslin set· Homomorphic secret sharing· Homotopy category· Homotopy type theory· Honest leftmost branch· Hopf bifurcation· Hopfian object· Horizontal line test· Horn clause· Horn logic· Howard Jerome Keisler· Hrushovski construction· Hubbard–Stratonovich transformation· Huge cardinal· Hugh Worthington· Hui Shi· Hume's principle· Huzita–Hatori axioms· Hybrid logic· Hylomorphism (computer science)· Hyperarithmetical theory· Hyperbolic equilibrium point· Hyperbolic set· Hypercomplex analysis· Hypercomputation· Hyperfinite set· Hyperinteger· Hyperreal number· Hypostatic abstraction· Hypothetical syllogism

I
Ideal (set theory)· Idempotence· Idempotency of entailment· Identity function· Idris Azad· If and only if· Ignite (microprocessor)· Illicit contrary· Illicit major· Illicit minor· Illicit subalternation· Illicit subcontrary· Image (category theory)· Image (mathematics)· Imaginary element· Immanuel Kant· Immediate inference· Imperative logic· Implementation of mathematics in set theory· Implicant· Implication graph· Implicational propositional calculus· Impossible world· Impredicativity· Inaccessible cardinal· Inayatullah Khan Mashriqi· Inclusion map· Increment theorem· Indecomposability· Independence (mathematical logic)· Independence of premise· Independence-friendly logic· Indescribable cardinal· Index set· Index set (recursion theory)· Indexed family· Indicative conditional· Indicator function· Indirect recursion· Indiscernibles· Induced homomorphism· Induction-recursion (type theory)· Inductive data type· Inductive set· Ineffable cardinal· Infinitary combinatorics· Infinitary logic· Infinite compositions of analytic functions· Infinite descending chain· Infinite loop· Infinite set· Infinite-period bifurcation· Infinitely near point· Infinitesimal· Infinity-Borel set· Influence of non-standard analysis· Information diagram· Information geometry· Infrared fixed point· Inhabited set· Initial algebra· Injective cogenerator· Injective function· Injective object· Inner model· Inner model theory· Institution (computer science)· Institutional model theory· Integral· Intensional logic· Intensional type theory· Interaction nets· Interactive computation· Interior algebra· Intermediate logic· Internal category· 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 (logic)· Inverse function· Inverse relation· Inversion transformation· Involution (mathematics)· Involutive relation· Ion Petrovici· Irving Copi· Isaac Malitz· Isaac Watts· Isbell conjugacy· Isolating neighborhood· Isometry· Isomorphism-closed subcategory· Iterated function· Ivan Śleszyński· Ivor Grattan-Guinness

J
J. Barkley Rosser· J. Roger Hindley· Jaakko Hintikka· Jacek Malinowski· Jack Silver· Jacques Feldbau· Jacques Herbrand· James Ax· James Earl Baumgartner· James F. Allen· James Garson· Jan Denef· Jan Łukasiewicz· Janina Hosiasson-Lindenbaum· Jayanta Bhatta· Jean Cavaillès· Jean Nicod· Jean-Yves Béziau· Jean-Yves Girard· Jeffrey A. Barrett· Jensen hierarchy· Jensen's covering theorem· Jeremy Avigad· Jeroen Groenendijk· Jerzy Giedymin· Jerzy Perzanowski· Jerzy Łoś· Jin Yuelin· John C. Baez· John Corcoran (logician)· John Crossley (mathematician)· John Etchemendy· John Lane Bell· John Lemmon· John Neville Keynes· John P. Burgess· John Perry (philosopher)· John R. Isbell· John R. Steel· John Stuart Mill· John Venn· John Wallis· John von Neumann· Join (sigma algebra)· Joint embedding property· Jon Barwise· Jonathan Lear· Joseph Diaz Gergonne· Joseph Sgro· Journal of Applied Non-Classical Logics· Judgment (mathematical logic)· Judith Roitman· Julia Robinson· Julia set· Jónsson cardinal· Jónsson function· Józef Maria Bocheński

K
K-equivalence· KK thesis· Kahn process networks· Kakutani fixed-point theorem· Kamalaśīla· Kan extension· Kanamori–McAloon theorem· Karl von Prantl· Karnaugh map· Karoubi envelope· Katsuya Eda· Kazimierz Ajdukiewicz· Kazimierz Twardowski· Keith Devlin· Keith Stroyan· Kenneth Kunen· Kernel (category theory)· Kind (type theory)· 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· Knaster's condition· Knaster–Kuratowski–Mazurkiewicz lemma· Knaster–Tarski theorem· Knights of the Lambda Calculus· Knut Erik Tranøy· Kolmogorov complexity· Kolmogorov structure function· Kripke semantics· Kripke structure (model checking)· Kripke–Platek set theory· Kripke–Platek set theory with urelements· Krohn–Rhodes theory· Krull's theorem· Krull–Schmidt category· 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· LEGO (proof assistant)· LOGCFL· LOOP (programming language)· 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· Law of excluded middle· Law of identity· Law of noncontradiction· Law of thought· Laws of Form· Lawvere theory· Lazy linear hybrid automaton· Least fixed point· Lefschetz fixed-point theorem· Lefschetz zeta function· Left and right derivative· Left recursion· Leibniz operator· Leibniz's notation· Leo Harrington· Leon Birnbaum· Leon Chwistek· Leon Henkin· Leonard Gillman· Leopold Löwenheim· Lewis Carroll· Lift (mathematics)· Lightface analytic game· Limit cardinal· Limit cycle· Limit of a function· Limit ordinal· Limit point· Limit set· Limitation of size· Limited principle of omniscience· Limits to computation· Lindenbaum's lemma· Lindenbaum–Tarski algebra· Lindström quantifier· Lindström's theorem· Linear bounded automaton· Linear logic· Linear map· Linear partial information· Linear temporal logic· Linear temporal logic to Büchi automaton· Linear-time temporal logic· Linked set· Liskov substitution principle· List of Boolean algebra topics· List of axioms· List of computability and complexity topics· List of exceptional set concepts· List of first-order theories· List of forcing notions· List of formal systems· List of large cardinal properties· List of limits· 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 types of functions· List of undecidable problems· List of valid argument forms· Literal (mathematical logic)· Local zeta-function· Localization of a category· Locally finite operator· Locally finite variety· Loeb space· Log-space transducer· LogP machine· Logic alphabet· Logic for Computable Functions· Logic redundancy· Logical NOR· Logical assertion· Logical biconditional· Logical conjunction· Logical connective· Logical consequence· Logical cube· Logical disjunction· Logical equality· Logical equivalence· Logical framework· Logical graph· Logical machine· Logical matrix· Logical possibility· Logico-linguistic modeling· Logics for computability· Logit· Lorentz transformation· Lorenzo Peña· Lossless-Join Decomposition· Lotka–Volterra equation· Louis Couturat· 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évy hierarchy· Löb's theorem· Löwenheim number· Löwenheim–Skolem theorem

M
MATSim· MV-algebra· Machine that always halts· Magnetic Tower of Hanoi· Mahlo cardinal· Main contention· Major term· Majority function· Malament–Hogarth spacetime· Many-one reduction· Many-sorted logic· Many-valued logic· Map (mathematics)· Markov algorithm· Markov's principle· Markov–Kakutani fixed-point theorem· Markus–Yamabe conjecture· Martin Hyland· Martin Stokhof· Martin measure· Martin's axiom· Martin's maximum· Martinus Smiglecius· Material conditional· Material equivalence· Material implication (rule of inference)· Material nonimplication· Mathematical fallacy· Mathematical induction· Mathematical logic· Mathematical proof· Mathematical structure· Matthew Foreman· Matthew W. McKeon· Max August Zorn· Max Kelly· Maximal set· McCarthy Formalism· Meagre set· Mealy machine· Meaning and Necessity· Measurable cardinal· Membrane computing· Menachem Magidor· Mengenlehreuhr· Menyhért Palágyi· Mereology· Mereotopology· Metalanguage· Metalogic· Metamath· Metamathematics· Metamorphism (computer science)· Method of analytic tableaux· Methodios Anthrakites· Michael Barr (mathematician)· Michael D. Morley· Michael Detlefsen· Michael Dummett· Michael Ivanovich Karinski· Microcontinuity· Middle term· Milliken's tree theorem· Milner–Rado paradox· Minimal logic· Minimal model (set theory)· Minimax· Minimum description length· Minimum message length· Minor term· Mitchell order· Mizar system· Modal algebra· Modal companion· Modal depth· Modal logic· Modal operator· Modal μ-calculus· Model category· Model complete theory· Model of computation· Model theory· Modulus of continuity· 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· Monoid· Monoid (category theory)· Monotonicity of entailment· Montague grammar· Moore machine· 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· Motivic zeta function· Motor variable· Mouse (set theory)· Muhammed Hamdi Yazır· Multi-string Turing machine with input and output· Multi-tape Turing machine· Multi-track Turing machine· Multicategory· Multimodal logic· Multiple recursion· Multiplicity (mathematics)· Multiset· Multitape Turing machine· Multivalued function· Mutual recursion· Myhill isomorphism theorem· Möbius transformation

N
N-category· N-category number· N-group (category theory)· N-monoid· NAR 1· NAR 2· NIP (model theory)· Naimark's problem· Naive Set Theory (book)· Naive set theory· Nash equilibrium· Nate Ackerman· Natural deduction· Natural number· Near sets· Negation· Negation as failure· Negation normal form· Negative conclusion from affirmative premises· Neighborhood semantics· Neil Tennant (philosopher)· Nerve (category theory)· Nested intervals· Nested stack automaton· New Foundations· Newman's lemma· Newton da Costa· Nice name· Nicod's axiom· Nicolai A. Vasiliev· Nicolas Bourbaki· Nielsen theory· Nielsen–Schreier theorem· Nisnevich topology· Nixon diamond· No-wandering-domain theorem· Noam Chomsky· Noetherian topological space· Noise-based logic· Nominative and structural type systems· 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· Non-wellfounded mereology· Noncommutative logic· Nondeterministic algorithm· Nondeterministic finite automaton· Noneism· Normal form (abstract rewriting)· Normal function· Normal measure· Normal modal logic· Normal number· Normalisation by evaluation· Normalization property (abstract rewriting)· Norman Kemp Smith· NuPRL· Nuel Belnap· Nullable type· Numbering (computability theory)

O
O-minimal theory· Object language· Oblique reflection· Obversion· Ockham algebra· Olaf Helmer· Omega language· Omega-categorical theory· On Formally Undecidable Propositions of Principia Mathematica and Related Systems· On Numbers and Games· One instruction set computer· One-sided limit· Ontic· Ontological maximalism· Open recursion· Open sentence· Open/closed principle· Operad theory· Opposite category· Option type· Oracle machine· Order topology· Order type· Ordered pair· Ordinal analysis· Ordinal arithmetic· Ordinal collapsing function· Ordinal definable set· Ordinal logic· Ordinal notation· Ordinal number· Organon· Original proof of Gödel's completeness theorem· Oscillation (mathematics)· Outline of category theory· Outline of logic· Overspill

P
P system· PA degree· PCF theory· Pairing function· Paraconsistent logic· Paraconsistent mathematics· Paradoxes of set theory· Paradoxical set· Parallel computation thesis· Parallel postulate· Parallel random-access machine· Parallel terraced scan· Paramartha· Parametric polymorphism· Parametricity· Paramorphism· Parasitic computing· Parent function· Paris–Harrington theorem· Parity function· Parity game· Partial equivalence relation· Partial function· Partial permutation· Partially ordered set· Partition of a set· Pasch's axiom· Pasch's theorem· Patrick Suppes· 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· Period-doubling bifurcation· Periodic point· Periodic points of complex quadratic mappings· Periodic summation· Persistence (computer science)· Perspective (graphical)· Peter A. Loeb· Peter Aczel· Peter B. Andrews· Peter Cameron (mathematician)· Peter J. Freyd· Peter Johnstone (mathematician)· Peter Ludlow· Petr Vopěnka· Petri net· Petrick's method· Pfaffian function· Philip Ehrlich· Philip Jourdain· Philo the Dialectician· Physical symbol system· Piecewise· Pitchfork bifurcation· Playfair's axiom· Plural quantification· Pocket set theory· Poincaré transformation· Point reflection· Pointclass· Pointed set· Pointed space· Pointer machine· Pointless topology· Point–line–plane postulate· Polish space· Polyad· Polyadic algebra· Polygraph (mathematics)· Polymorphic recursion· Polymorphism (computer science)· Polysyllogism· Porphyrian tree· Port-Royal Logic· Posetal category· Positive set theory· Possible world· Post canonical system· Post correspondence problem· Post's lattice· Post's theorem· Post–Turing machine· Potential isomorphism· Power set· Powerset construction· Predicable· Predicate (mathematical logic)· Predicate abstraction· Predicate calculus· Predicate functor logic· Predicate logic· Predicate transformer semantics· Predicate variable· Preferential entailment· Pregeometry (model theory)· Pregroup grammar· Premise· Prenex normal form· Preorder· Preordered class· Presburger arithmetic· Prewellordering· Price of stability· Prime model· Primitive notion· Primitive recursive arithmetic· Primitive recursive function· Primitive recursive functional· Principal type· Principia Mathematica· Principle of distributivity· Principle of explosion· Prior Analytics· Probabilistic CTL· Probabilistic Turing machine· Probabilistic logic· Probabilistic logic network· Probability axioms· Problem of future contingents· Problem of multiple generality· Product category· Product term· Product type· Profit model· Projection (relational algebra)· Projection (set theory)· Projective cover· Projective hierarchy· Proof (truth)· Proof by contradiction· Proof by contrapositive· Proof by exhaustion· 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· Prosleptic syllogism· Prototype-based programming· Provability logic· Pseudo-abelian category· Pseudo-finite field· Pseudo-order· Pseudoelementary class· Pseudorandom ensemble· Pseudorandom generator· Pseudoreflection· Pugh's closing lemma· Pulation square· Pure type system· Pushdown automaton· Péter Komjáth· P′′

Q
Quantaloid· Quantification· Quantificational variability effect· Quantifier elimination· Quantifier rank· Quantum Byzantine agreement· Quantum Turing machine· Quantum capacity· Quantum circuit· Quantum computer· Quantum logic· Quasi-category· Quasi-set theory· Quasi-syllogism· Quasiidentity· Quasitransitive relation· Quasivariety· Quaternionic analysis· Queap· Quine–McCluskey algorithm· Quiver (mathematics)· Quotient algebra· Quotient category

R
R-algebroid· R. R. Rockingham Gill· Raghunatha Siromani· Ralph Johnson (philosopher)· Rami Grossberg· Ramified forcing· Ramified theory of types· Ramsey cardinal· Randolph diagram· Random-access machine· Random-access stored-program machine· Randomness tests· Range (mathematics)· Range problem· Rank (type theory)· Rank-into-rank· Raphael M. Robinson· Rasiowa–Sikorski lemma· Rational consequence relation· Ray Turner· Raymond Smullyan· Reachability problem· Read-only Turing machine· Read-only right moving Turing machines· Real closed ring· Real computation· Realizability· Realization (systems)· Recurrence relation· Recurrent point· Recursion· Recursion (computer science)· Recursion termination· Recursive data type· 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· Reductio ad absurdum· Reduction (recursion theory)· Reed-Muller expansion· Reference type· Refinement type· Reflecting cardinal· Reflection (mathematics)· Reflection principle· Reflexive closure· Reflexive relation· Register machine· Regular cardinal· Regular category· Regular map (algebraic geometry)· Regular modal logic· Reinhardt cardinal· Relation algebra· Relation construction· Relative term· Relevance logic· Remarkable cardinal· Rename (relational algebra)· Rencontres numbers· Renormalization group· Representation (mathematics)· Residuated Boolean algebra· Residuated lattice· Resolution (logic)· Resolution proof compression by splitting· Resolution proof reduction via local context rewriting· Reverse mathematics· Reversible computing· Rewriting· Rho calculus· Rice's theorem· Rice–Shapiro theorem· Richard Crakanthorpe· Richard Ferrybridge· Richard J. Wood· Richard Jeffrey· Richard Laver· Richard Milton Martin· Richard Montague· Richard Shore· Richard Shute· Richard Whately· Richardson's theorem· Rigid designator· Rigid transformation· Rob Grootendorst· Robbins algebra· Robert Alyngton· 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· Rohit Jivanlal Parikh· Roland Fraïssé· Ronald Jensen· Rosser's trick· Rotation number· Rotation of axes· Rough set· Rowbottom cardinal· Rule of inference· Rule of replacement· Rules of passage (logic)· Russell's paradox· Ruth Barcan Marcus· Rvachev function· Ryll-Nardzewski fixed-point theorem

S
S (set theory)· S. Barry Cooper· S5 (modal logic)· SECD machine· SKI combinator calculus· SLD resolution· SO (complexity)· ST type theory· SXM (computational model)· Saddle-node bifurcation· Saharon Shelah· Sahlqvist formula· Sammon projection· Samuel Eilenberg· Satisfiability· Saturated model· Saul Kripke· Saunders Mac Lane· Scale (descriptive set theory)· Scale factor (computer science)· Scattered order· Schauder fixed point theorem· Schröder–Bernstein property· Schröder–Bernstein theorem for measurable spaces· Scott information system· Scott's trick· Scott–Potter set theory· Second derivative· Second-order arithmetic· Second-order logic· Second-order predicate· Second-order propositional logic· Section (category theory)· Segal category· Segal space· Seifert–van Kampen theorem· Selection (relational algebra)· Self-reference· Self-verifying theories· Semen Samsonovich Kutateladze· Semi-Thue system· Semiautomaton· Semicomputable function· Semigroupoid· Semilinear transformation· Semiorder· Semiset· Sentence (mathematical logic)· Separating set· Separation logic· Separation relation· 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· Shear mapping· Sheffer stroke· Shelah cardinal· Sherrilyn Roush· Shrewd cardinal· Shunpei Ueyama· Siegel disc· Siegfried Gottwald· Sieve (category theory)· Sigma-algebra· Signature (logic)· Signomial· Silver machine· Similarity invariance· Simon B. Kochen· Simple set· Simple theorems in the algebra of sets· Simplex category· Simplicially enriched category· Simplification· Simply typed lambda calculus· Single recursion· Singleton (mathematics)· Singular cardinals hypothesis· Size functor· Skeleton (category theory)· Sketch (mathematics)· Skolem arithmetic· Skolem normal form· Skolem's paradox· Slow-growing hierarchy· Small Veblen ordinal· Small set (category theory)· Smith–Volterra–Cantor set· Smn theorem· Smooth infinitesimal analysis· Soft set· Solomon Feferman· Solomon Passy· Solovay model· Sorites· Soundness· Soundness (interactive proof)· Spatial bifurcation· Special case· Specker sequence· Spectrum of a theory· Sperner's lemma· Splitting lemma (functions)· Square of opposition· Squeeze mapping· Squeeze theorem· Stability spectrum· Stability theory· Stable group· Stable manifold· Stable module category· Stable theory· Stack (descent theory)· Stack machine· Standard part function· Standard translation· Stanisław Jaśkowski· Stanisław Leśniewski· State (computer science)· State diagram· State space (dynamical system)· State transition system· Statements true in L· Stathis Zachos· Static cast· Stationary set· Statistical syllogism· Steiner's problem· Stemmatics· Stephen Cole Kleene· Steve Awodey· Steven Kuhn· Stochastic Petri net· Stochastic computing· Stone algebra· Stone functor· Stone's representation theorem for Boolean algebras· Stoneham number· Stratification (mathematics)· Stream (type theory)· Stream X-Machine· Stream processing· Strength (mathematical logic)· Strict conditional· Strict logic· String diagram· String operations· Strong and weak typing· Strong cardinal· Strong partition cardinal· Strong typing· Strongly compact cardinal· Strongly minimal theory· Structural induction· Structural proof theory· Structural rule· Structure (category theory)· Structure (mathematical logic)· Structured program theorem· Subalgebra· Subalternation· Subcategory· Subcompact cardinal· Subcountability· Subdirect product· Subdirectly irreducible algebra· Subdivided interval categories· Subitizing· Subject expansion· Subject reduction· Subjective logic· Subjunctive possibility· Subobject classifier· Subquotient· Subset· Substitution (logic)· Substructural logic· Substructural type system· Substructure· Subtle cardinal· Subtyping· Successor cardinal· Successor function· Successor ordinal· Sudan function· Sullivan conjecture· Sum of Logic· Sunflower (mathematics)· Super vector space· Super-recursive algorithm· Superaltern· Superalternation· Supercombinator· Supercompact cardinal· Superfunction· 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· Syllogism· Syllogistic fallacy· Symmetric Boolean function· Symmetric Turing machine· Symmetric closure· Symmetric difference· Symmetric relation· Symmetric set· Syncategorematic term· System F· System F-sub· System L· Systems of Logic Based on Ordinals· Szpilrajn extension theorem

T
T-schema· T. M. Scanlon· Table-maker's dilemma· Tadeusz Czeżowski· Tadeusz Kotarbiński· Tag system· Tagged union· Tail call· Tail recursion· Tail sequence· Tak (function)· Takeuti's conjecture· Tall cardinal· Tame group· Tapering (mathematics)· Tarski's World· Tarski's axiomatization of the reals· Tarski's axioms· Tarski's exponential function problem· Tarski's fixed point theorem· Tarski's high school algebra problem· Tarski's theorem· 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· Tensor-hom adjunction· Term (logic)· Term algebra· Term logic· Ternary relation· Tetracategory· Tetraview· The False Subtlety of the Four Syllogistic Figures· The Paradoxes of the Infinite· Theodore Slaman· Theory (mathematical logic)· Theory of computation· Theory of pure equality· Theory of relations· Thomas Jech· Thoralf Skolem· Thread automaton· Three-dimensional graph· Three-valued logic· Thue–Morse sequence· Ticio Escobar· Tim Maudlin· Time loop logic· Timeline of category theory and related mathematics· Timeline of mathematical logic· Titu Maiorescu· To Mock a Mockingbird· Tolerance relation· Tolerant sequence· Tomek Bartoszyński· Top type· Topological category· Topological computing· Topological quantum computer· Topos· Torkel Franzén· Total order· Total relation· Tower (mathematics)· Trait (computer programming)· Trakhtenbrot's theorem· Transcendental function· Transcomputational problem· Transcritical bifurcation· Transfer principle· Transfinite arithmetic· Transfinite induction· Transfinite number· Transformation (function)· Transitive closure· Transitive reduction· Transitive relation· Transitive set· Transposition (logic)· Transputer· Tree (descriptive set theory)· Tree (set theory)· Tree traversal· Triangle of opposition· Tricategory· Trichotomy (mathematics)· Trinomial tree· True arithmetic· True quantified Boolean formula· Truth function· Truth table· 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 tarpit· Turing's proof· Turmite· Turnstile (symbol)· Twelf· Two Generals' Problem· Two-dimensionalism· Two-element Boolean algebra· Tychonoff's theorem· Typability· Type (model theory)· Type checking· Type class· Type constructor· Type conversion· Type erasure· Type family· Type inference· Type inhabitation· Type reconstruction· Type rule· Type safety· Type signature· Type system· Type theory· Type variable· Typed lambda calculus· Typeful programming· Typing environment· Typographical Number Theory

U
U-rank· UML state machine· Udayana· Udyotakara· Ulrich Kohlenbach· Ulrike Sattler· Ultrafilter· Ultrafinitism· Ultraproduct· Ultraviolet fixed point· Unary function· Unbounded nondeterminism· Uncountable set· Undecidable problem· Undefined value· Unexpected events· Unfoldable cardinal· Unfolding (functions)· Unification (computer science)· Uniformization (set theory)· Unimodality· Union (set theory)· Uniqueness quantification· Uniqueness type· Unit interval· Unit type· Universal Turing machine· Universal algebra· Universal algebraic geometry· Universal generalization· Universal instantiation· Universal property· Universal quantification· Universal set· Universal type· Universal types· Universally Baire set· Universally measurable set· Universe (mathematics)· Unordered pair· Unsatisfiable core· Urelement· Utm theorem

V
VIPER microprocessor· Vacuous truth· Vague set· Valentina Harizanov· Valery Glivenko· Valuation (logic)· Value (computer science)· Value restriction· Variable (computer science)· Variety (universal algebra)· Vasubandhu· Vaught conjecture· Veblen function· Vector projection· Vector spaces without fields· Venn diagram· Vertical line test· Vic Dudman· Vicious circle principle· Viggo Stoltenberg-Hansen· Virtual finite-state machine· Vitali set· Vivid designator· Void type· Volker Halbach· Von Neumann cardinal assignment· Von Neumann paradox· 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· Waldhausen category· Walter Burley· Walter Carnielli· Walter Dubislav· Walther recursion· Wandering set· Wang B-machine· Wang tile· Weak factorization system· Weak interpretability· Weak n-category· Weak ordering· Weak typing· Weakly compact cardinal· Weakly o-minimal structure· Weil conjectures· Well-formed formula· Well-founded induction· Well-founded relation· Well-order· Well-ordering principle· Well-ordering theorem· Well-pointed category· Well-quasi-ordering· Well-structured transition system· Whitehead problem· Whitehead's point-free geometry· Wilfrid Hodges· Wilhelm Traugott Krug· Wilkie's theorem· Willard Van Orman Quine· William Alvin Howard· William Boone (mathematician)· William Craig (philosopher)· William Duncan (philosopher)· William Ernest Johnson· William Kneale· William Lawvere· William S. Zwicker· William Stanley Jevons· William Temple (logician)· William W. Tait· William of Ockham· Window operator· Witness (mathematics)· Wolfgang Rautenberg· Wolfram axiom· Wolfram's 2-state 3-symbol Turing machine· Woodin cardinal· Workshop on Reachability Problems

X
X-Machine Testing· X-machine

Y
Yao's test· Yasovijaya· Yehoshua Bar-Hillel· Yiannis N. Moschovakis· Yuri Matiyasevich

Z
Zaid Orudzhev· Zariski geometry· Zariski's lemma· Zeno machine· Zermelo set theory· Zermelo–Fraenkel set theory· Zero dagger· Zero of a function· Zero sharp· Zero-based numbering· Zero-dimensional space· Zeroth-order logic· Zhegalkin polynomial· Zhuangzi· Ziauddin Ahmad· Zorn's lemma· Zygmunt Zawirski

Other
(ε, δ)-definition of limit· (∞,1)-category· 2 × 2 real matrices· 2-category· 2-group· 2-valued morphism· 3D projection· Łoś–Tarski preservation theorem· Łukasiewicz logic· Śāntarakṣita· Ε₀· Η-conversion· Θ (set theory)· Μ operator· Μ-recursive function· Π01 class· Ψ₀(Ωω)· Ω-consistent theory· Ω-logic