scientific article
From MaRDI portal
Publication:3783260
zbMath0642.03001MaRDI QIDQ3783260
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
independenceaxiom of choicemathematical logicUniversal algebraConsistencywell-orderingsZermelo-Fraenkel set theoryregister machinesaxiomatic set theoryRecursive functionsOrdinalsPropositional calculusCardinal arithmeticFirst-order theories
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Set theory (03Exx)
Related Items
Equational theories of tropical semirings, A general mathematics of names, Another approach to the Kan-Quillen model structure, From propositional logic to plausible reasoning: a uniqueness theorem, Dependently Sorted Logic, Mathematical programming: Turing completeness and applications to software analysis, A mechanized proof of the basic perturbation lemma, On the analysis of a random walk-jump chain with tree-based transitions and its applications to faulty dichotomous search, A semantic hierarchy for intuitionistic logic, Toward an algebraic theory of systems, 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.
