scientific article; zbMATH DE number 4045703

MaRDI QIDQ3783260zbMATH OpenFDO

Authors Peter Johnstone

Publication date 1987

zbMATH Keywords

axiom of choiceaxiomatic set theoryCardinal arithmeticConsistencyFirst-order theoriesindependencemathematical logicOrdinalsPropositional calculusRecursive functionsregister machinesUniversal algebrawell-orderingsZermelo-Fraenkel set theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)

Recommendations

• scientific article; zbMATH DE number 978993
• scientific article; zbMATH DE number 3948222
• scientific article; zbMATH DE number 2232435
• 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
• scientific article; zbMATH DE number 641289

Cited in

(34)

• A study of substitution, using nominal techniques and Fraenkel-Mostowksi sets
• Multicriteria decision analysis and environmental economics: an approximation
• Category theory and the foundations of mathematics: philosophical excavations.
• Sette's logics, revisited
• A semantic hierarchy for intuitionistic logic
• Toward an algebraic theory of systems
• Equational theories of tropical semirings
• Logic without borders. Essays on set theory, model theory, philosophical logic and philosophy of mathematics
• Another approach to the Kan-Quillen model structure
• A general mathematics of names
• From propositional logic to plausible reasoning: a uniqueness theorem
• scientific article; zbMATH DE number 5910684 (Why is no real title available?)
• Dependently Sorted Logic
• scientific article; zbMATH DE number 5500964 (Why is no real title available?)
• Mathematical programming: Turing completeness and applications to software analysis
• scientific article; zbMATH DE number 978993 (Why is no real title available?)
• On the analysis of a random walk-jump chain with tree-based transitions and its applications to faulty dichotomous search
• scientific article; zbMATH DE number 3999882 (Why is no real title available?)
• scientific article; zbMATH DE number 1849875 (Why is no real title available?)
• scientific article; zbMATH DE number 877197 (Why is no real title available?)
• A first journey through logic
• Mizar Course in Logic and Set Theory
• Logical and Philosophical Remarks on Quasi-Set Theory
• A nonsmooth frictional contact formulation for multibody system dynamics
• An interface finite element based on a frictional contact formulation with an associative plasticity model for the tangential interaction
• Microscale modeling of effective mechanical and electrical properties of textiles
• Function definition in higher-order logic
• On the differentiation of integrals in measure spaces along filters. II.
• Logical methodology and the structure of logic syllabi
• Elements of set theory and recursive arguments
• Effects of domain unfolding and catch-like dissociation on the collective behavior of integrin-fibronectin bond clusters
• Formalization of Refinement Calculus for Reactive Systems
• Algebra of Monotonic Boolean Transformers
• A mechanized proof of the basic perturbation lemma

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3783260)