-
6Undecidability of the Real‐Algebraic Structure of Scott's ModelMathematical Logic Quarterly 44 (3): 344-348. 2006.We show that true first‐order arithmetic of the positive integers is interpretable over the real‐algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows.
-
89Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysisMathematical Logic Quarterly 67 (3): 329-341. 2021.Based on the paper [4] we show that true second‐order arithmetic is interpretable over the real‐algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras.
-
147Decidability of Scott's Model as an Ordered $\mathbb{Q}$-VectorspaceJournal of Symbolic Logic 62 (3): 917-924. 1997.Let $L = \langle, +, h_q, 1\rangle_{q \in \mathbb{Q}}$ where $\mathbb{Q}$ is the set of rational numbers and $h_q$ is a one-place function symbol corresponding to multiplication by $q$. Then the $L$-theory of Scott's model for intuitionistic analysis is decidable.
-
152Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary AnalysisJournal of Symbolic Logic 65 (3): 1014-1030. 2000.We show that true first-order arithmetic is interpretable over the real-algebraic structure of models of intuitionistic analysis built upon a certain class of complete Heyting algebras. From this the undecidability of the structures follows. We also show that Scott's model is equivalent to true second-order arithmetic. In the appendix we argue that undecidability on the language of ordered rings follows from intuitionistically plausible properties of the real numbers.
-
14The Liberalism of the Hungarian NobilityIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 197-238. 2006.
-
17Index of NamesIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 503-510. 2006.
-
18List of ContributorsIn Ivan Zoltan Denes (ed.), Liberty and the Search for Identity, Central European University Press. pp. 501-502. 2006.
-
30Hungarian Language and Law: Developing a Grammar for Social Inclusion, a Vocabulary for Political Emancipation. Special Issue (IJSL)—Editorial PrefaceInternational Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 33 (3): 707-727. 2020.Having been invited by editor-in-chief, Professor Anne Wagner, to edit the present special issue, we decided to fulfil a longstanding wish to provide a panorama about the Hungarian Language and Law. Along with other ‘law and …’ movements, Law and Language has attracted a great deal of attention from subsequent generations of Hungarian academic lawyers, because the political transition served as a wonderful subject and context for scholarly papers and text books, for examining the putative or rea…Read more
-
Transition into the rule of law: Deconstruction, reconstruction, constructionRechtstheorie 33 (2-4): 283-295. 2002.
-
32Problems of Hungarian National Consciousness in the Second Half of the 20th CenturySocial Research: An International Quarterly 55. 1988.
-
74Undecidability of the Real-Algebraic Structure of Scott's ModelMathematical Logic Quarterly 44 (3): 344-348. 1998.We show that true first-order arithmetic of the positive integers is interpretable over the real-algebraic structure of Scott's topological model for intuitionistic analysis. From this the undecidability of the structure follows
Miskolc, Hungary
Areas of Specialization
| Philosophy, Misc |
| Philosophy of Law, Miscellaneous |
| Philosophy of Law, General Works |
Areas of Interest
| Philosophy, Misc |
| Philosophy of Law, Miscellaneous |
| Philosophy of Law, General Works |