位置：成果数据库 > 期刊 > 期刊详情页
关于topos中的内蕴Heyting代数对象
  • ISSN号：0255-7797
  • 期刊名称：《数学杂志》
  • 时间：0
  • 分类：O154.1[理学—数学;理学—基础数学] O153.1[理学—数学;理学—基础数学]
  • 作者机构：[1]连云港师范高等专科学校数学系,江苏连云港222006, [2]南京大学数学系,江苏南京210093, [3]南京师范大学数学系,江苏南京210097
  • 相关基金：Supported by National Natural Science Foundation of China （10731050）; Supported by Jiangsu Postdoctoral Science Foundation （1001029C）.
作者： 王习娟[1,2], 贺伟[3]
关键词： 内蕴Heyting代数, 内蕴分配格, TOPOS, internal Heyting algebra object, internal distributive lattice, topos
中文摘要：

本文研究了在一般topos中内蕴Heyting代数对象的性质．利用范畴的态射及伴随的方法，获得了内蕴Heyting代数对象为内蕴分配格结果，推广了集合范畴中的对应结果．

英文摘要：

In this article, we investigate some properties of internal Heyting algebra objects in a topos. By the method of adjoint in category, we prove that an internal Heyting algebra object is an internal distributive lattice.

同期刊论文项目
不确定性处理的数学理论、方法及其应用
期刊论文 91
同项目期刊论文
基于最优分数阶傅里叶变换MIMO-OFDM系统
一种基于分数阶傅里叶变换OFDM系统的信道估计
Performance Analysis for the Blind Multi-user Detection Based on Subspace Method in TH-UWB Systems
Dealing with uncertainty and fuzziness in intelligent systems
多维空间索引结构SHG-Tree(英文)
Mining supplemental frequent patterns
SHG-tree: An efficient granularity-based spatial index structure
保密通信中的分形调制技术
Dynamics of sedimentation of flexible fibers in moderate Reynolds number flows, Computers and Fluids
A Novel Multiuser SISO-BOFDM Systems with Group Fractional Fourier Transactions Scheme
基于同时调节参数和噪声强度的随机共振性能分析
基于分数阶变分的TV模型
Adaptive Exponential Filter for Multiple Targets Detection
Time delay estimation of multiple targets with wavelet based phase-only matched filter
关于S-量子空间的闭包
连续范畴
关于连续偏序集的注记（英文）
乘性二次噪声驱动的线性过阻尼振子的随机共振
Dynamic behavior of fractional order Duffing chaotic system and its synchronization via singly activ
Hausdorff拓扑与Scott拓扑的对偶
IEEE802.11g无线局域网中基于FrFT角分多址的多流OFDM技术
A Denoising Algorithm for Noisy Chaotic Signals Based on the Higher Order Threshold Function in Wave
Some properties of weak uninorms, Information Sciences
Weak Signal Frequency Detection Method Based on Generalized Duffing Oscillator
An Interest Feature Spatial approach for personalized recommendation
Simulations of dynamics of plunge and pitch of a three-dimensional flexible wing in a low Reynolds n
A Novel OFDMA Cellular System Based on Multiple FrFT Angles Reuse Scheme
MMSE Equalizer Design and Simulations for Hybrid MIMO Transmission Schemes in LTE Systems
Sub-frequent patterns mining based on SFP-tree
On a characterization theorem for continuous posets
Biorthogonal Frequency Division Multiple Access Cellular System with Angle Division Reuse Scheme, Wi
有限偏序集的Cartesian积的收缩
关于Locale Wallman紧化的一点注记（英文）
A Note on Proper Maps of Locales
On minimization of axiom sets characterizing covering-based approximation operators
Multirate diversity strategy of fractal modulation
Stochastic Multi-Resonance in a Linear System Driven by Multiplicative Polynomial Dichotomous Noise
Stochastic Multi- Resonance in a Linear System Driven by Multiplicative Polynomial Dichotomous Noise
Fixed points of involutive interval-valued negations
正则关系与正规空间
逼近空间的拓扑方法
Meets of spatial sublocales
Quantum spaces
Wavelet threshold method of resolving noise interference in periodic short-impulse signals chaotic d
基于序列批处理Kalman滤波的跟踪算法
Fractional Order Correlation Algorithm of Uncertain Time Sequence
A model for dynamic object segmentation with kernel density estimation based on gradient features
过阻尼分数阶Langevin方程及其随机共振
Notes on design of transformation-based reduced-rank generalized sidelobe canceller for matrix LCMV
基于高斯小波变换的时延估计
去调频处理的合成孔径雷达成像
Notes on two-side quantales in quantitative logic and soft computing
左中心rpp半群的半直积
Pullback of sublocales
完备布尔代数商格的注（英文）
连续预序集（英文）
L-连续偏序集的M性质与有限分离性
偏序集和连续偏序集上的Scott拓扑（英文）
连续格的同余
Performance analysis for the novel blind multi-user detector based on compressed subspace method in
Completely regular proper reflection of locales over a given locale
Control of fractional order chaotic systems based on washout filters with fractional order
弹载SAR宽域成像的扫描参数设计
Free object in the category of L-fuzzy left R-modules determined by L-fuzzy set
A Proof of plotkin's conjecture
Rough concept lattices and domains
基于UKF的反辐射导弹对移动辐射源的跟踪
杂波抑制的分形处理：小波－多尺度自适应Kalman滤波
导弹倾斜稳定回路中的最优变增益控制
Galois connections in a topos
一种利用多核解卷积提高雷达角分辨力的方法
关于topos中的内蕴Heyting代数对象(英文)
Detection of Weak Signal with Extremely low SNR based on Chaos Oscillator Combining with Inertial Fi
Fractional ambiguity function and its application in joint estimation of time delay and Doppler shif
FrFT Angle Division Multiple Access with Optimal Time-Frequency-Angle Resource Distribution
下行4×2LTE系统中混合MIMO传输模式的均衡器设计及其系统性能仿真
基于FFT预估计的宽带信号DOA估计
基于分数阶Fourier变换的阵列雷达运动目标检测算法
MIMO OFDM systems based on the optimal fractional fourier transform
V-BLAST系统中基于子空间跟踪的自适应连续干扰消除接收机设计
广义copula的存在理论
局部D-空间
船舶航迹分数阶过程关联算法
基于FrFT角复用的双正交频分复用蜂窝系统
种群分化遗传算法在求解多人非合作对策Nash均衡解中的应用
极坐标系下UKF双站目标跟踪算法研究
LTE系统中混合MIMO传输模式的MMSE均衡器设计及其性能仿真
期刊信息
  • 《数学杂志》
  • 北大核心期刊（2011版）
  • 主管单位:中华人民共和国教育部
  • 主办单位:武汉大学 湖北省数学学会 武汉数学学会
  • 主编：陈化
  • 地址：湖北武汉大学
  • 邮编：430072
  • 邮箱：jmath@whu.edu.cn
  • 电话：027-68754687
  • 国际标准刊号：ISSN：0255-7797
  • 国内统一刊号：ISSN：42-1163/O1
  • 邮发代号:38-71
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:3910