Independence in computable algebra (Q497725): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q4256640 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable structures and the hyperarithmetical hierarchy / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generic copies of countable structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4145810 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory of difference fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective model theory vs. recursive model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5334359 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of ascendant sequences in locally nilpotent groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Countable vector spaces with recursive operations Part I<sup>1</sup> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Countable vector spaces with recursive operations Part II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Two notes on vector spaces with recursive operations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable completely decomposable groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some constructivizations of Abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bases of supermaximal subspaces and Steinitz systems. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249725 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4956005 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective procedures in field theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5509706 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5609457 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5673086 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The computable dimension of ordered abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Autostability of models and Abelian groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3331204 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursively presentable prime models / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5440999 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subgroups of finitely presented groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: The axioms of quantity and the theory of measurement. (Translated from part I of Otto Hölder's German text ''Die Axiome der Quantität und die Lehre vom Mass'') / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the decidability of the real field with a generic power function / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5589390 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4249727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4406587 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of structures associated with real closed fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable Sets in Ordered Structures. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONSTRUCTIVE ALGEBRAS I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5537372 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: COMPUTABLE ABELIAN GROUPS / rank
 
Normal rank
Property / cites work
 
Property / cites work: TURING DEGREE SPECTRA OF DIFFERENTIALLY CLOSED FIELDS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3376481 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Recursively enumerable vector spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Effective content of field theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rice sequences of relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4397030 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3130253 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable Sets in Ordered Structures. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: The rational points of a definable set / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computable Algebra, General Theory and Theory of Computable Fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5795628 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5625310 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Controlling the dependence degree of a recursively enumerable vector space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220572 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5792485 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4392286 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the Abstract Properties of Linear Dependence / rank
 
Normal rank

Latest revision as of 20:18, 10 July 2024

scientific article
Language Label Description Also known as
English
Independence in computable algebra
scientific article

    Statements

    Independence in computable algebra (English)
    0 references
    25 September 2015
    0 references
    computable structure
    0 references
    computable algebra
    0 references
    pregeometry
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers