Results for 'Sadoc Szabó'

498 found
Order:
  1.  39
    The Loss of Uniqueness.Z. Gendler Szabo - 2005 - Mind 114 (456):1185-1222.
    Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  2.  43
    Sensitivity Training.Zoltán Gendler Szabó - 2006 - Mind and Language 21 (1):31-38.
  3.  90
    On Qualification.Zoltán Gendler Szabó - 2003 - Philosophical Perspectives 17 (1):385-414.
  4.  25
    Zr and Hf microalloying in an Al–Y–Fe amorphous alloy. Relation between local structure and glass-forming ability.A. Sadoc, M. Sabra, O. Proux, J. -L. Hazemann, K. S. Bondi & K. F. Kelton - 2008 - Philosophical Magazine 88 (17):2569-2582.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. Kritika sovremennoĭ burzhuaznoĭ teorii prava: sbornik stateĭ.Imre Szabó - 1969 - Moskva: "Progress,". Edited by Kálmán Kulcsár.
     
    Export citation  
     
    Bookmark  
  6.  14
    Berkeley's Triangle.SzabÓ ZoltÁn - 1995 - History of Philosophy Quarterly 12:41.
  7.  68
    The Compositionality Papers.Zoltán Gendler Szabó - 2004 - Mind 113 (450):340-344.
  8. Epistemic comparativism: a contextualist semantics for knowledge ascriptions.Jonathan Schaffer & Zoltán Gendler Szabó - 2014 - Philosophical Studies 168 (2):491-543.
    Knowledge ascriptions seem context sensitive. Yet it is widely thought that epistemic contextualism does not have a plausible semantic implementation. We aim to overcome this concern by articulating and defending an explicit contextualist semantics for ‘know,’ which integrates a fairly orthodox contextualist conception of knowledge as the elimination of the relevant alternatives, with a fairly orthodox “Amherst” semantics for A-quantification over a contextually variable domain of situations. Whatever problems epistemic contextualism might face, lack of an orthodox semantic implementation is not (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  9.  32
    Art, Politics, and Taking Sides : An Interview with Istvan Szabo.Marty Fairbairn & Istvan Szabo - 2002 - Film-Philosophy 6 (1).
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  10.  2
    Felelet a Mondolatra: tanulmányok a 60 éves Bogárd Szabó István tiszteletére.István Bogárdi Szabó, József Zsengellér, Tamás Kodácsy & Tamás Ablonczy (eds.) - 2016 - Budapest: L'Harmattan Kiadó.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  23
    A categorical equivalence of proofs.Manfred E. Szabo - 1974 - Notre Dame Journal of Formal Logic 15 (2):177-191.
  12. Lukács Buharin-kritikája.Szabó Tibor - 1983 - In László Hársing (ed.), Tanulmányok a fiatal Lukácsról. [Budapest]: Művelődési Minisztérium Marxizmus-Leninizmus Oktatási Főosztálya.
     
    Export citation  
     
    Bookmark  
  13.  25
    An addendum to my paper: "A categorical equivalence of proofs".Manfred E. Szabo - 1976 - Notre Dame Journal of Formal Logic 17 (1):78-78.
  14.  21
    The logic of closed categories.Manfred E. Szabo - 1977 - Notre Dame Journal of Formal Logic 18 (3):441-457.
  15. Separate- versus common -common-cause-type derivations of the bell inequalities.Gábor Hofer-Szabó - 2008 - Synthese 163 (2):199 - 215.
    Standard derivations of the Bell inequalities assume a common common cause system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper (Grasshoff et al., 2005) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect correlations can be reduced to the assumptions (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  16.  84
    A local hidden variable theory for the GHZ experiment.Laszlo E. Szabo & Arthur Fine - 2002 - Physics Letters A 295:229–240.
    A recent analysis by de Barros and Suppes of experimentally realizable GHZ correlations supports the conclusion that these correlations cannot be explained by introducing local hidden variables. We show, nevertheless, that their analysis does not exclude local hidden variable models in which the inefficiency in the experiment is an effect not only of random errors in the detector equipment, but is also the manifestation of a pre-set, hidden property of the particles ("prism models"). Indeed, we present an explicit prism model (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  17. Domain of Quantification.Zoltan Szabo & Jason Stanley - manuscript
    When we utter sentences containing quantifiers, typically we are not to be taken to speak about absolutely everything there is. Suppose Mary has invited her friend John to a party to which she is going. If, upon entering the party, Mary turns to Jack and utters (1), it would be rather odd of Jack to object by pointing out that John in fact knows several people who are not present.
     
    Export citation  
     
    Bookmark  
  18.  36
    Separate- versus common-common-cause-type derivations of the Bell inequalities.Gábor Hofer-Szabó - 2008 - Synthese 163 (2):199-215.
    Standard derivations of the Bell inequalities assume a common-commoncause-system that is a common screener-off for all correlations and some additional assumptions concerning locality and no-conspiracy. In a recent paper Graßhoff et al., "The British Journal for the Philosophy of Science", 56, 663–680 ) Bell inequalities have been derived via separate common causes assuming perfect correlations between the events. In the paper it will be shown that the assumptions of this separate-common-cause-type derivation of the Bell inequalities in the case of perfect (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  19.  44
    I—Tamar Szabó Gendler: The Third Horse: On Unendorsed Association and Human Behaviour.Tamar Szabó Gendler - 2014 - Aristotelian Society Supplementary Volume 88 (1):185-218.
    On one standard reading, Plato's works contain at least two distinct views about the structure of the human soul. According to the first, there is a crucial unity to human psychology: there is a dominant faculty that is capable of controlling attention and behaviour in a way that not only produces right action, but also ‘silences’ inclinations to the contrary—at least in idealized circumstances. According to the second, the human soul contains multiple autonomous parts, and although one of them, reason, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  20. The Analytic-Continental Debate.Istvan Farago-Szabo - 2009 - Filozofia 64 (2):107-113.
    In 2007, a debate took place between Hungarian representatives of the analytic and continental schools of philosophy. Boldizsár Eszes and János T?zsér concluded their article about the history of analytic philosophy by the claim that the only possible method of philosophising is analytic. Answering on behalf of continental philosophers, Tibor Schwendtner approached the topic from the points of view of the sociology of knowledge and academic politics. Tamás Ullmann also defended continental philosophy, emphasizing that it is not vague or unscientific. (...)
     
    Export citation  
     
    Bookmark  
  21.  16
    Tibor Szabó and Gábor Szécsi, eds., A filozófia keresztútjain. Tanulmányok Lukács Györgyröl (At the Crossroads of Philosophy. Papers on Georg Lukács). [REVIEW]Georg Lukács, Tibor Szabó & Gábor Szécsi - 1999 - Studies in East European Thought 51 (4):341-345.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  93
    On Reichenbach's common cause principle and Reichenbach's notion of common cause.G. Hofer-Szabo - 1999 - British Journal for the Philosophy of Science 50 (3):377-399.
    It is shown that, given any finite set of pairs of random events in a Boolean algebra which are correlated with respect to a fixed probability measure on the algebra, the algebra can be extended in such a way that the extension contains events that can be regarded as common causes of the correlations in the sense of Reichenbach's definition of common cause. It is shown, further, that, given any quantum probability space and any set of commuting events in it (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   42 citations  
  23.  17
    Two concepts of noncontextuality in quantum mechanics.Gábor Hofer-Szabó - 2022 - Studies in History and Philosophy of Science Part A 93 (C):21-29.
  24.  83
    Formal systems as physical objects: A physicalist account of mathematical truth.la´Szlo´ E. Szabo´ - 2003 - International Studies in the Philosophy of Science 17 (2):117-125.
    This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  31
    Intrinsic, Extrinsic, and the Constitutive A Priori.László E. Szabó - 2020 - Foundations of Physics 50 (6):555-567.
    On the basis of what I call physico-formalist philosophy of mathematics, I will develop an amended account of the Kantian–Reichenbachian conception of constitutive a priori. It will be shown that the features attributed to a real object are not possessed by the object as a “thing-in-itself”; they require a physical theory by means of which these features are constituted. It will be seen that the existence of such a physical theory implies that a physical object can possess a property only (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  69
    Reichenbachian common cause systems.Gábor Hofer-Szabó & Miklos Redei - 2004 - International Journal of Theoretical Physics 43:1819-1826.
    A partition $\{C_i\}_{i\in I}$ of a Boolean algebra $\cS$ in a probability measure space $(\cS,p)$ is called a Reichenbachian common cause system for the correlated pair $A,B$ of events in $\cS$ if any two elements in the partition behave like a Reichenbachian common cause and its complement, the cardinality of the index set $I$ is called the size of the common cause system. It is shown that given any correlation in $(\cS,p)$, and given any finite size $n>2$, the probability space (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  27.  40
    The principle of the common cause.Miklós Redei, Gabor Hofer-Szabo & Laszlo Szabo - 2013 - Cambridge, U.K: Cambridge University Press. Edited by Miklós Rédei & László E. Szabó.
    The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   32 citations  
  28. Adjectives in context.Zoltán Gendler Szabó - 2010 - In Darragh Byrne & Max Kölbel (eds.), Arguing about language. New York: Routledge.
    0. Abstract In this paper, I argue that although the behavior of adjectives in context poses a serious challenge to the principle of compositionality of content, in the end such considerations do not defeat the principle. The first two sections are devoted to the precise statement of the challenge; the rest of the paper presents a semantic analysis of a large class of adjectives that provides a satisfactory answer to it. In section 1, I formulate the context thesis, according to (...)
     
    Export citation  
     
    Bookmark   70 citations  
  29.  27
    On the meaning of EPR’s Reality Criterion.Gábor Hofer-Szabó & Márton Gömöri - 2021 - Synthese 199 (5-6):13441-13469.
    This essay has two main claims about EPR’s Reality Criterion. First, we claim that the application of the Reality Criterion makes an essential difference between the EPR argument and Einstein’s later arguments against quantum mechanics. We show that while the EPR argument, making use of the Reality Criterion, does derive that certain interpretations of quantum mechanics are incomplete, Einstein’s later arguments, making no use of the Reality Criterion, do not prove incompleteness, but rather point to the inadequacy of the Copenhagen (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Adjectives in Context.Zoltan Szabo - 2001 - In Robert M. Harrish & Istvan Kenesei (eds.), Perspectives on Semantics, Pragmatics, and Discourse. John Benjamins.
    0. Abstract In this paper, I argue that although the behavior of adjectives in context poses a serious challenge to the principle of compositionality of content, in the end such considerations do not defeat the principle. The first two sections are devoted to the precise statement of the challenge; the rest of the paper presents a semantic analysis of a large class of adjectives that provides a satisfactory answer to it. In section 1, I formulate the context thesis, according to (...)
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  31. Common‐Causes are Not Common Common‐Causes.Gábor Hofer-Szabó, Miklós Rédei & László E. Szabó - 2002 - Philosophy of Science 69 (4):623-636.
    A condition is formulated in terms of the probabilities of two pairs of correlated events in a classical probability space which is necessary for the two correlations to have a single (Reichenbachian) common-cause and it is shown that there exists pairs of correlated events probabilities of which violate the necessary condition. It is concluded that different correlations do not in general have a common common-cause. It is also shown that this conclusion remains valid even if one weakens slightly Reichenbach's definition (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  32. Reichenbachian Common Cause Systems of Arbitrary Finite Size Exist.Gábor Hofer-Szabó & Miklós Rédei - 2006 - Foundations of Physics 36 (5):745-756.
    A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and given any finite (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  33.  25
    Commutativity, Comeasurability, and Contextuality in the Kochen-Specker Arguments.Gábor Hofer-Szabó - 2021 - Philosophy of Science 88 (3):483-510.
    I will argue that Kochen-Specker arguments do not provide an algebraic proof for quantum contextuality since, for the argument to be effective, operators must be uniquely associated with measur...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  29
    Three noncontextual hidden variable models for the Peres-Mermin square.Gábor Hofer-Szabó - 2021 - European Journal for Philosophy of Science 11 (1):1-12.
    I will argue that the Peres-Mermin square does not necessarily rule out a value-definite (deterministic) noncontextual hidden variable model if the operators are not given a physical interpretation satisfying the following two requirements: (i) each operator is uniquely realized by a single physical measurement; (ii) commuting operators are realized by simultaneous measurements. To underpin this claim, I will construct three hidden variable models for three different physical realizations of the Peres-Mermin square: one violating (i), another violating (ii), and a third (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  35.  31
    Bell inequality and common causal explanation in algebraic quantum field theory.Gábor Hofer-Szabó & Péter Vecsernyés - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (4):404-416.
    Bell inequalities, understood as constraints between classical conditional probabilities, can be derived from a set of assumptions representing a common causal explanation of classical correlations. A similar derivation, however, is not known for Bell inequalities in algebraic quantum field theories establishing constraints for the expectation of specific linear combinations of projections in a quantum state. In the paper we address the question as to whether a ‘common causal justification’ of these non-classical Bell inequalities is possible. We will show that although (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  36.  5
    Simulations of Higher-Order Protein Organizations Using a Fuzzy Framework.B. Tüű-Szabó, L. T. Kóczy & M. Fuxreiter - 2018 - Complexity 2018:1-10.
    Spatiotemporal regulation of the biochemical information is often linked to supramolecular organizations proteins and nucleic acids, the driving forces of which have yet to be elucidated. Although the critical role of multivalency in phase transition has been recognized, the organization principles of higher-order structures need to be understood. Here, we present a fuzzy mathematical framework to handle the heterogeneity of interactions patterns and the resultant multiplicity of conformational states in protein assemblies. In this model, redundant binding motifs can establish simultaneous (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  17
    Undecidability of the Real-Algebraic Structure of Scott's Model.Miklós Erdélyi-Szabó - 1998 - Mathematical Logic Quarterly 44 (3):344-348.
    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.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  38.  63
    Reichenbach’s Common Cause Principle in Algebraic Quantum Field Theory with Locally Finite Degrees of Freedom.Gábor Hofer-Szabó & Péter Vecsernyés - 2012 - Foundations of Physics 42 (2):241-255.
    In the paper it will be shown that Reichenbach’s Weak Common Cause Principle is not valid in algebraic quantum field theory with locally finite degrees of freedom in general. Namely, for any pair of projections A, B supported in spacelike separated double cones ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ , respectively, a correlating state can be given for which there is no nontrivial common cause (system) located in the union of the backward light cones of ${\mathcal{O}}_{a}$ and ${\mathcal{O}}_{b}$ and commuting with the both (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  39.  78
    A Subject with no Object.Zoltan Gendler Szabo, John P. Burgess & Gideon Rosen - 1999 - Philosophical Review 108 (1):106.
    This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   162 citations  
  40.  14
    Az újkori szkepticizmus története.István Faragó-Szabó - 2005 - Budapest: Áron.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  44
    The Work of the Imagination.Tamar Szabó Gendler - 2002 - Mind 111 (442):414-418.
  42.  22
    Reflexivity and the Whole Foods Market consumer: the lived experience of shopping for change.Josée Johnston & Michelle Szabo - 2011 - Agriculture and Human Values 28 (3):303-319.
    There has been widespread academic and popular debate about the transformative potential of consumption choices, particularly food shopping. While popular food media is optimistic about “shopping for change,” food scholars are more critical, drawing attention to fetishist approaches to “local” or “organic,” and suggesting the need for reflexive engagement with food politics. We argue that reflexivity is central to understanding the potential and limitations of consumer-focused food politics, but argue that this concept is often relatively unspecified. The first objective of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  43. The Problem of Imaginative Resistance.Tamar Szabó Gendler & Shen-yi Liao - 2015 - In Noël Carroll & John Gibson (eds.), The Routledge Companion to Philosophy of Literature. New York: Routledge. pp. 405-418.
    The problem of imaginative resistance holds interest for aestheticians, literary theorists, ethicists, philosophers of mind, and epistemologists. We present a somewhat opinionated overview of the philosophical discussion to date. We begin by introducing the phenomenon of imaginative resistance. We then review existing responses to the problem, giving special attention to recent research directions. Finally, we consider the philosophical significance that imaginative resistance has—or, at least, is alleged to have—for issues in moral psychology, theories of cognitive architecture, and modal epistemology.
    Direct download  
     
    Export citation  
     
    Bookmark   32 citations  
  44. Genuine Rational Fictional Emotions.Tamar Szabó Gendler & Karson Kovakovich - 2005 - In Matthew Kieran (ed.), Contemporary Debates in Aesthetics and the Philosophy of Art. Malden, MA: Wiley-Blackwell. pp. 241-253.
    The “paradox of fictional emotions” involves a trio of claims that are jointly inconsistent but individually plausible. Resolution of the paradox thus requires that we deny at least one of these plausible claims. The paradox has been formulated in various ways, but for the purposes of this chapter, we will focus on the following three claims, which we will refer to respectively as the Response Condition, the Belief Condition and the Coordination Condition.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  45. Conditioning using conditional expectations: the Borel–Kolmogorov Paradox.Zalán Gyenis, Gabor Hofer-Szabo & Miklós Rédei - 2017 - Synthese 194 (7):2595-2630.
    The Borel–Kolmogorov Paradox is typically taken to highlight a tension between our intuition that certain conditional probabilities with respect to probability zero conditioning events are well defined and the mathematical definition of conditional probability by Bayes’ formula, which loses its meaning when the conditioning event has probability zero. We argue in this paper that the theory of conditional expectations is the proper mathematical device to conditionalize and that this theory allows conditionalization with respect to probability zero events. The conditional probabilities (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  46.  15
    Decidability in the Constructive Theory of Reals as an Ordered ℚ‐vectorspace.Miklós Erdélyi-Szabó - 1997 - Mathematical Logic Quarterly 43 (3):343-354.
    We show that various fragments of the intuitionistic/constructive theory of the reals are decidable.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  13
    Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace.Miklós Erdélyi-Szabó - 1997 - Journal of Symbolic Logic 62 (3):917-924.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  4
    Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis.Miklós Erdélyi-Szabó - 2021 - Mathematical Logic Quarterly 67 (3):329-341.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  54
    Towards a natural language semantics without functors and operands.Miklós Erdélyi-Szabó, László Kálmán & Agi Kurucz - 2008 - Journal of Logic, Language and Information 17 (1):1-17.
    The paper sets out to offer an alternative to the function/argument approach to the most essential aspects of natural language meanings. That is, we question the assumption that semantic completeness (of, e.g., propositions) or incompleteness (of, e.g., predicates) exactly replicate the corresponding grammatical concepts (of, e.g., sentences and verbs, respectively). We argue that even if one gives up this assumption, it is still possible to keep the compositionality of the semantic interpretation of simple predicate/argument structures. In our opinion, compositionality presupposes (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  22
    Undecidability of the Real-Algebraic Structure of Models of Intuitionistic Elementary Analysis.Miklós Erdélyi-Szabó - 2000 - Journal of Symbolic Logic 65 (3):1014-1030.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 498