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

6283 found
Order:
1 — 50 / 6283
  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. 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  
  5. 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  
  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. Two-Variable Logic has Weak, but Not Strong, Beth Definability.H. Andréka & I. Németi - forthcoming - Journal of Symbolic Logic:1-23.
    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  
  8. Is a Spectrum of a Non-Disintegrated Flat Strongly Minimal Model Complete Theory in a Language with Finite Signature.Uri Andrews & Omer Mermelstein - forthcoming - Journal of Symbolic Logic:1-24.
    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  
  9. 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  
  10. 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  
  11. 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  
  12. Extension and Self-Connection.Ben Blumson & Manikaran Singh - forthcoming - Logic and Logical Philosophy.
    If two self-connected individuals are connected, it follows in classical extensional mereotopology that the sum of those individuals is self-connected too. Since mainland Europe and mainland Asia, for example, are both self-connected and connected to each other, mainland Eurasia is also self-connected. In contrast, in non-extensional mereotopologies, two individuals may have more than one sum, in which case it does not follow from their being self-connected and connected that the sum of those individuals is self-connected too. Nevertheless, one would still (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  13. 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  
  14. Genericity.and Fabio Del Prete C. Beyssade /Alda Mari (ed.) - forthcoming - Oxford University Press.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Model theory of monadic predicate logic with the infinity quantifier.Facundo Carreiro, Alessandro Facchini, Yde Venema & Fabio Zanasi - forthcoming - Archive for Mathematical Logic:1-38.
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  17. Model Theory and Combinatorics of Banned Sequences.Hunter Chase & James Freitag - forthcoming - Journal of Symbolic Logic:1-19.
    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  
  18. Priority Merge and Intersection Modalities.Zoé Christoff, Norbert Gratzl & Olivier Roy - forthcoming - Review of Symbolic Logic:1-32.
    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  
  19. 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  
  20. Domain Formula Circumscription.Tom Costello - forthcoming - Journal of Logic Language and Information.
  21. The Tree Property at the Two Immediate Successors of a Singular Cardinal.James Cummings, Yair Hayut, Menachem Magidor, Itay Neeman, Dima Sinapova & Spencer Unger - forthcoming - Journal of Symbolic Logic:1-9.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. A Class of Fields with a Restricted Model Completeness Property.Philip Dittmann & Dion Leijnse - forthcoming - Journal of Symbolic Logic:1-9.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. The Relativized Lascar Groups, Type-Amalgamations, and Algebraicity.Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov & Junguk Lee - forthcoming - Journal of Symbolic Logic:1-34.
    In this paper we study the relativized Lascar Galois group of a strong type. The group is a quasi-compact connected topological group, and if in addition the underlying theory T is G-compact, then the group is compact. We apply compact group theory to obtain model theoretic results in this note. -/- For example, we use the divisibility of the Lascar group of a strong type to show that, in a simple theory, such types have a certain model theoretic property that (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. 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  
  25. 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   2 citations  
  26. Bi-Interpretation in Weak Set Theories.Alfredo Roque Freire & Joel David Hamkins - forthcoming - Journal of Symbolic Logic:1-25.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27. Generic Coding with Help and Amalgamation Failure.Sy‐David Friedman & Dan Hathaway - forthcoming - Journal of Symbolic Logic:1-13.
  28. Poset Products as Relational Models.Wesley Fussner - forthcoming - Studia Logica:1-26.
    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 (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. Homotopy Model Theory.Brice Halimi - forthcoming - Journal of Symbolic Logic:1-21.
    Drawing on the analogy between any unary first-order quantifier and a "face operator," this paper establishes several connections between model theory and homotopy theory. The concept of simplicial set is brought into play to describe the formulae of any first-order language L, the definable subsets of any L-structure, as well as the type spaces of any theory expressed in L. An adjunction result is then proved between the category of o-minimal structures and a subcategory of the category of linearly ordered (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30. Absoluteness and the Skolem Paradox.Michael Hallett - forthcoming - Unpublished.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  31. The Σ1-Definable Universal Finite Sequence.Joel David Hamkins & Kameryn J. Williams - forthcoming - Journal of Symbolic Logic:1-19.
  32. 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  33. The Taming of Content: Some Thoughts About Domains and Modules.Keith J. Holyoak & Patricia W. Cheng - forthcoming - Thinking and Reasoning.
  34. A Bounded Arithmetictheory for LOGCFL.S. Kuroda - forthcoming - Archive for Mathematical Logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  35. Completely Separable Mad Families and the Modal Logic of Βω.Tomáš Lávička & Jonathan L. Verner - forthcoming - Journal of Symbolic Logic:1-10.
  36. Badiou, Mathematics, and Model Theory.Paul Livingston - forthcoming - MonoKL.
    Remove from this list   Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. One Dimensional Groups Definable in the P-Adic Numbers.Juan Pablo Acosta López - forthcoming - Journal of Symbolic Logic:1-16.
    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  
  38. 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  
  39. Closure Properties of Measurable Ultrapowers.Philipp Lücke & Sandra Müller - forthcoming - Journal of Symbolic Logic:1-22.
    We study closure properties of measurable ultrapowers with respect to Hamkin's notion of freshness and show that the extent of these properties highly depends on the combinatorial properties of the underlying model of set theory. In one direction, a result of Sakai shows that, by collapsing a strongly compact cardinal to become the double successor of a measurable cardinal, it is possible to obtain a model of set theory in which such ultrapowers possess the strongest possible closure properties. In the (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. 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  
  41. Pseudo-Finite Sets, Pseudo-o-Minimality.Nadav Meir - forthcoming - Journal of Symbolic Logic:1-23.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Mitchell-Inspired Forcing, with Small Working Parts and Collections of Models of Uniform Size as Side Conditions, and Gap-One Simplified Morasses.Charles Morgan - forthcoming - Journal of Symbolic Logic:1-35.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43. Definability in Valued Ore Modules.Françoise Point - forthcoming - Bulletin of Symbolic Logic.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  44. Quine’s Fluted Fragment Revisited.Ian Pratt-Hartmann, Wiesław Szwast & Lidia Tendera - forthcoming - Journal of Symbolic Logic:1-30.
  45. 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  
  46. Variations on Determinacy And.Ramez L. Sami - forthcoming - Journal of Symbolic Logic:1-10.
  47. 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  
  48. On Categoricity in Successive Cardinals.Sebastien Vasey - forthcoming - Journal of Symbolic Logic:1-19.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. On the Notion of Guessing Model.Matteo Viale - forthcoming - Annals of Pure and Applied Logic.
  50. Closed and Unbounded Classes and the Härtig Quantifier Model.P. D. Welch - forthcoming - Journal of Symbolic Logic:1-22.
1 — 50 / 6283