Theories of generalized Pascal trianglesIvan Korec · 1997

Small universal register machinesIvan Korec · 1996

Irrational speeds of configurations growth in generalized Pascal trianglesIvan Korec · 1993

A Ternary Function for Distributivity and Permutability of an Equivalence LatticeIvan Korec · Proceedings of the American Mathematical Society · 1978

A Ring with Arithmetical Congruence Lattice Not Preserved by Any Pixley FunctionIvan Korec · Proceedings of the American Mathematical Society · 1981

A ring with arithmetical congruence lattice not preserved by any Pixley functionKorec, Ivan · Proceedings of the American Mathematical Society · 1981

Improvement of Mycielski's inequality for non-natural disjoint covering system of ZIvan Korec · 1987

Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994

Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992

Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992

Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992

The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992

Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992

Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992

Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993