activity
20082013
most citedThere is No Standard Model of ZFC and ZFC_2 with Henkin semantics.Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms.Consistency Results in Topology

3 citations · 9 across the 4 of their papers we have counts for

collaborators
Showing 2013Show all

1 paper · 1 filter

math.GM2013★ 3 cited

There is No Standard Model of ZFC and ZFC_2 with Henkin semantics.Generalized Lob's Theorem.Strong Reflection Principles and Large Cardinal Axioms.Consistency Results in Topology

Jaykov Foukzon

In this article we proved so-called strong reflection principles corresponding to formal theories Th which has omega-models. An posible generalization of the Lob's theorem is consi…