Keleş, Hasan Similarity and equivalence in poloid. (English) Zbl 07859983 Aligarh Bull. Math. 42, No. 2, 59-67 (2023). MSC: 03-XX 03D50 03E20 37A20 15A09 11R52 × Cite Format Result Cite Review PDF Full Text: Link
Stahl, Rachel D. Computability and the game of cops and robbers on graphs. (English) Zbl 1491.05134 Arch. Math. Logic 61, No. 3-4, 373-397 (2022). MSC: 05C57 05C63 91A43 91A24 03D15 03D20 03D25 03D28 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Delle Rose, Valentino; San Mauro, Luca; Sorbi, Andrea Word problems and ceers. (English) Zbl 1521.03128 Math. Log. Q. 66, No. 3, 341-354 (2020). MSC: 03D45 03D30 03D50 20F10 20M35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chen, Lin; Đoković, Dragomir Ž. The unextendible product bases of four qubits: Hasse diagrams. (English) Zbl 1504.81111 Quantum Inf. Process. 18, No. 5, Paper No. 143, 17 p. (2019). MSC: 81V70 70F10 03D50 06A06 46B15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Downey, Rodney G.; Melnikov, Alexander G.; Ng, Keng Meng A Friedberg enumeration of equivalence structures. (English) Zbl 1423.03153 J. Math. Log. 17, No. 2, Article ID 1750008, 28 p. (2017). MSC: 03D50 03D45 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Wright, Matthew Timothy On the Uniqueness Problem for Notations of Recursive Ordinals. arXiv:1702.05162 Preprint, arXiv:1702.05162 [math.LO] (2017). MSC: 03Dxx 03D55 03D50 03D15 03D60 × Cite Format Result Cite Full Text: arXiv OA License
Wang, Jianting; Wang, Jianyu; Fu, Zhongqian Partition a quantum pure-state set into unambiguously discriminable subsets. (English) Zbl 1317.81055 Int. J. Theor. Phys. 54, No. 6, 2001-2011 (2015). MSC: 81P50 03D50 81V80 × Cite Format Result Cite Review PDF Full Text: DOI
Escardó, Martín; Oliva, Paulo Bar recursion and products of selection functions. (English) Zbl 1380.03064 J. Symb. Log. 80, No. 1, 1-28 (2015). MSC: 03F25 03D65 03D50 03F50 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gavruskin, Alexander; Jain, Sanjay; Khoussainov, Bakhadyr; Stephan, Frank Graphs realised by r.e. equivalence relations. (English) Zbl 1351.03028 Ann. Pure Appl. Logic 165, No. 7-8, 1263-1290 (2014). MSC: 03D25 03D30 03D45 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod; Melnikov, Alexander G.; Ng, Keng Meng Iterated effective embeddings of abelian \(p\)-groups. (English) Zbl 1339.03034 Int. J. Algebra Comput. 24, No. 7, 1055-1084 (2014). MSC: 03D50 03D45 03C57 20K10 × Cite Format Result Cite Review PDF Full Text: DOI
Abel, R. Julian R.; Bennett, Frank E. Existence of 2 SOLS and 2 ISOLS. (English) Zbl 1237.05023 Discrete Math. 312, No. 5, 854-867 (2012). MSC: 05B15 × Cite Format Result Cite Review PDF Full Text: DOI
Awodey, Steven; Bauer, Andrej Sheaf toposes for realizability. (English) Zbl 1161.03036 Arch. Math. Logic 47, No. 5, 465-478 (2008). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 03G30 03D50 18B25 × Cite Format Result Cite Review PDF Full Text: DOI Link
Csima, Barbara F.; Montalbán, Antonio; Shore, Richard A. Boolean algebras, Tarski invariants, and index sets. (English) Zbl 1107.03031 Notre Dame J. Formal Logic 47, No. 1, 1-23 (2006). MSC: 03C57 03D45 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On hyper-torre isols. (English) Zbl 1095.03028 Math. Log. Q. 52, No. 4, 359-361 (2006). MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph Corrigendum to \`\` Regressive isols and comparability\'\'. (English) Zbl 1075.03022 Math. Log. Q. 51, No. 6, 643 (2005). MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Mazzanti, Stefano Bounded iteration and unary functions. (English) Zbl 1077.03024 Math. Log. Q. 51, No. 1, 89-94 (2005). Reviewer: Hrant B. Marandjian (Erevan) MSC: 03D20 03D15 03D50 68Q15 × Cite Format Result Cite Review PDF Full Text: DOI
McAllister, Alex M. Turing upper bounds of jump ideals and Scotts sets. (English) Zbl 1076.03023 Enayat, Ali (ed.) et al., Nonstandard models of arithmetic and set theory. Proceedings of the AMS special session, Baltimore, MD, USA, January 15–16, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3535-1/pbk). Contemporary Mathematics 361, 129-143 (2004). Reviewer: Marat M. Arslanov (Kazan) MSC: 03C57 03C62 03D35 03D50 × Cite Format Result Cite Review PDF
Barback, Joseph Hereditarily odd-even and combinatorial isols. (English) Zbl 1050.03030 Pac. J. Math. 206, No. 1, 9-24 (2002). Reviewer: Leon Harkleroad (Wilton) MSC: 03D50 16Y60 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, Thomas G. Combinatorial isols and the arithmetic of Dekker semirings. (English) Zbl 1005.03042 Math. Log. Q. 48, No. 3, 323-342 (2002). Reviewer: Leon Harkleroad (Wilton) MSC: 03D50 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Polyakov, E. A. On resemblance and recursive isomorphism types of partial recursive functions. (English. Russian original) Zbl 0966.03041 Sib. Math. J. 42, No. 1, 131-133 (2001); translation from Sib. Mat. Zh. 42, No. 1, 149-152 (2001). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03D20 03D50 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
Litvinov, N. V. On the resemblance and recursive isomorphism types of partial recursive functions. (English. Russian original) Zbl 0937.03050 Sib. Math. J. 41, No. 1, 138-140 (2000); translation from Sib. Mat. Zh. 41, No. 1, 164-166 (2000). Reviewer: A.S.Morozov (Novosibirsk) MSC: 03D20 03D50 × Cite Format Result Cite Review PDF Full Text: DOI EuDML
McLaughlin, Thomas G. Existentially incomplete tame models and a conjecture of Ellentuck. (English) Zbl 0926.03047 Math. Log. Q. 45, No. 2, 189-202 (1999). Reviewer: Leon Harkleroad (Poughkeepsie) MSC: 03D50 03C65 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph A fine structure in the theory of isols. (English) Zbl 0903.03027 Math. Log. Q. 44, No. 2, 229-264 (1998). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On regressive isols and comparability of summands and a theorem of R. Downey. (English) Zbl 0864.03030 Math. Log. Q. 43, No. 1, 83-91 (1997). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Mikheev, V. L. On regressive enumerations. (English. Russian original) Zbl 0962.03038 Discrete Math. Appl. 7, No. 4, 409-412 (1997); translation from Diskretn. Mat. 9, No. 2, 116-119 (1997). Reviewer: Albert A.Mullin (Madison) MSC: 03D50 03D20 03D45 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, J.; Dekker, J. C. E. Extending finite subsets of an immune set. (English) Zbl 0881.03025 Rocky Mt. J. Math. 27, No. 1, 91-121 (1997). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI Link
Nerode, Anil An appreciation of Kreisel. (English) Zbl 0895.01006 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 81-88 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 01A70 03-03 × Cite Format Result Cite Review PDF
Crossley, John N. Kreisel’s effectiveness. (English) Zbl 0894.01011 Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel. Wellesley, MA: A K Peters. 33-41 (1996). Reviewer: V.Peckhaus (Erlangen) MSC: 01A70 03D50 03-03 × Cite Format Result Cite Review PDF
McLaughlin, Thomas G. Existentially complete Nerode semirings. (English) Zbl 0817.03022 Math. Log. Q. 41, No. 1, 1-14 (1995). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph Torre models in the isols. (English) Zbl 0799.03050 J. Symb. Log. 59, No. 1, 140-150 (1994). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. A bird’s-eye view of twilight combinatorics. (English) Zbl 0820.03029 Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 289-313 (1993). Reviewer: W.I.Gasarch (College Park) MSC: 03D50 05A99 × Cite Format Result Cite Review PDF
Barback, J. Prime isols and the theorems of Fermat and Wilson. (English) Zbl 0824.03021 Crossley, John N. (ed.) et al., Logical methods. In honor of Anil Nerode’s 60th birthday. Basel: Birkhäuser. Prog. Comput. Sci. Appl. Log. 12, 130-142 (1993). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF
Dekker, Jacob C. E. Isols and maximal intersecting classes. (English) Zbl 0803.03027 Math. Log. Q. 39, No. 1, 67-78 (1993). MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On the minimality of tame models in the isols. (English) Zbl 0808.03029 Proc. Am. Math. Soc. 119, No. 3, 935-939 (1993). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 03F30 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, T. G. Recursive fibers of RST isols. (English) Zbl 0783.03024 Proc. Am. Math. Soc. 117, No. 4, 1141-1147 (1993). MSC: 03D50 03C65 × Cite Format Result Cite Review PDF Full Text: DOI
Downey, Rod; Slaman, Theodore A. On co-simple isols and their intersection types. (English) Zbl 0773.03031 Ann. Pure Appl. Logic 56, No. 1-3, 221-237 (1992). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Harkleroad, Leon Polynomial-time analogues of isolatedness. (English) Zbl 0773.03032 Ann. Pure Appl. Logic 56, No. 1-3, 173-182 (1992). Reviewer: R.Downey (Wellington) MSC: 03D50 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
Crossley, John N.; Remmel, J. B. Cancellation laws for polynomial-time \(p\)-isolated sets. (English) Zbl 0772.03022 Ann. Pure Appl. Logic 56, No. 1-3, 147-172 (1992). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 03D15 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, T. G. Eight problems about Nerode semirings (recursive ultrapowers). (English) Zbl 0776.03021 Ann. Pure Appl. Logic 56, No. 1-3, 137-146 (1992). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E.; Ellentuck, E. Myhill’s work in recursion theory. (English) Zbl 0774.03026 Ann. Pure Appl. Logic 56, No. 1-3, 43-71 (1992). Reviewer: H.B.Marandjian (Erevan) MSC: 03D20 03-03 03D50 01A60 03D25 × Cite Format Result Cite Review PDF Full Text: DOI
Feferman, S. A new approach to abstract data types. II: Computation on ADTs as ordinary computation. (English) Zbl 0819.68078 Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 79-95 (1992). Reviewer: N.Curteanu (Iaşi) MSC: 68Q65 03D75 03D50 × Cite Format Result Cite Review PDF
Heinrich, Katherine; Wu, Lisheng; Zhu, L. Incomplete self-orthogonal latin squares \(ISOLS(6m+6,2m)\) exist for all m. (English) Zbl 0723.05020 Discrete Math. 87, No. 3, 281-290 (1991). Reviewer: G.L.Mullen (University Park) MSC: 05B15 × Cite Format Result Cite Review PDF Full Text: DOI
Mikheev, V. L. Models of arithmetic in \(A\)-isols. (English. Russian original) Zbl 0790.03046 Algebra Logic 30, No. 2, 119-134 (1991); translation from Algebra Logika 30, No. 2, 181-204 (1991). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Mikheev, V. L. Ideals in isols containing a set of regressive isols. (English. Russian original) Zbl 0743.03033 Math. Notes 49, No. 5, 491-497 (1991); translation from Mat. Zametki 49, No. 5, 70-79 (1991). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, Thomas G. Sub-arithmetical ultrapowers: A survey. (English) Zbl 0724.03024 Ann. Pure Appl. Logic 49, No. 2, 143-191 (1990). Reviewer: R.Kossak (Warszawa) MSC: 03C62 03D50 03C20 03H15 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph Regressive isols and the relation ya\(\leq yb\). (English) Zbl 0718.03032 J. Lond. Math. Soc., II. Ser. 41, No. 1, 1-9 (1990). Reviewer: L.Harkleroad (Ithaca) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Isols and generalized Boolean algebras. (English) Zbl 0713.03023 Rocky Mt. J. Math. 20, No. 1, 107-115 (1990). Reviewer: L.Harkleroad MSC: 03D50 06D05 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Counting finite subsets of an immune set. (English) Zbl 0712.03037 Rocky Mt. J. Math. 20, No. 1, 99-106 (1990). Reviewer: R.Downey MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Myhill’s theory of combinatorial functions. (English) Zbl 0707.05003 Mod. Log. 1, No. 1, 3-21 (1990). Reviewer: H.Gonshor MSC: 05A10 × Cite Format Result Cite Review PDF
Nerode, A.; Remmel, J. B. Polynomially isolated sets. (English) Zbl 0705.03024 Recursion theory week, Proc. Conf., Oberwolfach/FRG 1989, Lect. Notes Math. 1432, 323-362 (1990). Reviewer: L.Harkleroad MSC: 03D50 03D15 × Cite Format Result Cite Review PDF
Nerode, A.; Remmel, J. B. Polynomial time equivalence types. (English) Zbl 0701.03017 Logic and computation, Proc. Workshop, Pittsburgh/PA (USA) 1987, Contemp. Math. 106, 221-249 (1990). Reviewer: R.Downey MSC: 03D15 03D50 68Q15 × Cite Format Result Cite Review PDF
Dekker, J. C. E. An isolic generalization of Cauchy’s theorem for finite groups. (English) Zbl 0687.03025 Arch. Math. Logic 29, No. 4, 231-236 (1990). Reviewer: J.C.E.Dekker MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Isols and Kneser graphs. (English) Zbl 0764.03016 Feasible mathematics, Proc. Math. Sci. Inst. Workshop, Ithaca/NY (USA) 1989, Prog. Comput. Sci. Appl. Log. 9, 131-160 (1990). MSC: 03D50 05C99 05C15 × Cite Format Result Cite Review PDF
Crossley, John N.; Remmel, J. B. Polynomial-time combinatorial operators are polynomials. (English) Zbl 0766.03025 Feasible mathematics, Proc. Math. Sci. Inst. Workshop, Ithaca/NY (USA) 1989, Prog. Comput. Sci. Appl. Log. 9, 99-130 (1990). Reviewer: J.N.Crossley MSC: 03D50 × Cite Format Result Cite Review PDF
Downey, Rod On hyper-torre isols. (English) Zbl 0705.03025 J. Symb. Log. 54, No. 4, 1160-1166 (1989). Reviewer: L.Harkleroad MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Mikheev, V. L. Quasifinite n-tuples of isols. (English. Russian original) Zbl 0701.03022 Sov. Math. 33, No. 9, 86-88 (1989); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1989, No. 9(328), 85-87 (1989). Reviewer: G.B.Marandzhyan MSC: 03D50 × Cite Format Result Cite Review PDF
Dekker, J. C. E.; Ellentuck, E. Isols and the pigeonhole principle. (English) Zbl 0688.03029 J. Symb. Log. 54, No. 3, 833-846 (1989). Reviewer: L.Harkleroad MSC: 03D50 05A15 × Cite Format Result Cite Review PDF Full Text: DOI
Herrmann, Eberhard Automorphisms of the lattice of recursively enumerable sets and hyperhypersimple sets. (English) Zbl 0682.03026 Logic, methodology and philosophy of science VIII, Proc. 8th Int. Congr., Moscow/USSR 1987, Stud. Logic Found. Math. 126, 179-190 (1989). Reviewer: C.Calude MSC: 03D25 03D50 × Cite Format Result Cite Review PDF
Barback, Joseph; Jackson, William On recursive functions and regressive isols. (English) Zbl 0681.03027 Pac. J. Math. 139, No. 2, 209-224 (1989). Reviewer: H.Gonshor MSC: 03D50 03D20 × Cite Format Result Cite Review PDF Full Text: DOI
McCarty, Charles Markov’s principle, isols and Dedekind finite sets. (English) Zbl 0671.03037 J. Symb. Log. 53, No. 4, 1042-1069 (1988). Reviewer: M.Zimand MSC: 03F50 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On infinite series of infinite isols. (English) Zbl 0662.03042 J. Symb. Log. 53, No. 2, 443-462 (1988). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Sapir, M. V. Inherently nonfinitely based finite semigroups. (English. Russian original) Zbl 0655.20045 Math. USSR, Sb. 61, No. 1, 155-166 (1988); translation from Mat. Sb., Nov. Ser. 133(175), No. 2(6), 154-166 (1987). MSC: 20M05 20M07 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, T. G. Embeddings of and into Nerode semirings. (English) Zbl 0639.03047 Isr. J. Math. 60, No. 1, 65-88 (1987). Reviewer: H.Gonshor MSC: 03D50 03C57 × Cite Format Result Cite Review PDF Full Text: DOI
Sapir, M. V. Essentially nonfinitely based finite semigroups. (Russian) Zbl 0634.20027 Mat. Sb., N. Ser. 133(175), No. 2(6), 154-166 (1987). Reviewer: I.Peák MSC: 20M05 20M07 03D50 × Cite Format Result Cite Review PDF Full Text: EuDML
Barback, Joseph Corrections for two papers on tame regressive isols and tame models in the isols. (English) Zbl 0634.03043 Houston J. Math. 13, 301-302 (1987). MSC: 03D50 × Cite Format Result Cite Review PDF
Heinrich, Katherine; Zhu, L. Incomplete self-orthogonal Latin squares. (English) Zbl 0616.05016 J. Aust. Math. Soc., Ser. A 42, 365-384 (1987). Reviewer: J.Denes MSC: 05B15 × Cite Format Result Cite Review PDF
Barback, Joseph Tame models in the isols. (English) Zbl 0634.03042 Houston J. Math. 12, 163-175 (1986). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF
McLaughlin, T. G. Nerode semirings and Barback’s ‘tame models’. (English) Zbl 0634.03041 Houston J. Math. 12, 211-223 (1986). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF
McCarty, Charles Realizability and recursive set theory. (English) Zbl 0631.03035 Ann. Pure Appl. Logic 32, 153-183 (1986). Reviewer: R.Downey MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI Backlinks: MO
Dekker, J. C. E. The inclusion-exclusion principle for finitely many isolated sets. (English) Zbl 0631.03034 J. Symb. Log. 51, 435-447 (1986). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
McLaughlin, T. G. Some properties of \(\forall \exists\) models in the isols. (English) Zbl 0629.03021 Proc. Am. Math. Soc. 97, 495-502 (1986). Reviewer: H.Gonshor MSC: 03D50 03C62 × Cite Format Result Cite Review PDF Full Text: DOI
Harkleroad, Leon Classical isol incomparability and \(\infty \cdot\) on manifold RET’s. (English) Zbl 0627.03028 J. Aust. Math. Soc., Ser. A 41, 99-114 (1986). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF
Downey, R. G. Sound, totally sound, and unsound recursive equivalence types. (English) Zbl 0627.03027 Ann. Pure Appl. Logic 31, 1-21 (1986). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Isols and Burnside’s lemma. (English) Zbl 0626.03036 Ann. Pure Appl. Logic 32, 245-263 (1986). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Morozov, A. S. Constructive Boolean algebras with almost-identical automorphisms. (English. Russian original) Zbl 0597.03027 Math. Notes 37, 266-268 (1985); translation from Mat. Zametki 37, No. 4, 478-482 (1985). Reviewer: S.R.Kogalovskij MSC: 03D45 03C57 03D50 06E99 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On hereditarily odd-even isols and a comparability of summands property. (English) Zbl 0583.03027 Pac. J. Math. 118, 27-35 (1985). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Longo, Giuseppe; Moggi, E. Structures of enumeration types. (Italian) Zbl 0579.03033 Atti degli incontri di logica matematica, Vol. 2, Siena/Italia 1983/84, 507-512 (1985). Reviewer: P.L.Ferrari MSC: 03D45 03D50 18A20 × Cite Format Result Cite Review PDF
Kolaitis, Phokion G. Canonical forms and hierarchies in generalized recursion theory. (English) Zbl 0573.03017 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 139-170 (1985). Reviewer: C.Calude MSC: 03D65 03D75 03D50 × Cite Format Result Cite Review PDF
Nerode, A.; Remmel, J. A survey of lattices of r. e. substructures. (English) Zbl 0573.03015 Recursion theory, Proc. AMS-ASL Summer Inst., Ithaca/N.Y. 1982, Proc. Symp. Pure Math. 42, 323-375 (1985). Reviewer: C.Calude MSC: 03D25 03D45 03D50 03-02 × Cite Format Result Cite Review PDF
Dekker, Jacob C. E. Isolated sets and parity. (English) Zbl 0583.03026 Cienc. Tecnol. 8, No. 1, 77-90 (1984). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF
Crossley, J. N.; Remmel, J. B. Undecidability and recursive equivalence. II. (English) Zbl 0563.03029 Computation and proof theory, Proc. Logic Colloq., Aachen 1983, Part II, Lect. Notes Math. 1104, 79-100 (1984). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D35 03D50 × Cite Format Result Cite Review PDF
Theobald, Konrad R. A theory of representable cpo’s. (English) Zbl 0546.03027 Trees in algebra and programming, 9th Colloq., Bordeaux/France 1984, 283-297 (1984). MSC: 03D45 03D60 06B23 03D50 68N01 × Cite Format Result Cite Review PDF
Harkleroad, Leon Fuzzy recursion, RET’s and isols. (English) Zbl 0534.03023 Z. Math. Logik Grundlagen Math. 30, 425-436 (1984). MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Crossley, J. N.; Remmel, J. B. Undecidability and recursive equivalence. I. (English) Zbl 0553.03030 Logic, Proc. Southeast Asian Conf., Singapore 1981, Stud. Logic Found. Math. 111, 37-53 (1983). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 03D35 × Cite Format Result Cite Review PDF
Ellentuck, Erik Random isols. (English) Zbl 0546.03029 Z. Math. Logik Grundlagen Math. 29, 1-6 (1983). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Ellentuck, Erik Incompatible extensions of combinatorial functions. (English) Zbl 0546.03028 J. Symb. Log. 48, 752-755 (1983). Reviewer: R.Sh.Omanadze (Tbilisi) MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Gross, W. F. The inverse of a regressive object. (English) Zbl 0536.03019 J. Symb. Log. 48, 804-815 (1983). Reviewer: P.L.Ferrari MSC: 03C52 03D50 18A22 18B99 × Cite Format Result Cite Review PDF Full Text: DOI
Heck, William S. Large families of incomparable A-isols. (English) Zbl 0534.03022 J. Symb. Log. 48, 250-252 (1983). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Harkleroad, Leon Manifolds allowing RET arithmetic. (English) Zbl 0534.03021 Notre Dame J. Formal Logic 24, 482-484 (1983). Reviewer: H.Gonshor MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Dekker, J. C. E. Isols and balanced block designs with lambda=1. (English) Zbl 0524.05012 Compos. Math. 49, 75-93 (1983). MSC: 05B05 03D50 05B07 × Cite Format Result Cite Review PDF Full Text: Numdam EuDML
Dekker, J. C. E. Recursive equivalence types and octahedra. (English) Zbl 0523.03031 J. Aust. Math. Soc., Ser. A 34, 101-113 (1983). MSC: 03D50 05C99 × Cite Format Result Cite Review PDF
Vuckovic, Vladeta Relativized cylindrification. (English) Zbl 0528.03024 Z. Math. Logik Grundlagen Math. 28, 167-172 (1982). MSC: 03D20 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Barback, Joseph On tame regressive isols. (English) Zbl 0527.03026 Houston J. Math. 8, 153-159 (1982). MSC: 03D50 × Cite Format Result Cite Review PDF
Hay, Louise; Miller, Douglas E. The Addison game played backwards: index sets in topology. (English) Zbl 0524.03035 Patras Logic Symposion, Proc., Patras/Greece 1980, Stud. Logic Found. Math. 109, 231-237 (1982). MSC: 03E15 03D30 03D50 × Cite Format Result Cite Review PDF
Applebaum, C. H. An introduction to omega-extensions of omega-groups. (English) Zbl 0496.03025 J. Symb. Log. 47, 27-36 (1982). MSC: 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Calude, Cristian; Chitescu, Ion On Per Martin-Loef random sequences. (English) Zbl 0495.03026 Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. 26(74), 217-221 (1982). MSC: 03D50 × Cite Format Result Cite Review PDF
McLaughlin, Thomas G. Regressive sets and the theory of isols. (English) Zbl 0484.03025 Lecture Notes in Pure and Applied Mathematics, Vol. 66. New York - Basel: Marcel Dekker, Inc. VI, 371 p. SFr. 148.00 (1982). MSC: 03D50 03-01 03-02 × Cite Format Result Cite Review PDF
Dekker, J. C. E. Automorphisms of omega-octahedral graphs. (English) Zbl 0464.03040 Notre Dame J. Formal Logic 23, 427-434 (1982). MSC: 03D50 05C25 20B25 × Cite Format Result Cite Review PDF Full Text: DOI
Remmel, J. B. Recursive isomorphism types of recursive Boolean algebras. (English) Zbl 0543.03031 J. Symb. Log. 46, 572-594 (1981). MSC: 03D45 06E99 03D50 × Cite Format Result Cite Review PDF Full Text: DOI
Ellentuck, Erik Galois theorems for isolated fields. (English) Zbl 0523.03032 Z. Math. Logik Grundlagen Math. 27, 1-9 (1981). MSC: 03D50 11T99 51A35 × Cite Format Result Cite Review PDF Full Text: DOI