Two Undecidability Results Using Modified Boolean Powers

Canadian Journal of Mathematics - Canada
doi 10.4153/cjm-1982-033-6
Full Text
Abstract

Available in full text

Categories
Mathematics
Date
Authors
Publisher

Canadian Mathematical Society

Related search

Separation Properties and Boolean Powers

Colloquium Mathematicum
Mathematics
1984English

Boolean Powers: Direct Decomposition and Isomorphism Types

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1981English

Undecidability Results for Timed Automata With Silent Transitions

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Monadic Fragments of Gödel Logics: Decidability and Undecidability Results

English

Boolean Powers, Recursive Models, and the Horn Theory of a Structure

Pacific Journal of Mathematics
Mathematics
1984English

Undecidability of Modal and Intermediate First-Order Logics With Two Individual Variables

Journal of Symbolic Logic
PhilosophyLogic
1993English

What Is Absolute Undecidability?†

Nous
Philosophy
2012English

Block Motion Estimation Using Adaptive Modified Two-Bit Transform

IET Image Processing
Electronic EngineeringSignal ProcessingComputer VisionElectricalPattern RecognitionSoftware
2007English

Undecidability in the Act . . .

The Undecidable Unconscious: A Journal of Deconstruction and Psychoanalysis
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy