Add to ORKGThesis presents the notion of elementary topos in order to state and prove Barr's theorem. We discuss a common ground to build classical Model Theory in an elementary topos, then we use Barr's theorem for some applications
The purpose of this book is two-fold: (1) To give a systematic introduction to topos theory from a p...
This book introduces a set of methods and techniques for studying mathematical theories and relating...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
A primeira noção de topos, a de topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma ge...
By a classifying topos for a first-order theory T, we mean a toposE such that, for any topos F, mode...
Topoi originated in the 1960's when Grothendieck found a powerful way to study categories related to...
The methodology of topos-theoretic ‘bridges ’ was introduced in [1]. This technique allows to effect...
AbstractWe consider Zermelo-Fraenkel set theory ZF and the theory ETS(ZF) of the elementary topos of...
We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (res...
AbstractBy a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allow...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
The notion of Grothendieck topos may be considered as a generalisation of that of topological space,...
By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atom...
Abstract. An elementary topos is a nice way to generalize the notion of sets using categorical langu...
The purpose of this book is two-fold: (1) To give a systematic introduction to topos theory from a p...
This book introduces a set of methods and techniques for studying mathematical theories and relating...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...
A topos is a category satisfying certain axioms. By satisfying the topos axioms, a category can be t...
A primeira noção de topos, a de topos de Grothendieck, surgiu há cerca de 50 anos a partir de uma ge...
By a classifying topos for a first-order theory T, we mean a toposE such that, for any topos F, mode...
Topoi originated in the 1960's when Grothendieck found a powerful way to study categories related to...
The methodology of topos-theoretic ‘bridges ’ was introduced in [1]. This technique allows to effect...
AbstractWe consider Zermelo-Fraenkel set theory ZF and the theory ETS(ZF) of the elementary topos of...
We present a general method for deciding whether a Grothendieck topos satisfies De Morgan's law (res...
AbstractBy a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allow...
AbstractLet λ be a finitary geometric theory and δ its classifying topos. We prove that δ is Boolean...
The notion of Grothendieck topos may be considered as a generalisation of that of topological space,...
By a model of set theory we mean a Boolean-valued model of Zermelo-Fraenkel set theory allowing atom...
Abstract. An elementary topos is a nice way to generalize the notion of sets using categorical langu...
The purpose of this book is two-fold: (1) To give a systematic introduction to topos theory from a p...
This book introduces a set of methods and techniques for studying mathematical theories and relating...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1998.Includes bibliogr...