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 (13)
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.
This page was built for publication:
