scientific article; zbMATH DE number 2232435
From MaRDI portal
Publication:5707890
zbMath1081.03003MaRDI QIDQ5707890
Publication date: 25 November 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenessfirst-order logicpropositional logiccompactnessmodel theoryset theorydefinabilityrecursion theorygraduate textbookincompleteness and undecidability
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Mathematical logic and foundations (03-XX)
Related Items (17)
A Survey of Mučnik and Medvedev Degrees ⋮ Analogical proportions ⋮ On the succinctness of some modal logics ⋮ Diagonalization in double frames ⋮ Abstraction by Embedding and Constraint-Based Design ⋮ Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions ⋮ Toggling operators in computability logic ⋮ Tree Automata for Non-linear Arithmetic ⋮ Action of endomorphism semigroups on definable sets ⋮ CAPTURING CONSEQUENCE ⋮ A generalized if-then-else operator for the representation of multi-output functions ⋮ On the spectrum of rings of functions ⋮ Algebras for definable families of theories ⋮ Topologies, ranks, and closures for families of theories. I ⋮ Juggrnaut: using graph grammars for abstracting unbounded heap structures ⋮ Solving quantifier-free first-order constraints over finite sets and binary relations ⋮ On decidability and axiomatizability of some ordered structures
This page was built for publication:
