STUDY ON FORCING IN THEORY OF MODELS

被引：3
|
作者：
POIZAT, B
机构：
来源：
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK | 1978年 / 24卷 / 04期
关键词：
D O I：
10.1002/malq.19780241910
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：347 / 356
页数：10
相关论文
共 50 条
  • [21] RESEARCH ON FORCING COMPANION AND MODEL COMPANION OF THEORY CONNECTED TO EXISTENCE OF NALPHA-UNIVERSAL MODELS
    CUSIN, R
    COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES SERIE A, 1971, 273 (21): : 956 - &
  • [22] FORCING AND REDUCIBILITIES .3. FORCING IN FRAGMENTS OF SET-THEORY
    ODIFREDDI, P
    JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (04) : 1013 - 1034
  • [23] Proper forcing extensions and Solovay models
    Bagaria, J
    Bosch, R
    ARCHIVE FOR MATHEMATICAL LOGIC, 2004, 43 (06) : 739 - 750
  • [24] Effects of quasiperiodic forcing in epidemic models
    Bilal, Shakir
    Singh, Brajendra K.
    Prasad, Awadhesh
    Michael, Edwin
    CHAOS, 2016, 26 (09)
  • [25] Syntactic forcing models for coherent logic
    Bezem, Marc
    Buchholtz, Ulrik
    Coquand, Thierry
    INDAGATIONES MATHEMATICAE-NEW SERIES, 2018, 29 (06): : 1441 - 1464
  • [26] FORCING, NONMONOTONIC LOGIC, AND INITIAL MODELS
    NOURANI, CF
    JOURNAL OF SYMBOLIC LOGIC, 1986, 51 (02) : 494 - 494
  • [27] Seasonal forcing in stochastic epidemiology models
    Billings, Lora
    Forgoston, Eric
    RICERCHE DI MATEMATICA, 2018, 67 (01) : 27 - 47
  • [28] AERODYNAMIC FORCING MODELS FOR COMPRESSOR AEROMECHANICS
    Hernley, Valerie
    Jemcov, Aleksandar
    Morris, Scott C.
    PROCEEDINGS OF ASME TURBO EXPO 2022: TURBOMACHINERY TECHNICAL CONFERENCE AND EXPOSITION, GT2022, VOL 8A, 2022,
  • [29] Forcing in stable models of untyped λ-calculus
    Kerth, R
    INDAGATIONES MATHEMATICAE-NEW SERIES, 1999, 10 (01): : 59 - 71
  • [30] Environmental forcing of simple plankton models
    Truscott, JE
    JOURNAL OF PLANKTON RESEARCH, 1995, 17 (12) : 2207 - 2232
12345