Z. Szentmiklóssy. S-spaces and L-spaces under Martin's axiom. Topology, Volume II, edited by A. Császár, Colloquia mathematica Societatis János Bolyai, no. 23, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1980, pp. 1139–1145. - 
            Zoltán Balogh. On compact Hausdorff spaces of countable tightness. Proceedings of the American Mathematical Society, vol. 105 (1989), pp. 755–764.

Publishing Company ◽

Mathematical Society ◽

Hausdorff Spaces ◽

Countable Tightness ◽

Martin’S Axiom ◽

János Bolyai

B. Courcelle. Equational theories and equivalences of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 289–302. - J. W. de Barker and J. I. Zucker. Derivatives of programs. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 321–343. - E. Engeler. An algorithmic model of strict finitism. Mathematical logic in computer science, edited by B. Dömölki and T. Gergely, Colloquia mathematica Societatis János Bolyai, no. 26, János Bolyai Mathematical Society, Budapest, and North-Holland Publishing Company, Amsterdam, Oxford, and New York, 1981, pp. 345–357.

10.2307/2274158 ◽

1984 ◽

Vol 49 (3) ◽

pp. 990-991 ◽

Cited By ~ 1

Author(s):

Steven S. Muchnick

Keyword(s):

New York ◽

Mathematical Logic ◽

Computer Science ◽

Publishing Company ◽

Mathematical Society ◽

Algorithmic Model ◽

János Bolyai ◽

Logic In Computer Science

A. Maitra and C. Ryll-Nardzewski. On the existence of two analytic non-Borel sets which are not isomorphic. Bulletin de L'Académie Polonaise des Sciences, Série des sciences mathematiques, astronomiques et physiques, vol. 18 (1970), pp. 177–178. - R. Daniel Mauldin. On nonisomorphic analytic sets. Proceedings of the American Mathematical Society, vol. 58 (1976), pp. 241–244. - Karel Hrbacek. On the complexity of analytic sets. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 24 (1978), pp. 419–425. - Karel Hrbacek and Stephen G. Simpson. On Kleene degrees of analytic sets. The Kleene Symposium, Proceedings of the symposium held June 18–24, 1978 at Madison, Wisconsin, U.S.A., edited by Jon Barwise, H. Jerome Keisler, and Kenneth Kunen, Studies in logic and the foundations of mathematics, vol. 101, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1980, pp. 347–352. - Leo Harrington. Analytic determinacy and 0#. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 685–693.

10.2307/2274204 ◽

1984 ◽

Vol 49 (2) ◽

pp. 665-668

Author(s):

Jacques Stern

Keyword(s):

New York ◽

Publishing Company ◽

Mathematical Society ◽

Symbolic Logic ◽

Borel Sets ◽

Analytic Sets

Solomon Feferman. A language and axioms for explicit mathematics. 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. 87–139. - Solomon Feferman. Constructive theories of functions and classes. Logic colloquium '78, Proceedings of the colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 159–224.

10.2307/2274115 ◽

1984 ◽

Vol 49 (1) ◽

pp. 308-311

Author(s):

G. R. Renardel de Lavalette ◽

A. S. Troelstra

Keyword(s):

New York ◽

Publishing Company ◽

Mathematical Society ◽

Australian Mathematical Society ◽

Lecture Notes ◽

Research Institute

James E. Baumgartner, Alan Taylor, and Stanley Wagon. Ideals on uncountable cardinals. Logic Colloquium '77, Proceedings of the colloquium held in WrocŁaw, August 1977, edited by Angus Macintyre, Leszek Pacholski, and Jeff Paris, Studies in logic and the foundations of mathematics, vol. 96, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1978, pp. 67–77. - J. E. Baumgartner, A. D. Taylor, and S. Wagon. Structural properties of ideals. Dissertationes mathematicae (Rozprawy matematyczne), no. 197, Polska Akademia Nauk, Instytut Matematyczny, Warsaw 1982, 95 pp. - James E. Baumgartner and Alan D. Taylor. Saturation properties of ideals in generic extensions. Transactions of the American Mathematical Society, vol. 270 (1982), pp. 557–574, and vol. 271 (1982), pp. 587–609.

Bulletin of Symbolic Logic ◽

10.2307/2687832 ◽

2001 ◽

Vol 7 (1) ◽

pp. 79-79

Author(s):

Thomas Jech

Keyword(s):

New York ◽

Structural Properties ◽

Publishing Company ◽

Saturation Properties ◽

Uncountable Cardinals ◽

Generic Extensions

Simon Kochen. Topics in the theory of definition. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 170–176. - Walter Felscher. On criteria of definability. Proceedings of the American Mathematical Society, vol. 19 (1968), pp. 834–836.

