Pseudo PCF

被引:0
|
作者
Saharon Shelah
机构
[1] Givat Ram The Hebrew University of Jerusalem,Einstein Institute of Mathematics, Edmond J. Safra Campus
[2] The State University of New Jersey,Department of Mathematics, Hill Center
来源
关键词
Winning Strategy; Regular Cardinal; Measurable Cardinal; Independence Property; Composition Theorem;
D O I
暂无
中图分类号
学科分类号
摘要
We continue our investigation on pcf with weak forms of the axiom of choice. Characteristically, we assume DC+P(Y) when looking at \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\prod\nolimits_{s \in Y} {{\delta _s}} $$\end{document}. We get more parallels of pcf theorems.
引用
收藏
页码:185 / 231
页数:46
相关论文
共 50 条
  • [11] Automatic Differentiation in PCF
    Mazza, Damiano
    Pagani, Michele
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2021, 5 (POPL):
  • [12] PCF black lists
    Marie, Jean-Jacques
    QUINZAINE LITTERAIRE, 2008, (980): : 23 - 24
  • [13] Applications of PCF theory
    Shelah, S
    JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1624 - 1674
  • [14] A COHERENT DIFFERENTIAL PCF
    Ehrhard T.
    Logical Methods in Computer Science, 2023, 19 (04):
  • [15] What remains of the PCF?
    Tartakowsky, Danielle
    MOUVEMENT SOCIAL, 2007, (219): : 231 - 233
  • [16] Possible PCF algebras
    Jech, T
    Shelah, S
    JOURNAL OF SYMBOLIC LOGIC, 1996, 61 (01) : 313 - 317
  • [17] What remains of the PCF?
    Pinet, CP
    FRENCH REVIEW, 2006, 79 (03): : 651 - 652
  • [18] INDUCTIVE DEFINITION AND DOMAIN THEORETIC PROPERTIES OF FULLY ABSTRACT MODELS FOR PCF AND PCF
    Sazonov, Vladimir
    LOGICAL METHODS IN COMPUTER SCIENCE, 2007, 3 (03)
  • [19] Pcf and abelian groups
    Shelah, Saharon
    FORUM MATHEMATICUM, 2013, 25 (05) : 967 - 1038
  • [20] Integration in real PCF
    Edalat, A
    Escardó, MH
    INFORMATION AND COMPUTATION, 2000, 160 (1-2) : 128 - 166