scientific article; zbMATH DE number 873158
zbMATH Open0847.03001MaRDI QIDQ4876410FDOQ4876410
Authors: Hao Wang 
Publication date: 2 May 1996
Title of this publication is not available (Why is that?)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35) Consistency and independence results (03E35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Continuum hypothesis and Martin's axiom (03E50) Computability and recursion theory (03Dxx)
Cited In (8)
- Zermelo: definiteness and the universe of definable sets
- Decidable subsets of open logic and an algorithm for R-calculus
- Reduction games, provability and compactness
- Computational classification of cellular automata
- Computability and human symbolic output
- Conservativity of ultrafilters over subsystems of second order arithmetic
- INCOMPLETENESS VIA PARADOX AND COMPLETENESS
- ZFC proves that the class of ordinals is not weakly compact for definable classes
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 Q4876410)
