Add to ORKGIn this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
In this paper we view the first order set theory ZFC under the canonical frst order semantics and th...
In this paper we view the first order set theory ZFC under the canonical frst order semantics and th...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
In this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
Main results are:(i) Let M_st be standard model of ZFC. Then ~Con(ZFC+∃M_st), (ii) let k b...
In this paper we view the first order set theory ZFC under the canonical frst order semantics and th...
In this paper we view the first order set theory ZFC under the canonical frst order semantics and th...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
In this article we derived an important example of the inconsistent countable set in second order ...
We show that the theory ZFC, consisting of the usual axioms of ZFC but with the power set axiom remo...
In this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...
In this article we proved so-called strong reflection principles corresponding to formal t...