Mathematical logic.
From MaRDI portal
Recommendations
Cited in
(27)- Hierarchy of Computably Enumerable Degrees II
- Herbrand's theorem as higher order recursion
- Practical algorithms for MSO model-checking on tree-decomposable graphs
- Interpretation and truth in set theory
- scientific article; zbMATH DE number 1909447 (Why is no real title available?)
- Six impossible rings
- On the generation of quantified lemmas
- On maps which preserve semipositivity and quantifier elimination theory for real numbers
- Classical mathematical logic.
- Decision procedures for flat array properties
- scientific article; zbMATH DE number 1865733 (Why is no real title available?)
- Symbioses between mathematical logic and computer science
- A new acceleration-based combination framework for array properties
- Nonsets
- Brouwer's ideas and intuitionistic fuzziness
- Interval orders, semiorders and ordered groups
- Quantifier elimination for the reals with a predicate for the powers of two
- Forcing in Proof Theory
- Undecidability of the speed positiveness problem in reversible and complete Turing machines
- Transfinite Progressions: A Second Look at Completeness
- An axiomatic approach to structuring specifications
- scientific article; zbMATH DE number 3430165 (Why is no real title available?)
- Complemented modular lattices with involution and orthogonal geometry
- THE COPYING METHOD
- Geometric theories for the algebra of real numbers
- Simplified lower bounds for propositional proofs
- Functional interpretation and inductive definitions
This page was built for publication: Mathematical logic.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2711810)
