A Course in Mathematical Logic for Mathematicians
algorithmic undecidabilityChurch's thesisclassification theorycompactnesscompletenesscomputabilityconstructible setsconstructive universecontinuum problemdeducibilityDiophantine setsforcingincompletenessmathematical logicmodel theoryprovabilityrecursive functionsrecursive groupsstability theorytextbooktruth
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45) Applications of model theory (03C98) Recursive functions and relations, subrecursive hierarchies (03D20) Undecidability and degrees of sets of sentences (03D35) Applications of computability and recursion theory (03D80) Axiomatics of classical set theory and its fragments (03E30) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Decidability (number-theoretic aspects) (11U05) Applications of logic to group theory (20A15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10)
- scientific article; zbMATH DE number 5309444
- scientific article; zbMATH DE number 3948222
- scientific article; zbMATH DE number 3847355
- Constructive mathematics and mathematical logic. Part X. Transl. from the Russian
- Studies in constructive mathematics and mathematical logic. Part XI. Transl. from the Russian
- scientific article; zbMATH DE number 6532892
- scientific article; zbMATH DE number 4095421
- Course of mathematical logic. Vol. 1: Relation and logical formula. Translation edited by David Louvish
- Algebraic logic. Transl. from the Russian by Robert H. Silverman
- scientific article; zbMATH DE number 3885853
- A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Word problems in Elliott monoids
- Zipf's law and L. Levin probability distributions
- Mathematical logic. A course with exercises. Part II. Recursion theory, Gödel's theorems, set theory, model theory. Translated from the 1993 French original by Donald H. Pelletier
- Introduction to the special issue: Computability of the physical
- Renormalisation and computation. II: Time cut-off and the halting problem
- scientific article; zbMATH DE number 5309444 (Why is no real title available?)
- scientific article; zbMATH DE number 3948222 (Why is no real title available?)
- scientific article; zbMATH DE number 2003401 (Why is no real title available?)
- scientific article; zbMATH DE number 1907679 (Why is no real title available?)
- Algebraic logic and logically-geometric types in varieties of algebras
- Некоторые замечания о нестандартных методах анализа. I
- A formal framework for the study of the notion of undefined particle number in quantum mechanics
- Standard conjectures in model theory, and categoricity of comparison isomorphisms: a model theory perspective
- Dido's problem and beyond
- On the differentiation of integrals in measure spaces along filters. II.
- Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
- Summing divergent matrix series
- Torsion modules and differential operators in infinitely many variables
- Decomposition spaces in combinatorics
This page was built for publication: A Course in Mathematical Logic for Mathematicians
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3639085)