10.2307/2271120 ◽

1969 ◽

Vol 34 (2) ◽

pp. 300-301

Author(s):

H. Jerome Keisler

Keyword(s):

International Symposium ◽

Publishing Company ◽

Mathematical Society ◽

Alfred Tarski ◽

Theory Of Definition

Jack H. Silver. Counting the number of equivalence classes of Borel and coanalytic equivalence relations. Annals of mathematical logic, vol. 18 (1980), pp. 1–28. - John P. Burgess. Equivalences generated by families of Borel sets. Proceedings of the American Mathematical Society. vol. 69 (1978), pp. 323–326. - John P. Burgess. A reflection phenomenon in descriptive set theory. Fundamenta mathematicae. vol. 104 (1979), pp. 127–139. - L. Harrington and R. Sami. Equivalence relations, projective and beyond. Logic Colloquium '78, Proceedings of the Colloquium held in Mons, August 1978, edited by Maurice Boffa, Dirk van Dalen, and Kenneth McAloon, Studies in logic and the foundations of mathematics, vol. 97, North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, pp. 247–264. - Leo Harrington and Saharon Shelah. Counting equivalence classes for co-κ-Souslin equivalence relations. Logic Colloquium '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. 147–152. - Jacques Stern. On Lusin's restricted continuum problem. Annals of mathematics, ser. 2 vol. 120 (1984), pp. 7–37.

10.1017/s0022481200029856 ◽

1987 ◽

Vol 52 (3) ◽

pp. 869-870

Author(s):

Alain Louveau

Keyword(s):

New York ◽

Equivalence Classes ◽

Publishing Company ◽

Equivalence Relations ◽

Borel Sets ◽

Descriptive Set

Gerald E. Sacks. Metarecursively enumerable sets and admissible ordinals. Bulletin of the American Mathematical Society, vol. 72 (1966), pp. 59–64. - Gerald E. Sacks. Post's problem, admissible ordinals, and regularity. Transactions of the American Mathematical Society, vol. 124 (1966), pp. 1–23. - Gerald E. Sacks. Metarecursion theory. Sets, models and recursion theory, Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965, edited by John N. Crossley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, and Humanities Press, New York, 1967, pp. 243–263. - Graham C. DriscollJr., Metarecursively enumerable sets and their metadegrees. The Journal of symbolic logic, vol. 33 (1968), pp. 389–11.

10.2307/2270995 ◽

1969 ◽

Vol 34 (1) ◽

pp. 115-116

Author(s):

Richard A. Platek

Keyword(s):

New York ◽

Summer School ◽

Recursion Theory ◽

Mathematical Society ◽

Symbolic Logic ◽

Admissible Ordinals

N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 (1963), pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258(1) by Moshe Machover. American Mathematical Society translations, vol. 29 (1963), pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Vesley. The intuitionistic continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 133–173. - S. C. Kleene. On order in the continuum. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 174–186. - S. C. Kleene. Bibliography.The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 187–199.

10.2307/2269821 ◽

1966 ◽

Vol 31 (2) ◽

pp. 258-261 ◽

Cited By ~ 3

Author(s):

Georg Kreisel

Keyword(s):

English Translation ◽

Formal System ◽

Publishing Company ◽

Mathematical Society ◽

Recursive Functions ◽

The Continuum

Wolf, H. K., P. W. Macfarlane (Eds.): Optimization of Computer ECG Processing. (Proceedings of the IFIP TC 4 Working Conference. Halifax, Canada, June 5–7, 1979.) North-Holland Publishing Company, Amsterdam, New York, Oxford 1980. 346 S., $48.75, Dfl. 100,—.

Biometrical Journal ◽

10.1002/bimj.4710230315 ◽

1981 ◽

Vol 23 (3) ◽

pp. 316-316

Author(s):

D. Bräuer

Keyword(s):

New York ◽

Publishing Company ◽

North Holland Publishing

Crystal growth: A tutorial approach. W. Bardsley, D. T. J. Hurle, J. B. Mullin (eds). Proceedings of the Third International School on Crystal Growth, 1977. North-Holland Publishing Company, Amsterdam and New York 1979 IX, 408 Seiten, 237 Abbildungen; Preis: US £ 53.75/Dfl. 110.00

Kristall und Technik ◽

10.1002/crat.19800151006 ◽

1980 ◽

Vol 15 (10) ◽

pp. 1130-1130

Author(s):

K. Jacobs

Keyword(s):

New York ◽

Crystal Growth ◽

International School ◽

Publishing Company ◽

The Third ◽

North Holland Publishing