Quantifier Elimination for a Class of Intuitionistic Theories
暂无分享,去创建一个
Jonathan Fleischmann | Dan McGinn | Ben Ellison | Wim Ruitenburg | Wim Ruitenburg | Ben Ellison | J. Fleischmann | D. McGinn
[1] C. Ward Henson,et al. Countable homogeneous relational structures and ℵ0-categorical theories , 1972, Journal of Symbolic Logic.
[2] Chen C. Chang,et al. Model Theory: Third Edition (Dover Books On Mathematics) By C.C. Chang;H. Jerome Keisler;Mathematics , 1966 .
[3] H. Gaifman. Concerning measures in first order calculi , 1964 .
[4] A. S. Troelstra,et al. Construction in Mathematics. An Introduction, Volume 1 , 1990 .
[5] V. Pestov,et al. Fraïssé Limits, Ramsey Theory, and topological dynamics of automorphism groups , 2003 .
[6] Jonathan Fleischmann,et al. Kripke submodels and universal sentences , 2007, Math. Log. Q..
[7] J. Lynch. Almost sure theories , 1980 .
[8] Tomasz Polacik,et al. Back and Forth Between First-Order Kripke Models , 2008, Log. J. IGPL.
[9] Tomasz Polacik. Partially-Elementary Extension Kripke Models: A Characterization and Applications , 2006, Log. J. IGPL.
[10] Johan van Benthem,et al. NNIL, A study in intuitionistic propositional logic , 1994 .
[11] Stanley Burris. The Model Completion of the Class of ℒ-Structures , 1987, Math. Log. Q..
[12] Krister Segerberg,et al. Modal logics with linear alternative relations , 2008 .
[13] Albert Visser. Submodels of Kripke models , 2001, Arch. Math. Log..
[14] Craig Smorynski. Elementary Intuitionistic Theories , 1973, J. Symb. Log..
[15] A. Troelstra,et al. Constructivism in Mathematics: An Introduction , 1988 .
[16] Wolfgang Burr,et al. Fragments of Heyting arithmetic , 2000, Journal of Symbolic Logic.
[17] Samuel R. Buss,et al. Intuitionistic Validity in T-Normal Kripke Structures , 1993, Ann. Pure Appl. Log..
[18] S. Burris,et al. Sheaf constructions and their elementary properties , 1979 .
[19] Paul Bankston,et al. Notions of Relative Ubiquity for Invariant Sets of Relational Structures , 1990, J. Symb. Log..
[20] Dirk van Dalen,et al. Logic and structure , 1980 .