This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

6286 found
Order:
1 — 50 / 6286
  1. Conceptual Schemes and the Indefinability of Goodness.Stephen Gutwald - manuscript
    The indefinability of concepts is explored through the idea of a conceptual scheme. Using the Stone duality of Boolean algebras indefinable concepts are categorized as specific types of subspaces. Additionally, indefinability is formulated as a type of algebraic independence and conceptual atomism is investigated from a mathematical perspective.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. A Methodological Note on Proving Agreement Between the Elementary Process Theory and Modern Interaction Theories.Cabbolet Marcoen - manuscript
    The Elementary Process Theory (EPT) is a collection of seven elementary process-physical principles that describe the individual processes by which interactions have to take place for repulsive gravity to exist. One of the two main problems of the EPT is that there is no proof that the four fundamental interactions (gravitational, electromagnetic, strong, and weak) as we know them can take place in the elementary processes described by the EPT. This paper sets forth the method by which it can be (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. A Statistical Learning Approach to a Problem of Induction.Kino Zhao - manuscript
    At its strongest, Hume's problem of induction denies the existence of any well justified assumptionless inductive inference rule. At the weakest, it challenges our ability to articulate and apply good inductive inference rules. This paper examines an analysis that is closer to the latter camp. It reviews one answer to this problem drawn from the VC theorem in statistical learning theory and argues for its inadequacy. In particular, I show that it cannot be computed, in general, whether we are in (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  4. Two Notes on Abstract Model Theory. II. Languages for Which the Set of Valid Sentences is Semi-Invariantly Implicitly Definable.Solomon Feferman with with R. L. Vaught - manuscript
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  5. Two Notes on Abstract Model Theory. I. Properties Invariant on the Range of Definable Relations Between Structures.Solomon Feferman with with R. L. Vaught - manuscript
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  6. Rijke. PDL for Ordered Trees.Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Gaiffe Evan, Goris Maarten & Marx Maarten - forthcoming - Journal of Applied Non-Classical Logics.
  7. Dependent Choice, Properness, and Generic Absoluteness.David Asperó & Asaf Karagila - forthcoming - Review of Symbolic Logic:1-25.
    We show that Dependent Choice is a sufficient choice principle for developing the basic theory of proper forcing, and for deriving generic absoluteness for the Chang model in the presence of large cardinals, even with respect to $\mathsf {DC}$ -preserving symmetric submodels of forcing extensions. Hence, $\mathsf {ZF}+\mathsf {DC}$ not only provides the right framework for developing classical analysis, but is also the right base theory over which to safeguard truth in analysis from the independence phenomenon in the presence of (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  8. Syntactic Characterizations of First-Order Structures in Mathematical Fuzzy Logic.Guillermo Badia, Pilar Dellunde, Vicent Costa & Carles Noguera - forthcoming - Soft Computing.
    This paper is a contribution to graded model theory, in the context of mathematical fuzzy logic. We study characterizations of classes of graded structures in terms of the syntactic form of their first-order axiomatization. We focus on classes given by universal and universal-existential sentences. In particular, we prove two amalgamation results using the technique of diagrams in the setting of structures valued on a finite MTL-algebra, from which analogues of the Łoś–Tarski and the Chang–Łoś–Suszko preservation theorems follow.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. The Additive Groups of ℤ and ℚ with Predicates for Being Square‐Free.Neer Bhardwaj & Minh Chieu Tran - forthcoming - Journal of Symbolic Logic:1-26.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. Transmission of Verification.Ethan Brauer & Neil Tennant - forthcoming - Review of Symbolic Logic:1-16.
    This paper clarifies, revises, and extends the account of the transmission of truthmakers by core proofs that was set out in chap. 9 of Tennant. Brauer provided two kinds of example making clear the need for this. Unlike Brouwer’s counterexamples to excluded middle, the examples of Brauer that we are dealing with here establish the need for appeals to excluded middle when applying, to the problem of truthmaker-transmission, the already classical metalinguistic theory of model-relative evaluations.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Genericity.and Fabio Del Prete C. Beyssade /Alda Mari (ed.) - forthcoming - Oxford University Press.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  12. Twist-Valued Models for Three-Valued Paraconsistent Set Theory.Walter A. Carnielli & Marcelo E. Coniglio - forthcoming - Logic and Logical Philosophy:1.
    We propose in this paper a family of algebraic models of ZFC based on the three-valued paraconsistent logic LPT0, a linguistic variant of da Costa and D’Ottaviano’s logic J3. The semantics is given by twist structures defined over complete Boolean agebras. The Boolean-valued models of ZFC are adapted to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. This allows for inconsistent sets w satisfying ‘not (w = w)’, where ‘not’ stands for the paraconsistent negation. Finally, our (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13. Games and Cardinalities in Inquisitive First-Order Logic.Ivano Ciardelli & Gianluca Grilletti - forthcoming - Review of Symbolic Logic:1-28.
    Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. This paper makes two contributions to the study of this logic. First, we describe an Ehrenfeucht–Fraïssé game for InqBQ and show that it characterizes the distinguishing power of the logic. Second, we use the game to study cardinality quantifiers in the inquisitive setting. That is, we study what (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Domain Formula Circumscription.Tom Costello - forthcoming - Journal of Logic Language and Information.
  15. Sur Quelques Relations Entre Les Zéros Et Les poLes Des Fonctions Méromorphes. Applications au Developpement de Mittag-Leffler.Jeanne Férentinou-Nicolacopoulou - forthcoming - Eleutheria.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  16. Bisimulations for Knowing How Logics.Raul Fervari, Fernando R. Velázquez-Quesada & Yanjing Wang - forthcoming - Review of Symbolic Logic:1-37.
    As a new type of epistemic logics, the logics of knowing how capture the high-level epistemic reasoning about the knowledge of various plans to achieve certain goals. Existing work on these logics focuses on axiomatizations; this paper makes the first study of their model theoretical properties. It does so by introducing suitable notions of bisimulation for a family of five knowing how logics based on different notions of plans. As an application, we study and compare the expressive power of these (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  17. Absoluteness and the Skolem Paradox.Michael Hallett - forthcoming - Unpublished.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18. The Σ1-Definable Universal Finite Sequence.Joel David Hamkins & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-19.
    We introduce the $\Sigma _1$ -definable universal finite sequence and prove that it exhibits the universal extension property amongst the countable models of set theory under end-extension. That is, the sequence is $\Sigma _1$ -definable and provably finite; the sequence is empty in transitive models; and if M is a countable model of set theory in which the sequence is s and t is any finite extension of s in this model, then there is an end-extension of M to a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Model Theory of Fields with Finite Group Scheme Actions.Daniel Max Hoffmann & Piotr Kowalski - forthcoming - Journal of Symbolic Logic:1-25.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Model Theory of Differential Fields with Finite Group Actions.Daniel Max Hoffmann & Omar León Sánchez - forthcoming - Journal of Mathematical Logic.
    Let G be a finite group. We explore the model-theoretic properties of the class of differential fields of characteristic zero in m commuting derivations equipped with a G-action by differential fie...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. The Taming of Content: Some Thoughts About Domains and Modules.Keith J. Holyoak & Patricia W. Cheng - forthcoming - Thinking and Reasoning.
  22. A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  23. Badiou, Mathematics, and Model Theory.Paul Livingston - forthcoming - MonoKL.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  24. Hyperbolic Towers and Independent Generic Sets in the Theory of Free Groups, to Appear in the Proceedings of the Conference" Recent Developments in Model Theory.Lars Louder, Chloé Perin & Rizos Sklinos - forthcoming - Notre Dame Journal of Formal Logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  25. Groups of Worldview Transformations Implied by Einstein’s Special Principle of Relativity Over Arbitrary Ordered Fields.Judit X. Madarász, Mike Stannett & Gergely Székely - forthcoming - Review of Symbolic Logic:1-28.
    In 1978, Yu. F. Borisov presented an axiom system using a few basic assumptions and four explicit axioms, the fourth being a formulation of the relativity principle; and he demonstrated that this axiom system had (up to choice of units) only two models: a relativistic one in which worldview transformations are Poincaré transformations and a classical one in which they are Galilean. In this paper, we reformulate Borisov’s original four axioms within an intuitively simple, but strictly formal, first-order logic framework, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Definability in Valued Ore Modules.Françoise Point - forthcoming - Bulletin of Symbolic Logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  27. Quine’s Fluted Fragment Revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - forthcoming - Journal of Symbolic Logic:1-30.
  28. Special Issue on Recent Advances in Logical and Algebraic Approaches to Grammar, Volume 7 (4) Of.C. Retoré - forthcoming - Journal of Logic Language and Information.
    This a special issue of the Journal of Logic Language and Information that I edited.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  29. Variations on Determinacy And.Ramez L. Sami - forthcoming - Journal of Symbolic Logic:1-10.
  30. A Fully Model-Theoretic Semantics for Model-Preference Default Systems', Istituto di Elaborazione dell'Informazione, Pisa.F. Sebastiani - forthcoming - Studia Logica.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. Some Model Theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$.Atticus Stonestrom - forthcoming - Mathematical Logic Quarterly.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  32. On the Notion of Guessing Model.Matteo Viale - forthcoming - Annals of Pure and Applied Logic.
  33. Closed and Unbounded Classes and the Härtig Quantifier Model.Philip D. Welch - forthcoming - Journal of Symbolic Logic:1-21.
    We show that assuming modest large cardinals, there is a definable class of ordinals, closed and unbounded beneath every uncountable cardinal, so that for any closed and unbounded subclasses $P, Q, {\langle L[P],\in,P \rangle }$ and ${\langle L[Q],\in,Q \rangle }$ possess the same reals, satisfy the Generalised Continuum Hypothesis, and moreover are elementarily equivalent. Examples of such P are Card, the class of uncountable cardinals, I the uniform indiscernibles, or for any n the class $C^{n}{=_{{\operatorname {df}}}}\{ \lambda \, | \, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. Model Theory and Proof Theory of the Global Reflection Principle.Mateusz Zbigniew Łełyk - forthcoming - Journal of Symbolic Logic:1-42.
  35. Model theory of monadic predicate logic with the infinity quantifier.Facundo Carreiro, Alessandro Facchini, Yde Venema & Fabio Zanasi - 2022 - Archive for Mathematical Logic 61 (3):465-502.
    This paper establishes model-theoretic properties of \, a variation of monadic first-order logic that features the generalised quantifier \. We will also prove analogous versions of these results in the simpler setting of monadic first-order logic with and without equality and \, respectively). For each logic \ we will show the following. We provide syntactically defined fragments of \ characterising four different semantic properties of \-sentences: being monotone and continuous in a given set of monadic predicates; having truth preserved under (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  36. Model Theory and Combinatorics of Banned Sequences.Hunter Chase & James Freitag - 2022 - Journal of Symbolic Logic 87 (1):1-20.
    We set up a general context in which one can prove Sauer-Shelah type lemmas. We apply our general results to answer a question of Bhaskar [1] and give a slight improvement to a result of Malliaris and Terry [7]. We also prove a new Sauer-Shelah type lemma in the context of op-rank, a notion of Guingona and Hill [4].
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Priority Merge and Intersection Modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - 2022 - Review of Symbolic Logic 15 (1):165-196.
    We study the logic of so-called lexicographic or priority merge for multi-agent plausibility models. We start with a systematic comparison between the logical behavior of priority merge and the more standard notion of pooling through intersection, used to define, for instance, distributed knowledge. We then provide a sound and complete axiomatization of the logic of priority merge, as well as a proof theory in labeled sequents that admits cut. We finally study Moorean phenomena and define a dynamic resolution operator for (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. Model Theory of Adeles I.Jamshid Derakhshan & Angus Macintyre - 2022 - Annals of Pure and Applied Logic 173 (3):103074.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Poset Products as Relational Models.Wesley Fussner - 2022 - Studia Logica 110 (1):95-120.
    We introduce a relational semantics based on poset products, and provide sufficient conditions guaranteeing its soundness and completeness for various substructural logics. We also demonstrate that our relational semantics unifies and generalizes two semantics already appearing in the literature: Aguzzoli, Bianchi, and Marra’s temporal flow semantics for Hájek’s basic logic, and Lewis-Smith, Oliva, and Robinson’s semantics for intuitionistic Łukasiewicz logic. As a consequence of our general theory, we recover the soundness and completeness results of these prior studies in a uniform (...)
    Remove from this list   Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  40. The Isomorphism Relation of Theories with S-DOP in the Generalised Baire Spaces.Miguel Moreno - 2022 - Annals of Pure and Applied Logic 173 (2):103044.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Mitchell-Inspired Forcing, with Small Working Parts and Collections of Models of Uniform Size as Side Conditions, and Gap-One Simplified Morasses.Charles Morgan - 2022 - Journal of Symbolic Logic 87 (1):392-415.
    We show that a $$ -simplified morass can be added by a forcing with working parts of size smaller than $\kappa $. This answers affirmatively the question, asked independently by Shelah and Velleman in the early 1990s, of whether it is possible to do so.Our argument use a modification of a technique of Mitchell’s for adding objects of size $\omega _2$ in which collections of models – all of equal, countable size – are used as side conditions. In our modification, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. On the Ideal J[Κ].Assaf Rinot - 2022 - Annals of Pure and Applied Logic 173 (2):103055.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Théorie des modèles, de la simulation et représentation scientifique chez Mario Bunge.Jean Robillard - 2022 - Mεtascience 2:à par. aux Éd. Matériologiques.
    On entend généralement par « théorie des modèles » autant la métamathématique (ou sémantique formelle) que la sémantique des modèles des sciences non formelles. Cet article a pour objet la théorie des modèles scientifiques que Mario Bunge a développée dans Method, Models and Matter (1973). J’y analyse l’intégration théorique qu’opère Bunge des sciences formelles et des sciences expérimentales ou observationnelles, laquelle prend appui sur sa philosophie des sciences. Je la compare sommairement à la théorie des modèles de Gilles-Gaston Granger dans (...)
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  44. One Dimensional Groups Definable in the P-Adic Numbers.Juan Pablo Acosta López - 2021 - Journal of Symbolic Logic 86 (2):801-816.
    A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subgroup and a quotient by a finite subgroup.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Long Games and Σ-Projective Sets.Juan P. Aguilera, Sandra Müller & Philipp Schlicht - 2021 - Annals of Pure and Applied Logic 172 (4):102939.
    We prove a number of results on the determinacy of σ-projective sets of reals, i.e., those belonging to the smallest pointclass containing the open sets and closed under complements, countable unions, and projections. We first prove the equivalence between σ-projective determinacy and the determinacy of certain classes of games of variable length <ω^2 (Theorem 2.4). We then give an elementary proof of the determinacy of σ-projective sets from optimal large-cardinal hypotheses (Theorem 4.4). Finally, we show how to generalize the proof (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Two-Variable Logic has Weak, but Not Strong, Beth Definability.Hajnal Andréka & István Németi - 2021 - Journal of Symbolic Logic 86 (2):785-800.
    We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong Beth definability property.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. The Property “Arithmetic-is-Recursive” on a Cone.Uri Andrews, Matthew Harrison-Trainor & Noah Schweber - 2021 - Journal of Mathematical Logic 21 (3):2150021.
    We say that a theory T satisfies arithmetic-is-recursive if any X′-computable model of T has an X-computable copy; that is, the models of T satisfy a sort of jump inversion. We give an example of a...
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Is a Spectrum of a Non-Disintegrated Flat Strongly Minimal Model Complete Theory in a Language with Finite Signature.Uri Andrews & Omer Mermelstein - 2021 - Journal of Symbolic Logic 86 (4):1632-1656.
    We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite structure.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Denseness Results in the Theory of Algebraic Fields.Sylvy Anscombe, Philip Dittmann & Arno Fehm - 2021 - Annals of Pure and Applied Logic 172 (8):102973.
    We study when the property that a field is dense in its real and p-adic closures is elementary in the language of rings and deduce that all models of the theory of algebraic fields have this property.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. More on HOD-Supercompactness.Arthur W. Apter, Shoshana Friedman & Gunter Fuchs - 2021 - Annals of Pure and Applied Logic 172 (3):102901.
    We explore Woodin's Universality Theorem and consider to what extent large cardinal properties are transferred into HOD (and other inner models). We also separate the concepts of supercompactness, supercompactness in HOD and being HOD-supercompact. For example, we produce a model where a proper class of supercompact cardinals are not HOD-supercompact but are supercompact in HOD. Additionally we introduce a way to measure the degree of HOD-supercompactness of a supercompact cardinal, and we develop methods to control these degrees simultaneously for a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 6286