4-nitro-2-phenylazo-[1]naphthylamine | 85871-45-0

• 分子结构分类: 有机化合物 - 苯类化合物 - 萘
• 英文名称: 4-nitro-2-phenylazo-[1]naphthylamine
• 英文别名: 2-Nitro-2-benzolazo-naphthylamin-(1)；4-Nitro-2-phenylazo-[1]naphthylamin
• CAS: 85871-45-0
• 化学式: C₁₆H₁₂N₄O₂
• 分子量: 292.297
• InChiKey: OMZGLXZGRKQVSI-VHEBQXMUSA-N

计算性质

• 辛醇/水分配系数(LogP)：
  4.75
• 重原子数：
  22.0
• 可旋转键数：
  3.0
• 环数：
  3.0
• sp3杂化的碳原子比例：
  0.0
• 拓扑面积：
  93.88
• 氢给体数：
  1.0
• 氢受体数：
  5.0

反应信息

• 作为反应物：
  描述：

  9-羟基菲 、 4-nitro-2-phenylazo-[1]naphthylamine 生成 11-nitro-tribenzo[a,c,h]phenazine
  参考文献：
  名称：

  Maffei; Pietra, Bollettino Scientifico della Facolta di Chimica Industriale di Bologna, 1950, vol. 8, p. 95

  摘要：

  DOI：
• 作为产物：
  描述：

  1-氨基-4-硝基萘 、 氯化重氮苯 在 乙醇 作用下， 生成 4-nitro-2-phenylazo-[1]naphthylamine
  参考文献：
  名称：

  Fixed Point Logics

  摘要：

  摘要：我们考虑固定点逻辑，即在一阶谓词逻辑中定义固定点的操作符扩展。在有限模型理论的背景下，已经研究了许多这样的操作符，包括泛化归纳定义的非确定性和交替操作符。我们回顾了在有限模型理论中建立的结果，并考虑了结果逻辑在无限结构上的表达能力。特别是，我们建立了增生和非确定性固定点逻辑与二阶逻辑之间的关系，并考虑了与交替固定点相关联的游戏的确定性问题。

  DOI：

  10.2178/bsl/1182353853

文献信息

• Maffei; Pietra, Bollettino Scientifico della Facolta di Chimica Industriale di Bologna, 1950, vol. 8, p. 95
  作者：Maffei、Pietra

  DOI：——

  日期：——
• Fixed Point Logics
  作者：Anuj Dawar、Yuri Gurevich

  DOI：10.2178/bsl/1182353853

  日期：2002.3

  We consider fixed point logics, i.e., extensions of first order predicate logic with operators defining fixed points. A number of such operators, generalizing inductive definitions, have been studied in the context of finite model theory, including nondeterministic and alternating operators. We review results established in finite model theory, and also consider the expressive power of the resulting logics on infinite structures. In particular, we establish the relationship between inflationary and nondeterministic fixed point logics and second order logic, and we consider questions related to the determinacy of games associated with alternating fixed points.

  摘要：我们考虑固定点逻辑，即在一阶谓词逻辑中定义固定点的操作符扩展。在有限模型理论的背景下，已经研究了许多这样的操作符，包括泛化归纳定义的非确定性和交替操作符。我们回顾了在有限模型理论中建立的结果，并考虑了结果逻辑在无限结构上的表达能力。特别是，我们建立了增生和非确定性固定点逻辑与二阶逻辑之间的关系，并考虑了与交替固定点相关联的游戏的确定性问题。