Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint

MaRDI QIDQ786802zbMATH OpenFDO

Authors

Publication date 1982

Published in Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

categorical logicdecidable theoriesforcingPeano arithmeticMartin's axiomhomogeneous setsincompleteness theoremsdirect proofprojective setsconstructibilityunsolvable problemsalpha-recursionresearch survey articlestheories of finite typetype free lambda calculus

Mathematics Subject Classification ID

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)

• Tarski-type problems for free associative algebras
• Ranks, spectra and their dynamics for families of constant expansions of theories
• Independence and simplicity in Jonsson theories with abstract geometry
• Current research on Gödel's incompleteness theorems
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Hierarchy of families of theories and their rank characteristics
• 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)