Search for "Mathematical logic" in article titles:

1. Mathematical logic: Error: no inner hatnotes detected (help). Mathematical logic is the study of formal logic within mathematics. (Subfield of mathematics) [100%] 2023-11-07 [Mathematical logic] [Logic]...
2. Mathematical logic: Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). (Subfield of mathematics) [100%] 2024-01-11 [Mathematical logic] [Logic]...
3. Mathematical logic: symbolic logic The branch of mathematics concerned with the study of mathematical proofs and questions in the foundation of mathematics. The idea of constructing a universal language for the whole of mathematics, and of the formalization of proofs on the ... (Mathematics) [100%] 2024-01-12
4. Mathematical logic: Mathematical logic is best understood as a branch of logic or mathematics. Mathematical logic is often divided into the subfields of model theory, proof theory, set theory and recursion theory. Research in mathematical logic has contributed to, and been motivated ... [100%] 2023-02-03
5. Diagram (mathematical logic): In model theory, a branch of mathematical logic, the diagram of a structure is a simple but powerful concept for proving useful properties of a theory, for example the amalgamation property and the joint embedding property, among others. Let \displaystyle ... (Mathematical logic) [81%] 2023-11-06 [Mathematical logic] [Model theory]...
6. Literal (mathematical logic): In mathematical logic, a literal is an atomic formula (also known as an atom or prime formula) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. (Mathematical logic) [81%] 2023-09-11 [Mathematical logic] [Propositional calculus]...
7. Strength (mathematical logic): The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic \displaystyle{ \alpha }[/math] is said to be as strong as a logic \displaystyle{ \beta }[/math] if every elementary class in \displaystyle{ \beta ... (Mathematical logic) [81%] 2023-09-06 [Model theory] [Mathematical logic]...
8. Independence (mathematical logic): In mathematical logic, independence is the unprovability of a sentence from other sentences. A sentence σ is independent of a given first-order theory T if T neither proves nor refutes σ; that is, it is impossible to prove σ from T, and ... (Mathematical logic) [81%] 2023-10-26 [Mathematical logic] [Proof theory]...
9. Judgment (mathematical logic): In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in the metalanguage. For example, typical judgments in first-order logic would be that a string is a well-formed formula, or that a proposition is ... (Mathematical logic) [81%] 2023-10-25 [Proof theory] [Concepts in logic]...
10. Judgment (mathematical logic): In mathematical logic, a judgment (or judgement) or assertion is a statement or enunciation in a metalanguage. For example, typical judgments in first-order logic would be that a string is a well-formed formula, or that a proposition is ... (Mathematical logic) [81%] 2023-08-22 [Proof theory] [Logical calculi]...
11. Strength (mathematical logic): The relative strength of two systems of formal logic can be defined via model theory. Specifically, a logic α {\displaystyle \alpha } is said to be as strong as a logic β {\displaystyle \beta } if every elementary class in β {\displaystyle \beta } is an ... (Mathematical logic) [81%] 2023-09-05 [Model theory] [Mathematical logic]...
12. Theory (mathematical logic): In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first understood from context, after which an element \displaystyle{ \phi\in T }[/math] of ... (Mathematical logic) [81%] 2023-11-03 [Logical expressions]
13. Sentence (mathematical logic): In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. (Mathematical logic) [81%] 2023-09-04 [Predicate logic] [Propositions]...
14. Sentence (mathematical logic): In mathematical logic, a sentence (or closed formula) of a predicate logic is a Boolean-valued well-formed formula with no free variables. A sentence can be viewed as expressing a proposition, something that must be true or false. (Philosophy) [81%] 2023-12-11 [Predicate logic]
15. Theory (mathematical logic): In mathematical logic, a theory (also called a formal theory) is a set of sentences in a formal language. In most scenarios a deductive system is first understood from context, after which an element ϕ ∈ T {\displaystyle \phi \in T} of ... (Mathematical logic) [81%] 2023-10-17 [Formal theories] [Logical expressions]...
16. Structure (mathematical logic): In mathematical logic, the notion of a structure generalizes mathematical objects such as groups, rings, fields, lattices or ordered sets. A structure is a set equipped with any number of named constants, operations and relations. (Mathematical logic) [81%] 2023-08-04
17. Q0 (mathematical logic): Q0 is Peter Andrews' formulation of the simply-typed lambda calculus, and provides a foundation for mathematics comparable to first-order logic plus set theory. It is a form of higher-order logic and closely related to the logics of ... (Mathematical logic) [81%] 2024-04-08 [Logic in computer science]
18. Literal (mathematical logic): In mathematical logic, a literal is an atomic formula (also known as an atom or prime formula) or its negation. The definition mostly appears in proof theory (of classical logic), e.g. (Mathematical logic) [81%] 2024-08-29 [Mathematical logic] [Propositional calculus]...
19. Independence (mathematical logic): In mathematical logic, independence is the unprovability of some specific sentence from some specific set of other sentences. The sentences in this set are referred to as "axioms". (Mathematical logic) [81%] 2024-08-20 [Mathematical logic] [Proof theory]...
20. Journal of Mathematical Logic: The Journal of Mathematical Logic was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications. [70%] 2023-12-31 [English-language journals] [Academic journals established in 2001]...
21. Archive for Mathematical Logic: Archive for Mathematical Logic is a peer-reviewed mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes articles on mathematical logic. [70%] 2023-03-31 [Mathematics journals] [Mathematical logic]...
22. Atomic model (mathematical logic): In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them ... (Physics) [70%] 2022-12-16 [Model theory]
23. Principles of Mathematical Logic: Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. The 1928 first edition thereof is considered the ... [70%] 2023-11-24 [Mathematics textbooks] [History of logic]...
24. Timeline of mathematical logic: A timeline of mathematical logic. See also History of logic. (None) [70%] 2023-12-18 [History of mathematics] [Mathematics timelines]...
25. Journal of Mathematical Logic: The Journal of Mathematical Logic was established in 2001 and is published by World Scientific. It covers the field of mathematical logic and its applications. [70%] 2024-01-11 [Mathematics journals]
26. Principles of Mathematical Logic: Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. The 1928 first edition thereof is considered the ... (Philosophy) [70%] 2022-07-21 [History of logic]
27. Archive for Mathematical Logic: Archive for Mathematical Logic is a peer-reviewed mathematics journal published by Springer Science+Business Media. It was established in 1950 and publishes articles on mathematical logic. [70%] 2024-08-29 [English-language journals] [Mathematical logic journals]...
28. Atomic model (mathematical logic): In model theory, a subfield of mathematical logic, an atomic model is a model such that the complete type of every tuple is axiomatized by a single formula. Such types are called principal types, and the formulas that axiomatize them ... (Mathematical logic) [70%] 2024-08-29 [Model theory]
29. Timeline of mathematical logic: A timeline of mathematical logic; see also history of logic. (None) [70%] 2024-08-29 [History of mathematics] [Mathematics timelines]...
30. Principles of Mathematical Logic: Principles of Mathematical Logic is the 1950 American translation of the 1938 second edition of David Hilbert's and Wilhelm Ackermann's classic text Grundzüge der theoretischen Logik, on elementary mathematical logic. The 1928 first edition thereof is considered the ... [70%] 2024-08-29 [1928 non-fiction books] [1938 non-fiction books]...