scientific article; zbMATH DE number 873158
From MaRDI portal
Publication:4876410
zbMath0847.03001MaRDI QIDQ4876410
Publication date: 2 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Computability and recursion theory (03Dxx)
Related Items (8)
Reduction games, provability and compactness ⋮ CONSERVATIVITY OF ULTRAFILTERS OVER SUBSYSTEMS OF SECOND ORDER ARITHMETIC ⋮ INCOMPLETENESS VIA PARADOX AND COMPLETENESS ⋮ Computability and human symbolic output ⋮ ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES ⋮ Decidable subsets of open logic and an algorithm for R-calculus ⋮ Zermelo: definiteness and the universe of definable sets ⋮ Computational classification of cellular automata
This page was built for publication:
