activity
19982004
most citedComplete ccc Boolean algebras, the order sequential topology, and a problem of von Neumann

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing 1998Show all

2 papers · 1 filter

math.LO1998

Some results on combinators in the system TRC

Thomas Jech

We investigate the system TRC of combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC.

math.LO1998

On reflection of stationary sets in P_kappa lambda

Thomas Jech, Saharon Shelah

We investigate reflection of stationary sets in P_kappa lambda and prove a consistency result for the case when lambda is the successor of kappa.