Title: Some investigations into ramified set theory