From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory
暂无分享,去创建一个
[1] Angus Macintyre,et al. Some supplements to Feferman-Vaught related to the model theory of adeles , 2014, Ann. Pure Appl. Log..
[2] Solomon Feferman,et al. Generalizing Set-Theoretical Model Theory and an Analogue Theory on Admissible Sets , 1979 .
[3] Jerzy Łoś,et al. On the extending of models (IV) , 1955 .
[5] William Craig,et al. Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory , 1957, Journal of Symbolic Logic.
[6] Solomon Feferman,et al. Tarski's Conceptual Analysis of Semantical Notions , 2008 .
[7] R. Lyndon. PROPERTIES PRESERVED UNDER HOMOMORPHISM , 1959 .
[8] William Craig,et al. Linear reasoning. A new form of the Herbrand-Gentzen theorem , 1957, Journal of Symbolic Logic.
[9] Solomon Feferman,et al. Persistent and invariant formulas relative to theories of higher order , 1966 .
[10] David Marker,et al. A model theoretic proof of Feferman's preservation theorem , 1984, Notre Dame J. Formal Log..
[11] Solomon Feferman. Tarski's conception of logic , 2004, Ann. Pure Appl. Log..
[12] Johann A. Makowsky,et al. Algorithmic uses of the Feferman-Vaught Theorem , 2004, Ann. Pure Appl. Log..
[13] A. Mostowski. On Direct Products of Theories , 1952 .
[14] Jacques Stern,et al. A new look at the interpolation problem , 1975, Journal of Symbolic Logic.
[15] R. Lyndon. An interpolation theorem in the predicate calculus. , 1959 .
[16] Jon Barwise,et al. Model-Theoretic Logics , 2016 .
[17] Jeffery I. Zucker,et al. The adequacy problem for classical logic , 1978, J. Philos. Log..
[18] William Lane Craig. Beth E. W.. On Padoa's method in the theory of definition. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings , series A, vol. 56 (1953), pp. 330–339; also Indagationes mathematicae, vol. 15 (1953), pp. 330–339. , 1956 .
[19] Solomon Feferman,et al. Set-theoretical Invariance Criteria for Logicality , 2010, Notre Dame J. Formal Log..
[20] S. Feferman,et al. The first order properties of products of algebraic systems , 1959 .
[21] Martin Otto,et al. An Interpolation Theorem , 2000, Bulletin of Symbolic Logic.
[22] S. Feferman. A Fortuitous Year with Leon Henkin , 2014 .
[23] M. de Rijke,et al. JFAK. Essays Dedicated to Johan van Benthem on the occasion of his 50th Birthday , 1999 .
[24] Jon Barwise,et al. Set-Theoretic Definability of Logics , 2016 .
[25] Solomon Feferman,et al. Infinitary properties, local functors, and systems of ordinal functions , 1972 .
[26] Alessandro Padoa. Essai d'une théorie algébrique des nombres entiers, précédé d’une Introduction logique à une theorie déductive quelconque , 1901 .
[27] Solomon Feferman,et al. Harmonious logic: Craig’s interpolation theorem and its descendants , 2008, Synthese.
[28] Solomon Feferman,et al. Persistent and invariant formulas for outer extensions , 1968 .
[29] Evert W. Beth,et al. On Padoa’s Method in the Theory of Definition , 1953 .
[30] S. Feferman. Lectures on proof theory , 1968 .
[31] Solomon Feferman,et al. Logic, Logics, and Logicism , 1999, Notre Dame J. Formal Log..
[32] Solomon Feferman,et al. Two notes on abstract model theory. II. Languages for which, the set of valid sentences is semi-invariantly implicitly definable , 1975 .
[33] Solomon Feferman,et al. Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion , 2015 .
[34] J. Barwise,et al. Monadic Second-Order Theories , 2016 .
[35] S. Feferman. Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures , 1974 .