A Completenes Theorem for an Infinitary Intutionistic Logic With Both Ordinary and Probability Quantifiers
Page 1 Next
Displaying 1 – 20 of 28
A dichotomy theorem for mono-unary algebras
Su Gao (2000)
Fundamenta Mathematicae
We study the isomorphism relation of invariant Borel classes of countable mono-unary algebras and prove a strong dichotomy theorem.
A Logic of Approximate Reasoning
Miodrag Rašković, Radosav Đorđević, Zoran Marković (2001)
Publications de l'Institut Mathématique
About the admissible predicates on admissible sets.
Morozov, A.S. (2005)
Sibirskij Matematicheskij Zhurnal
Barwise Completeness Theorems For Logics With Integrals
Radosav S. Đorđević (1991)
Publications de l'Institut Mathématique
Completeness theorem for probability models with finitely many valued measure in logic with integrals
Vladimir Ristić (2010)
Kragujevac Journal of Mathematics
Computability in special models.
Puzarenko, V.G. (2005)
Sibirskij Matematicheskij Zhurnal
Continuous Time Probability Logic
Miodrag Rašković, Radosav Đorđević (1995)
Publications de l'Institut Mathématique
Extensions of countable infinitary logic which preserve most of its nice properties.
Leo Harrington (1980)
Archiv für mathematische Logik und Grundlagenforschung
Model theory for logic.
Rašković, Miodrag (1985)
Publications de l'Institut Mathématique. Nouvelle Série
Model Theory for Lam Logic
Miodrag Rašković (1985)
Publications de l'Institut Mathématique
On expandability of models of arithmetic and set theory to models of weak second-order theories
Matt Kaufmann (1984)
Fundamenta Mathematicae
On the form of countable admissible ordinals
Nigel J. Cutland (1978)
Colloquium Mathematicae
On the relation of -reducibility between admissible sets.
Morozov, A.S. (2004)
Sibirskij Matematicheskij Zhurnal
On -subsets of naturals over abelian groups.
Khisamiev, A.N. (2006)
Sibirskij Matematicheskij Zhurnal
Remarks on generic models
Vincent Lee, Mark Nadel (1977)
Fundamenta Mathematicae
Type d'ordre des ordinaux de modèles non dénombrables de la théorie des ensembles
Christine Charretton (1978)
Publications du Département de mathématiques (Lyon)
Weak cylindric probability algebras.
Rašković, M., Djordjević, R.S., Bradić, M. (1997)
Publications de l'Institut Mathématique. Nouvelle Série
Weak Probability Logic With Infinitary Predicates
Silvana Marinković, Miodrag Rašković, Radosav Đorđević (1999)
Publications de l'Institut Mathématique
ω-models of second order arithmetic and admissible sets
W. Marek (1978)
Fundamenta Mathematicae
Currently displaying 1 – 20 of 28
Page 1 Next