Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience (English)
- New search for: Rathjen, M.
- New search for: Rathjen, M.
In:
ANNALS OF PURE AND APPLIED LOGIC
;
165
, 2
;
563-572
;
2014
-
ISSN:
- Article (Journal) / Print
-
Title:Constructive Zermelo–Fraenkel set theory and the limited principle of omniscience
-
Contributors:Rathjen, M. ( author )
-
Published in:ANNALS OF PURE AND APPLIED LOGIC ; 165, 2 ; 563-572
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2014-01-01
-
Size:10 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 160
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 160 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 165, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 389
-
Cohesive sets and rainbowsWang, Wei et al. | 2013
- 409
-
Relational dual tableau decision procedures and their applications to modal and intuitionistic logicsGolińska-Pilarek, Joanna / Huuskonen, Taneli / Muñoz-Velasco, Emilio et al. | 2013
- 428
-
Relating first-order set theories, toposes and categories of classesAwodey, Steve / Butz, Carsten / Simpson, Alex / Streicher, Thomas et al. | 2013
- 503
-
Consistent amalgamation for þ-forkingEaly, Clifton / Onshuus, Alf et al. | 2013
- 520
-
Nonstandard second-order arithmetic and Riemannʼs mapping theoremHorihata, Yoshihiro / Yokoyama, Keita et al. | 2013
- 552
-
On compactifications and the topological dynamics of definable groupsGismatullin, Jakub / Penazzi, Davide / Pillay, Anand et al. | 2013
- 563
-
Constructive Zermelo–Fraenkel set theory and the limited principle of omniscienceRathjen, Michael et al. | 2013
- 573
-
Many countable support iterations of proper forcings preserve Souslin treesMildenberger, Heike / Shelah, Saharon et al. | 2013
- 609
-
Separating weak partial square principlesKrueger, John / Schimmerling, Ernest et al. | 2013
- 620
-
On supercompactness and the continuum functionCody, Brent / Magidor, Menachem et al. | 2013
- 631
-
Bounding, splitting, and almost disjointnessBrendle, Jörg / Raghavan, Dilip et al. | 2013
- 652
-
On unification and admissible rules in Gabbay–de Jongh logicsGoudsmit, Jeroen P. / Iemhoff, Rosalie et al. | 2013
- 673
-
Squares and covering matricesLambie-Hanson, Chris et al. | 2013
- 695
-
Theories without the tree property of the second kindChernikov, Artem et al. | 2013
- 724
-
2-Minimality, jump classes and a note on natural definabilityCai, Mingzhong et al. | 2013
- 742
-
Propagation of partial randomnessHiguchi, Kojiro / Hudelson, W.M. Phillip / Simpson, Stephen G. / Yokoyama, Keita et al. | 2013
- 759
-
Non-commutative logical algebras and algebraic quantalesRump, Wolfgang / Yang, Yi Chuan et al. | 2013
- IFC
-
Editorial Board| 2013