A formalisation of deep metamodelling
- 期刊名称Formal Aspects of Computing
- 作者Rossini, Alessandro; de Lara, Juan; Guerra, Esther; Rutle, Adrian; Wolter, Uwe
- 卷第26卷
- 期第6期
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小1865.95KB
- 发表时间2014-11
- DOI10.1007/s00165-014-0307-x
- 页码1115-1152
Forcing in Finite StructuresDomenico Zambella · 1997
Computational Randomness and LownessSebastiaan A. Terwijn and Domenico Zambella · The Journal of Symbolic Logic · 2001
Notes on polynomially bounded arithmeticZambella, Domenico · The Journal of Symbolic Logic · 1996
The Real truthBaratella, Stefano; Zambella, Domenico · Mathematical Logic Quarterly · 2015
Generic Expansions of Countable ModelsBarbina, Silvia; Zambella, Domenico · Notre Dame Journal of Formal Logic · 2012
Algebraic Methods and Bounded FormulasZambella, Domenico · Notre Dame Journal of Formal Logic · 1997
End extensions of models of linearly bounded arithmeticDomenico Zambella · 1997
Homology of proof-netsFrançois Métayer · Archive for Mathematical Logic · 1994
Countable models of 1-based theoriesAnand Pillay · Archive for Mathematical Logic · 1992
Intuitionistic typical ambiguityDaniel Dzierzgowski · Archive for Mathematical Logic · 1992
Onκ-complete reduced productsTapani Hyttinen · Archive for Mathematical Logic · 1992
The monadic theory of (ω2,Shmuel Lifsches; Saharon Shelah · Archive for Mathematical Logic · 1992
Strong counterexamples to Borel hyperdeterminacyC. Ward Henson · Archive for Mathematical Logic · 1992
Subsets of models of arithmeticRoman Kossak; Jeffrey B. Paris · Archive for Mathematical Logic · 1992
Constructibility in higher order arithmeticsA. Sochor · Archive for Mathematical Logic · 1993