Observation Space And Observables In Classical Mechanics
Observation space and observables in classical mechanics.
On -categoricity and the theory of trees
On a synonymy relation for extensional 1st order theories. Part II. A sufficient criterion for non synonymy. Applications
On a synonymy relation for extensional 1st order theories. Part 1. A notion of synonymy
On a synonymy relation for extensional 1st order theories. Part III. A necessary and sufficient condition for synonymy
On hidden variables
On interpolation when function symbols are present.
On interpretability in set theories. II.
On interpretability in theories containing arithmetic
On local proof restrictions for strong theories [Book]
On Markov Properties Of Finitely Presented Groups
On Markov properties of finitely presented groups.
On modelling of large variable systems of higher degree by means of language systems
On necessary but not-sufficient conditions.
On permutographs
On regular congruences
On some conjectures connected with complete sentences
On some properties of transformations of a logic
One of the Possible Formal Desribtions of Deducubility