Lars Svenonius (svenonius-l)

Cited in the following articles

Contributions to Philosophie.ch

Bibliography

Svenonius, Lars. 1955. “Definability and Simplicity.” The Journal of Symbolic Logic 20(3): 235–250.
Svenonius, Lars. 1959. “A Theorem on Permutations in Models.” Theoria 25: 173–178.
Svenonius, Lars. 1960. “Some problems in logical model-theory.” PhD dissertation, Uppsala: Filosofiska Institutionen, Uppsala Universitet.
Svenonius, Lars. 1965. “On the denumerable models of theories with Extra Predicates.” in The Theory of Models, edited by John West Addison, Leon Henkin, and Alfred Tarski, pp. 376–389. Amsterdam: North-Holland Publishing Co. Proceedings of the 1963 International Symposium at Berkeley.
Svenonius, Lars. 1972. “Translation and Reduction.” The Journal of Philosophical Logic 1(3–4): 297–316.
Svenonius, Lars. 1973a. “On the First Order Logic of Terms.” The Journal of Symbolic Logic 38(2): 177–188.
Svenonius, Lars. 1973b. “Translation and Reduction.” in Exact Philosophy. Problems, Tools and Goals, edited by Mario Bunge, pp. 31–50. Synthese Library n. 50. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-2516-4.
Svenonius, Lars. 1979. “Two Kinds of Extensions of Primitive Recursive Arithmetic.” in, pp. 49–94.
Svenonius, Lars. 1987. “Three Ways to Conceive of Functions and Relations.” Theoria 53(1): 31–58, doi:10.1111/j.1755-2567.1987.tb00700.x.