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