A Course in Mathematical Logic for Mathematicians
compactnesstruthcompletenessforcingmodel theorystability theorytextbookclassification theoryincompletenesscomputabilityconstructible setsChurch's thesisrecursive functionsprovabilityDiophantine setsdeducibilitymathematical logicalgorithmic undecidabilitycontinuum problemconstructive universerecursive groups
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Basic properties of first-order languages and structures (03C07) Categoricity and completeness of theories (03C35) Consistency and independence results (03E35) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Undecidability and degrees of sets of sentences (03D35) Axiomatics of classical set theory and its fragments (03E30) Applications of logic to group theory (20A15) Quantifier elimination, model completeness, and related topics (03C10) Applications of model theory (03C98) Decidability (number-theoretic aspects) (11U05) Continuum hypothesis and Martin's axiom (03E50)
- 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
- Некоторые замечания о нестандартных методах анализа. I
- On the differentiation of integrals in measure spaces along filters. II.
- A new perspective on intermediate algorithms via the Riemann-Hilbert correspondence
- scientific article; zbMATH DE number 1907679 (Why is no real title available?)
- 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
- Renormalisation and computation. II: Time cut-off and the halting problem
- Uniform first order interpretation of the second order theory of countable groups of homeomorphisms
- Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
- Torsion modules and differential operators in infinitely many variables
- scientific article; zbMATH DE number 2003401 (Why is no real title available?)
- Zipf's law and L. Levin probability distributions
- Introduction to the special issue: Computability of the physical
- A formal framework for the study of the notion of undefined particle number in quantum mechanics
- Dido's problem and beyond
- scientific article; zbMATH DE number 5309444 (Why is no real title available?)
- Algebraic logic and logically-geometric types in varieties of algebras
- Summing divergent matrix series
- Standard conjectures in model theory, and categoricity of comparison isomorphisms: a model theory perspective
- scientific article; zbMATH DE number 3948222 (Why is no real title available?)
- Word problems in Elliott monoids
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)
