Countable vector spaces with recursive operations Part I1

Publisher： Cambridge University Press

E-ISSN： 1943-5886|34|3|363-387

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.34, Iss.3, 1969-11, pp. : 363-387

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

We use the word “number” for “nonnegative integer” and “set” for collection of numbers. The set of all numbers is denoted by ε and the empty set by ο. We write ⊂ for the relation of inclusion and ⊆ for that of proper inclusion. If ƒ is a function from a subset of ε into ε, its domain and range are denoted by δƒ and ρƒ respectively. For any collection Γ of entities, card Γ or card (Γ) stands for the cardinality of Γ. The cardinality of the continuum is denoted by c.

Related content

Countable vector spaces with recursive operations Part II 1

By  

The Journal of Symbolic Logic, Vol. 36, Iss. 3, 1971-09 ,pp. : 477-493 (17)

Cambridge University Press

Access to resources Recommend Favorite

Bases and α-dimensions of countable vector spaces with recursive operations 1

By  

The Journal of Symbolic Logic, Vol. 35, Iss. 1, 1970-03 ,pp. : 85-96 (12)

Cambridge University Press

Access to resources Recommend Favorite

Simple and hyperhypersimple vector spaces1

By  

The Journal of Symbolic Logic, Vol. 43, Iss. 2, 1978-06 ,pp. : 260-269 (10)

Cambridge University Press

Access to resources Recommend Favorite

Maximal and Cohesive vector spaces 1

By  

The Journal of Symbolic Logic, Vol. 42, Iss. 3, 1977-09 ,pp. : 400-418 (19)

Cambridge University Press

Access to resources Recommend Favorite

The relation of recursive isomorphism for countable structures

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 2, 2002-06 ,pp. : 879-895 (17)

Cambridge University Press

Access to resources Recommend Favorite