Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
zbMATH Open0528.03001MaRDI QIDQ786802FDOQ786802
Author name not available (Why is that?)
Publication date: 1982
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
categorical logicdecidable theoriesforcingPeano arithmeticMartin's axiomhomogeneous setsincompleteness theoremsdirect proofprojective setsconstructibilityunsolvable problemsalpha-recursionresearch survey articlestheories of finite typetype free lambda calculus
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Cut-elimination and normal-form theorems (03F05) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40) Categoricity and completeness of theories (03C35) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Other combinatorial set theory (03E05) Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Other constructive mathematics (03F65) Categorical logic, topoi (03G30) Consistency and independence results in general topology (54A35) Other infinitary logic (03C75) Higher-type and set recursion theory (03D65) Axiom of choice and related propositions (03E25) Ultraproducts and related constructions (03C20) Other degrees and reducibilities in computability and recursion theory (03D30) Other classical set theory (including functions, relations, and set algebra) (03E20) Other set-theoretic hypotheses and axioms (03E65) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonstandard models in mathematics (03H05) Continuum hypothesis and Martin's axiom (03E50) Logic on admissible sets (03C70) Inductive definability (03D70)
Cited In (7)
- Hierarchy of families of theories and their rank characteristics
- Ranks, spectra and their dynamics for families of constant expansions of theories
- Independence and simplicity in Jonsson theories with abstract geometry
- The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
- Tarski-type problems for free associative algebras
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS
- What does a group algebra of a free group ``know about the group?
This page was built for publication: Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q786802)
