Amanote Research

Amanote Research

    RegisterSign In

Hereditary Undecidability of Some Theories of Finite Structures

Journal of Symbolic Logic - United Kingdom
doi 10.2307/2275703
Full Text
Open PDF
Abstract

Available in full text

Categories
PhilosophyLogic
Date

December 1, 1994

Authors
Ross Willard
Publisher

Cambridge University Press (CUP)


Related search

Towards a Classification of Finite Field Theories

Modern Physics Letters A
AstrophysicsNuclearHigh Energy PhysicsAstronomyPhysics
1994English

Some Reflections on Contemporary Theories of Religion

Japanese Journal of Religious Studies
Religious Studies
1975English

Some Theories of Hypertension: Fact and Fancy

Hypertension
Internal Medicine
1979English

Additive Representability of Finite Measurement Structures

The Mathematics of Preference, Choice and Order
English

Static Subcategories of the Module Category of a Finite-Dimensional Hereditary Algebra

Communications in Algebra
Number TheoryAlgebra
2016English

NIP for Some Pair-Like Theories

Archive for Mathematical Logic
PhilosophyLogic
2010English

Some Partial Solutions of Finite Elasticity

Bulletin of the Australian Mathematical Society
Mathematics
1972English

Decidability and Undecidability of Marked PCP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

AdS2 Dilaton Gravity From Reductions of Some Nonrelativistic Theories

Physical Review D
AstronomyPhysics
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy