CORE
πΊπ¦Β
Β make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
1 research outputs found
G. Metakides and A. Nerode. Recursion theory and algebra. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by J. N. Crossley, Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin, Heidelberg, and New York, 1975, pp. 209β219. - Iraj Kalantari and Allen Retzlaff. Maximal vector spaces under automorphisms of the lattice of recursively enumerable vector spaces. The journal of symbolic logic, vol. 42 no. 4 (for 1977, pub. 1978), pp. 481β491. - Iraj Kalantari. Major subspaces of recursively enumerable vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 293β303. - J. Remmel. A r-maximal vector space not contained in any maximal vector space. The journal of symbolic logic, vol. 43 (1978), pp. 430β441. - Allen Retzlaff. Simple and hyperhypersimple vector spaces. The journal of symbolic logic, vol. 43 (1978), pp. 260β269. - J. B. Remmel. Maximal and cohesive vector spaces. The journal of symbolic logic, vol. 42 no. 3 (for 1977, pub. 1978), pp. 400β418. - J. Remmel. On r.e. and co-r.e. vector spaces with nonextendible bases. The journal of symbolic logic, vol. 45 (1980), pp. 20β34. - M. Lerman and J. B. Remmel. The universal splitting property: I. Logic Colloquim '80, Papers intended for the European summer meeting of the Association for Symbolic Logic, edited by D. van Dalen, D. Lascar, and T. J. Smiley, Studies in logic and the foundations of mathematics, vol. 108, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1982, pp. 181β207. - J. B. Remmel. Recursively enumerable Boolean algebras. Annals of mathematical logic, vol. 15 (1978), pp. 75β107. - J. B. Remmel. r-Maximal Boolean algebras. The journal of symbolic logic, vol. 44 (1979), pp. 533β548. - J. B. Remmel. Recursion theory on algebraic structures with independent sets. Annals of mathematical logic, vol. 18 (1980), pp. 153β191. - G. Metakides and J. B. Remmel. Recursion theory on orderings. I. A model theoretic setting. The journal of symbolic logic, vol. 44 (1979), pp. 383β402. - J. B. Remmel. Recursion theory on orderings. II. The journal of symbolic logic, vol. 45 (1980), pp. 317β333.
Author
Henry A. Kierstead
Publication venue
'JSTOR'
Publication date
Field of study
No full text
Crossref