- Implicit definability and infinitary languages, J. Symbolic Logic, (1968), Vol. 33, pp. 446-451.
- Some applications of iterated ultrapowers in set theory, Annals Math. Log., Vol. 1 (1970), pp. 179-227.
- Boolean extensions and measurable cardinals (with J. Paris), Annals Math. Log., Vol. 2 (1971), pp. 359-377.
- Indescribability and the continuum, Axiomatic Set Theory, AMS Proc. Symp. Pure Math, 13 part 1, (1971), pp. 199-203.
- Ultrafilters and independent sets, Trans. AMS, Vol. 172 (1972), pp. 299-306.
- Elementary embeddings and infinitary combinatorics J. Symbolic Logic, Vol. 36 (1971), pp. 407-413.
- Hanf numbers for fragments of $\L_{omega_1,omega_1}$ (with J. Barwise), Israel J. Math. Vol. 10 (1971), pp. 306-320.
- On the GCH at measurable cardinals, Logic Coll., (1971), pp. 107-110.
- On descendingly incomplete ultrafilters (with K. Prikry), J. Symbolic Logic (1971), pp. 650-652.
- A model for the negation of the axiom of choice, Springer Lecture Notes, \#337 - Proc. of Cambridge Summer School (1973), pp. 489-493.
- On the weight of Hausdorff spaces (with I. Juhász),(1973), J. Gen. Top. Vol. 3, pp. 47-49.
- Some comment on box products, Coll. Math. Soc., Janos Bolyai 10 (1973), pp. 1011-1016.
- Paracompactness of box products of compact spaces, AMS Transactions 240 (1978), pp. 307-316.
- Combinatorics: Handbook of Mathematical Logic, North Holland (1978), pp. 371-403.
- Between Martins axiom and Suslin's hypothesis (with F. Tall), Fund. Math. 102 (1979), pp. 173-181.
- Attaining the spread at cardinals of confinality w (with J. Roitman), Pacific J. Math. 70 (1977), pp. 199-205.
- Some points in BN, Proc. Cambridge Philos. Soc., Vol. 80 (1976), pp. 385-398.
- Two more hereditarily separable non-Lindelöf spaces (with I. Juhász and M. E. Rudin), Canadian J. Math. Vol. 28 (1976), pp. 998-1005.
- Luzin spaces, Topology Proceedings (for Auburn meeting, Spring 1976), pp. 19l-199.
- Strong S and L spaces under MA, Set Theoretic Topology (Proc. of Athens Meeting, Spring 1976), pp. 265-268.
- Bairly Baire spaces (with W. Fleissner), Fund. Math. 101 (1978), pp. 229-240.
- Topologies determined by $\sigma$ ideals on $\omega_1$ (with S. Broverman, J. Ginsburg, and F. Tall), Canadian J. Math. 30 (1978), pp. 1306-1312.
- Saturated ideals, J. Symbolic Logic 43 (1978), pp. 65-76.
- Projective covers of ordinal subspaces (with Lee Parsons), Topology Proc. 3 (1978), pp. 407-428.
- On nowhere dense closed P-sets (with J. Van Mill and C. Mills), AMS Proceedings 78 (1980), pp. 119-123.
- Weak P-points in N*, Colloq. Math. Sco. Janos Bolyai 23 (1980), pp. 741-749.
- A compact L-space under CH, Topology and Applications 12 (1981), pp. 283-287.
- On the pi-character of ultrafilters (with M. Bell), C. R. Math. Rep. Acad. Sci. Canada 3 (1981), pp. 351-356.
- Some additive properties of sets of real numbers (with P. Erdös and D. Mauldin), Fund. Math. 113 (1981) 187-199.
- L-spaces and S-spaces in $\mathcal{P}(\omega)$ (with E. van Douwen), Topology and Applications l4 (1982), pp. 143-149.
- Arc components in metric continua (with M Starbird), Topology and Applications 14 (1982), pp. 167-170.
- Maximal $\sigma$-independent families, Fundamenta Math. 117 (1983), 75-80.
- Martingale proofs of some geometric results in Banach space theory (with H. Rosenthal), Pacific Journal 100 (1982), 153-175.
- A minimal degree which collapses $\omega_1$ (with T. Carlson & A. Miller) J. Symbolic Logic 49 (1984) 298-300.
- Baire irresolvable spaces and ideal theory (with A. Szymanski and F. Tall), Annals Math. Silesiana, 14 (1986) 98-107.
- Borel and projective sets from the point of view of compact sets (with A. Miller), Mathematical Proceedings of Cambridge Phil. Soc., 94 (1983), 399-409.
- Box products of ordered spaces, Topology and Applications 20 (1985) 245-250.
- On a combinatorial property of Menas(with D. Pelletier), J. Symbolic Logic 48 (1983) 475-48l.
- Random and Cohen Reals, Handbook of Set-Theoretic Topology (1984), 887-911.
- Completeness results for inequality provers (with W. Bledsoe and R. Shostak), Artificial Intelligence 27 (1985) 255-288.
- On ordinal-metric intersection topologies, Topology and Applications 22 (1986) 315-319.
- Negation in logic programming, 4(1987) 289-308, J. Logic Programming.
- Where MA first fails, J. Symbolic Logic, 53 (1988) 429-433.
- Answer sets and negation-as-failure, in: J.-L. Lassez (ed.) Logic Programming (Proc. Fourth International Conference), MIT Press 1987, pp. 219-228.
- Partitioning Euclidean Space, Math. Proc. Cambridge Philosophical Society. 102 (1987) 379-383.
- Solution of Kuratowski's problem on functions having the Baire property (with R. Frankiewicz), Fundamenta Math. 128 (1987) 171-180.
- Some remarks on the completed database, in: Logic Programming MIT Press, (1988) 978-992.
- On inhomogeneity of products of compact F-spaces (with R. Frankiewicz and P. Zbierski), Fundamenta Math. 129 (1988) 35-38.
- There can be $C^*$-embedded dense proper subspaces in $\beta \omega -\omega $ (with E.K. van Douwen and J. van Mill), AMS Proceedings, 105 (1989) 462-470.
- Signed data dependencies in logic programs, J. Logic Programming 7 (1989) 231-245.
- Rigid P-spaces, Fund. Math. 133 (1989) 59-65.
- Descriptive set theory over hyperfinite sets (with H.J. Keisler, A. Miller, S. Leth), J. Symbolic Logic, 54 (1989) 1167-1180.
- Two remarks about analytic sets (with F. van Engelen and A. Miller), Lecture Notes in Mathematics, Springer-Verlag 1401 (1989) 68-72.
- On sigma-centered Posets (with I. Juhász), in A Tribute to Paul Erdös, Cambridge Univeristy Press, 1990, pp. 307-311.
- Normality and paracompactness in box products (with E.K. van Douwen), Topology and Applications, 35 (1990) 157-161.
- Large homogeneous compact spaces, Problems in Topology (J. von Mill & G.M Reed, eds.), North-Holland, 1990 pp. 261-270.
- Essentially unbounded chains in compact sets (with D. Fremlin), Math. Proc. Cambridge Phil. Soc. 109 (1991) 149-160.
- Polynomial Time Compression (with J. Goldsmith and L.A. Hemachandra), Computational Complexity, 2 (1992) 18-39.
- Declarative Semantics for Logic Programs, Bulletin of the European Association for Theoretical Computer Science, 1991, 21 pp.
- Single Axioms for Groups, Journal of Automated Reasoning, 9 (1992) 291-308.
- Measures on compact HS spaces (with M. Dzamonja), Fundamenta Math. 143 (1993) 41-54.
- On the open-open game (with P. Daniels & H. Zhou), Fundamenta Math. 145 (1994) 205-220.