"Archive for Mathematical Logic" on 2010-05-18 11:26 AM

Diagonalization as computation: Gödel sentence construction and a type-disciplined blueprint.

Vestrucci, Andrea — Mon, 08 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/08/2026
(AN 194390786); ISSN: 09335846
Academic Search Premier

Relative model completeness of henselian valued fields with finite ramification and various value groups.

De Mase, Anna — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394650); ISSN: 09335846
Academic Search Premier

Correspondence of Contradictions in the Constructive Connexive Calculus C.

Niki, Satoru — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394651); ISSN: 09335846
Academic Search Premier

There may be exactly nQ-points.

Halbeisen, Lorenz; Horvath, Silvan; Özalp, Tan — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394652); ISSN: 09335846
Academic Search Premier

Game-theoretic variants of splitting number.

Cruz Chapital, Jorge Antonio; Goto, Tatsuya; Hayashi, Yusuke; Yamazoe, Takashi — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394653); ISSN: 09335846
Academic Search Premier

Binary choice games and arithmetical comprehension.

Aguilera, J. P.; Kouptchinsky, T. — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394654); ISSN: 09335846
Academic Search Premier

On the Σ10-fragments of the Kreisel-Putnam axiom and two variants of the linearity axiom in intuitionistic arithmetic and analysis.

Fujiwara, Makoto — Mon, 01 Jun 2026 00:00:00 -0400

Archive for Mathematical Logic; 06/01/2026
(AN 194394655); ISSN: 09335846
Academic Search Premier

Generalized Tukey reducibility between σ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\sigma $$\end{document}-directed sets.

Sakai, Hiroshi; Tanno, Toshimasa — Sat, 23 May 2026 00:00:00 -0400

Archive for Mathematical Logic; 05/23/2026
(AN 193922048); ISSN: 09335846
Academic Search Premier

Computability of a whitney extension.

Brun, Andrea; Gherardi, Guido; Marcone, Alberto — Sun, 17 May 2026 00:00:00 -0400

Archive for Mathematical Logic; 05/17/2026
(AN 193800136); ISSN: 09335846
Academic Search Premier

Reinhardt cardinals and eventually dominating functions.

Mohammd, Marwan Salam — Mon, 04 May 2026 00:00:00 -0400

Archive for Mathematical Logic; 05/04/2026
(AN 193452791); ISSN: 09335846
Academic Search Premier

The adjacent Hindman's Theorem and the Z-Ramsey's Theorem.

Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085865); ISSN: 09335846
Academic Search Premier

Small measurable cardinals.

Hayut, Yair; Karagila, Asaf — Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085866); ISSN: 09335846
Academic Search Premier

Borel complexity of families of finite equivalence relations via large cardinals.

Laskowski, Michael C.; Ulrich, Danielle S. — Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085867); ISSN: 09335846
Academic Search Premier

Another method to add a closed unbounded set of former regulars.

Gitik, Moti; Jirattikansakul, Sittinon — Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085868); ISSN: 09335846
Academic Search Premier

Dominating numbers at singular cardinals.

Hayashi, Yusuke — Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085869); ISSN: 09335846
Academic Search Premier

Monotonicity of the ultrafilter number function.

Usuba, Toshimichi — Wed, 01 Apr 2026 00:00:00 -0400

Archive for Mathematical Logic; 04/01/2026
(AN 193085870); ISSN: 09335846
Academic Search Premier

Apartness and the elimination of strong forms of extensionality.

van den Berg, Benno — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787451); ISSN: 09335846
Academic Search Premier

On the hierarchy of linearity axioms.

Fujiwara, Makoto — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787453); ISSN: 09335846
Academic Search Premier

Failure of cut-elimination in cyclic-proof systems of logic of bunched implications with inductive propositions.

Saotome, Kenji; Nakazawa, Koji; Kimura, Daisuke; Kawasaki, Ayumu — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787452); ISSN: 09335846
Academic Search Premier

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers.

Koponen, Vera; Weitkämper, Felix — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787447); ISSN: 09335846
Academic Search Premier

Logical complexity of reducts of elementary algebraic classes.

Cardó, Carles — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787449); ISSN: 09335846
Academic Search Premier

Limits on forcing axioms at ω2 compatible with the continuum hypothesis.

Todorcevic, Stevo; Xiong, Shihao — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787450); ISSN: 09335846
Academic Search Premier

Characterization of subdirectly irreducible heyting algebras with negative tense operators.

Almiñana, Federico; Pelaitay, Gustavo — Sun, 01 Mar 2026 00:00:00 -0500

Archive for Mathematical Logic; 03/01/2026
(AN 192787448); ISSN: 09335846
Academic Search Premier

Constructible structures and constructible open cores.

Fujita, Masato — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454104); ISSN: 09335846
Academic Search Premier

Homogeneity, P-like properties of ideals and orders between ideals.

Kowitz, Krzysztof; Tryba, Jacek — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454107); ISSN: 09335846
Academic Search Premier

Nonvanishing derived limits without scales.

Casarosa, Matteo — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454109); ISSN: 09335846
Academic Search Premier

Around the Eggleston Theorem.

Michalski, Marcin; Rałowski, Robert; Żeberski, Szymon — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454110); ISSN: 09335846
Academic Search Premier

On the hausdorff dimension of maximal chains and antichains of turing and hyperarithmetic degrees.

Song, Sirun; Yu, Liang — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454108); ISSN: 09335846
Academic Search Premier

Results in model theory for Riesz-valued structures.

Baratella, Stefano — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454105); ISSN: 09335846
Academic Search Premier

On sequential theorems in Reverse Mathematics.

Normann, Dag; Sanders, Sam — Sun, 01 Feb 2026 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2026
(AN 191454106); ISSN: 09335846
Academic Search Premier

Extending antichains in the poset ⟨[ω]<ω,⊆⟩.

Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073297); ISSN: 09335846
Academic Search Premier

Slender trees and the approximation property.

Jakob, Hannes — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073301); ISSN: 09335846
Academic Search Premier

Open filters and measurable cardinals.

Bardyla, Serhii; Šupina, Jaroslav; Zdomskyy, Lyubomyr — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073302); ISSN: 09335846
Academic Search Premier

On Hilbert's "geometric" tenth problem for odd characteristic function fields.

Tyrrell-Nic Dhonncha, Brian — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073298); ISSN: 09335846
Academic Search Premier

On ultrafilters in ZF models and indecomposable ultrafilters.

Bilinsky, Eilon; Gitik, Moti — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073300); ISSN: 09335846
Academic Search Premier

Bounded forcing axioms and weak genericity.

Fuchs, Gunter; Goodman, Benjamin — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073299); ISSN: 09335846
Academic Search Premier

Correction: Symétrons et K-boucles ω-stables.

Zamour, Samuel — Thu, 01 Jan 2026 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2026
(AN 191073303); ISSN: 09335846
Academic Search Premier

Reflection ranks via infinitary derivations.

Walsh, James — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649653); ISSN: 09335846
Academic Search Premier

Cardinal invariants associated with Hausdorff measures.

Goto, Tatsuya — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649654); ISSN: 09335846
Academic Search Premier

Siblings of direct sums of chains.

Abdi, Davoud — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649655); ISSN: 09335846
Academic Search Premier

Definability in affine logic.

Bagheri, Seyed-Mohammad — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649656); ISSN: 09335846
Academic Search Premier

A closed subset of Baire space not Medvedev equivalent to any closed set of Cantor space.

Cole, Joshua A. — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649657); ISSN: 09335846
Academic Search Premier

Herbrand schemes for first-order logic.

Afshari, Bahareh; Enqvist, Sebastian; Leigh, Graham E. — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649652); ISSN: 09335846
Academic Search Premier

Generalized cardinal invariants for an inaccessible κ with compactness at κ++.

Honzik, Radek; Stejskalová, Šárka — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649660); ISSN: 09335846
Academic Search Premier

On the theory of epistemic Łukasiewicz logic corresponding to the Chang algebra with application in Immune system.

Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649658); ISSN: 09335846
Academic Search Premier

On countably closed mutually embeddable models.

Gitik, Moti — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649659); ISSN: 09335846
Academic Search Premier

Algebraic semantics for weak subintuitionistic logic WF.

Maleki, Fatemeh Shirmohammadzadeh — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649661); ISSN: 09335846
Academic Search Premier

On two consequences of CH established by Sierpiński. II.

Pol, R.; Zakrzewski, P. — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649664); ISSN: 09335846
Academic Search Premier

Countable homogeneous ordered bipartite graphs.

Truss, J. K. — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649663); ISSN: 09335846
Academic Search Premier

The construction principle and non homogeneity of uncountable relatively free groups.

Carolillo, Davide; Paolini, Gianluca — Sat, 01 Nov 2025 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2025
(AN 188649662); ISSN: 09335846
Academic Search Premier

Categories and functors in reverse and computable mathematics.

Wu, Huishan — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468476); ISSN: 09335846
Academic Search Premier

The SB-property on metric structures.

Argoty, Camilo; Berenstein, Alexander; Cuervo Ovalle, Nicolás — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468471); ISSN: 09335846
Academic Search Premier

Conjunctions of exponential diophantine equations over Q.

Prunescu, Mihai — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468474); ISSN: 09335846
Academic Search Premier

The Nikodym property and filters on ω.

Żuchowski, Tomasz — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468478); ISSN: 09335846
Academic Search Premier

Ordered abelian groups that do not have elimination of imaginaries.

Liccardo, Martina — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468479); ISSN: 09335846
Academic Search Premier

Axiomatizing modal inclusion logic and its variants.

Anttila, Aleksi; Häggblom, Matilda; Yang, Fan — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468472); ISSN: 09335846
Academic Search Premier

The algebra of ordinary discourse. On the semantics of Cooper's logic.

Rivieccio, Umberto — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468475); ISSN: 09335846
Academic Search Premier

Constructivity conditions on immune sets.

Case, John — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468473); ISSN: 09335846
Academic Search Premier

On algebraic sums, trees and ideals in the Baire space.

Mazurkiewicz, Łukasz; Michalski, Marcin; Rałowski, Robert; Żeberski, Szymon — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468480); ISSN: 09335846
Academic Search Premier

Symétrons et K-boucles ω-stables ω-stable symmetric spaces and K-loops.

Zamour, Samuel — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468481); ISSN: 09335846
Academic Search Premier

Restricted analytic valued fields with partial exponentiation.

Ángel, Leonardo; Caicedo, Xavier — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468477); ISSN: 09335846
Academic Search Premier

An algebraic investigation of Linear Logic.

Aglianò, Paolo — Tue, 01 Jul 2025 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2025
(AN 186468482); ISSN: 09335846
Academic Search Premier

On the non-measurability of ω-categorical Hrushovski constructions.

Marimon, Paolo — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706336); ISSN: 09335846
Academic Search Premier

Bounded distributive lattices with strict implication and weak difference.

Celani, Sergio; Nagy, Agustín; Zuluaga, Botero William — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706338); ISSN: 09335846
Academic Search Premier

Random structures and automorphisms with a single orbit.

Kikyo, Hirotaka; Tsuboi, Akito — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706337); ISSN: 09335846
Academic Search Premier

Free subsets in internally approachable models.

Welch, P. D. — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706340); ISSN: 09335846
Academic Search Premier

What would the rational Urysohn space and the random graph look like if they were uncountable?

Kostana, Ziemowit — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706341); ISSN: 09335846
Academic Search Premier

Infinite combinatorics revisited in the absence of Axiom of choice.

Csernák, Tamás; Soukup, Lajos — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706339); ISSN: 09335846
Academic Search Premier

Relativized Galois groups of first order theories over a hyperimaginary.

Lee, Hyoyoon; Lee, Junguk — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706345); ISSN: 09335846
Academic Search Premier

On the consistency strength of critical leaps.

Fuchs, Gunter — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706343); ISSN: 09335846
Academic Search Premier

Variations on the Feferman-Vaught theorem, with applications to ∏pFp.

Medvedev, Alice; Van Abel, Alexander — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706346); ISSN: 09335846
Academic Search Premier

Approximate categoricity in continuous logic.

Hanson, James E. — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706344); ISSN: 09335846
Academic Search Premier

Bounded symbiosis and upwards reflection.

Galeotti, Lorenzo; Khomskii, Yurii; Väänänen, Jouko — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706347); ISSN: 09335846
Academic Search Premier

The externally definable Ramsey property and fixed points on type spaces.

Meir, Nadav; Sullivan, Rob — Thu, 01 May 2025 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2025
(AN 184706342); ISSN: 09335846
Academic Search Premier

The Fan Theorem, its strong negation, and the determinacy of games: The Fan Theorem, its strong negation...: W. Veldman.

Veldman, Wim — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974007); ISSN: 09335846
Academic Search Premier

The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with ω-stable theories.

Peretyat'kin, Mikhail — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974006); ISSN: 09335846
Academic Search Premier

Intuitionistic sets and numbers: small set theory and Heyting arithmetic.

Shapiro, Stewart; McCarty, Charles; Rathjen, Michael — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974010); ISSN: 09335846
Academic Search Premier

On absorption's formula definable semigroups of complete theories: On absorption's formula definable semigroups...: M. Bekenov et al.

Bekenov, Mahsut; Kassatova, Aida; Nurakunov, Anvar — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974012); ISSN: 09335846
Academic Search Premier

On some Σ0B-formulae generalizing counting principles over V0: On some Σ0B-formulae: E. Ken et al.

Ken, Eitetsu — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974013); ISSN: 09335846
Academic Search Premier

Punctually presented structures II: comparing presentations: Punctually presented structures II: comparing presentations: M. Dorzhieva et al.

Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974015); ISSN: 09335846
Academic Search Premier

Undecidability of indecomposable polynomial rings: Undecidability of indecomposable polynomial rings: M. Barone et al.

Barone, Marco; Caro-Montoya, Nicolás; Naziazeno, Eudes — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974011); ISSN: 09335846
Academic Search Premier

The provably total functions of basic arithmetic and its extensions: The provably total functions of basic arithmetic...: M. Ardeshir et al.

Ardeshir, Mohammad; Khaniki, Erfan; Shahriari, Mohsen — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974014); ISSN: 09335846
Academic Search Premier

Different covering numbers of compact tree ideals.

Kuiper, Jelle Mathis; Spinas, Otmar — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974008); ISSN: 09335846
Academic Search Premier

On categoricity of scattered linear orders of constructive ranks.

Frolov, Andrey; Zubkov, Maxim — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974009); ISSN: 09335846
Academic Search Premier

Degrees of relations on canonically ordered natural numbers and integers: Degrees of relations on canonically ordered natural...: N. Bazhenov et al.

Bazhenov, Nikolay; Kalociński, Dariusz; Wrocławski, Michał — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974017); ISSN: 09335846
Academic Search Premier

A characterization of strongly computable finite factorization domains: A Characterization of Strongly...: G. Soto-Rosa and V. Ocasio-González.

Soto-Rosa, Geraldo; Ocasio-González, Victor — Sat, 01 Feb 2025 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2025
(AN 182974016); ISSN: 09335846
Academic Search Premier

Games characterizing certain families of functions.

Balcerzak, Marek; Natkaniec, Tomasz; Szuca, Piotr — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604948); ISSN: 09335846
Academic Search Premier

The Josefson–Nissenzweig theorem and filters on ω.

Marciszewski, Witold; Sobota, Damian — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604946); ISSN: 09335846
Academic Search Premier

Quantifier-free induction for lists.

Hetzl, Stefan; Vierling, Jannik — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604949); ISSN: 09335846
Academic Search Premier

On undecidability of the propositional logic of an associative binary modality.

Kaminski, Michael — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604947); ISSN: 09335846
Academic Search Premier

Katětov order between Hindman, Ramsey and summable ideals.

Filipów, Rafał; Kowitz, Krzysztof; Kwela, Adam — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604950); ISSN: 09335846
Academic Search Premier

On two consequences of CH established by Sierpiński.

Pol, R.; Zakrzewski, P. — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604951); ISSN: 09335846
Academic Search Premier

Spectral MV-algebras and equispectrality.

Barbieri, Giuseppina Gerarda; Di Nola, Antonio; Lenzi, Giacomo — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604952); ISSN: 09335846
Academic Search Premier

Positive indiscernibles.

Kamsma, Mark — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604953); ISSN: 09335846
Academic Search Premier

Pathology of submeasures and Fσ ideals.

Martínez, Jorge; Meza-Alcántara, David; Uzcátegui, Carlos — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604945); ISSN: 09335846
Academic Search Premier

Fragments of IOpen.

Kovalyov, Konstantin — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604954); ISSN: 09335846
Academic Search Premier

Separablilty of metric measure spaces and choice axioms.

Howard, Paul — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604955); ISSN: 09335846
Academic Search Premier

Glivenko–Cantelli classes and NIP formulas.

Khanaki, Karim — Fri, 01 Nov 2024 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2024
(AN 179604956); ISSN: 09335846
Academic Search Premier

Errata: on the role of the continuum hypothesis in forcing principles for subcomplete forcing.

Fuchs, Gunter — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130773); ISSN: 09335846
Academic Search Premier

On the extendability to Π30 ideals and Katětov order.

He, Jialiang; Luo, Jintao; Zhang, Shuguo — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130776); ISSN: 09335846
Academic Search Premier

Essential hereditary undecidability.

Visser, Albert — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130775); ISSN: 09335846
Academic Search Premier

Varieties of truth definitions.

Gruza, Piotr; Łełyk, Mateusz — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130774); ISSN: 09335846
Academic Search Premier

Around accumulation points and maximal sequences of indiscernibles.

Gitik, Moti — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130777); ISSN: 09335846
Academic Search Premier

On computable numberings of families of Turing degrees.

Faizrahmanov, Marat — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130778); ISSN: 09335846
Academic Search Premier

Pcf without choice Sh835.

Shelah, Saharon — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130772); ISSN: 09335846
Academic Search Premier

Indiscernibles and satisfaction classes in arithmetic.

Enayat, Ali — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130779); ISSN: 09335846
Academic Search Premier

Cohesive powers of structures.

Harizanov, Valentina; Srinivasan, Keshav — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130780); ISSN: 09335846
Academic Search Premier

Herbrandized modified realizability.

Ferreira, Gilda; Firmino, Paulo — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130781); ISSN: 09335846
Academic Search Premier

The extent of saturation of induced ideals.

Tsukuura, Kenta — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130783); ISSN: 09335846
Academic Search Premier

Square compactness and Lindelöf trees.

Marun, Pedro E. — Mon, 01 Jul 2024 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2024
(AN 178130782); ISSN: 09335846
Academic Search Premier

On diagonal functions for equivalence relations.

Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498194); ISSN: 09335846
Academic Search Premier

Stably embedded submodels of Henselian valued fields.

Touchard, Pierre — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498192); ISSN: 09335846
Academic Search Premier

On Harrop disjunction property in intermediate predicate logics.

Ishii, Katsumasa — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498193); ISSN: 09335846
Academic Search Premier

Maximal Tukey types, P-ideals and the weak Rudin–Keisler order.

Beros, Konstantinos A.; Larson, Paul B. — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498195); ISSN: 09335846
Academic Search Premier

Weak essentially undecidable theories of concatenation, part II.

Murwanashyaka, Juvenal — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498196); ISSN: 09335846
Academic Search Premier

Prenex normalization and the hierarchical classification of formulas.

Fujiwara, Makoto; Kurahashi, Taishi — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498197); ISSN: 09335846
Academic Search Premier

L-domains as locally continuous sequent calculi.

Wang, Longchun; Li, Qingguo — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498200); ISSN: 09335846
Academic Search Premier

Cut elimination for coherent theories in negation normal form.

Maffezioli, Paolo — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498199); ISSN: 09335846
Academic Search Premier

Regressive versions of Hindman's theorem.

Carlucci, Lorenzo; Mainardi, Leonardo — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498198); ISSN: 09335846
Academic Search Premier

Indestructibility and the linearity of the Mitchell ordering.

Apter, Arthur W. — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498204); ISSN: 09335846
Academic Search Premier

The second-order version of Morley's theorem on the number of countable models does not require large cardinals.

Tall, Franklin D.; Zhang, Jing — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498203); ISSN: 09335846
Academic Search Premier

Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures.

Sfouli, Hassan — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498201); ISSN: 09335846
Academic Search Premier

Vector spaces with a union of independent subspaces.

Berarducci, Alessandro; Mamino, Marcello; Mennuni, Rosario — Wed, 01 May 2024 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2024
(AN 176498202); ISSN: 09335846
Academic Search Premier

The fixed point and the Craig interpolation properties for sublogics of IL.

Iwata, Sohei; Kurahashi, Taishi; Okawa, Yuya — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799557); ISSN: 09335846
Academic Search Premier

Turing degrees and randomness for continuous measures.

Li, Mingyang; Reimann, Jan — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799554); ISSN: 09335846
Academic Search Premier

Revisiting the conservativity of fixpoints over intuitionistic arithmetic.

Granberg Olsson, Mattias; Leigh, Graham E. — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799556); ISSN: 09335846
Academic Search Premier

Herbrand complexity and the epsilon calculus with equality.

Miyamoto, Kenji; Moser, Georg — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799555); ISSN: 09335846
Academic Search Premier

A Mathias criterion for the Magidor iteration of Prikry forcings.

Ben-Neria, Omer — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799559); ISSN: 09335846
Academic Search Premier

Convergence of measures after adding a real.

Sobota, Damian; Zdomskyy, Lyubomyr — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799560); ISSN: 09335846
Academic Search Premier

Semi-honest subrecursive degrees and the collection rule in arithmetic.

Cordón-Franco, Andrés; Lara-Martín, F. Félix — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799561); ISSN: 09335846
Academic Search Premier

Computable approximations of a chainable continuum with a computable endpoint.

Iljazović, Zvonko; Jelić, Matea — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799563); ISSN: 09335846
Academic Search Premier

Superrosiness and dense pairs of geometric structures.

Boxall, Gareth J. — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799562); ISSN: 09335846
Academic Search Premier

Cut elimination by unthreading.

Pulcini, Gabriele — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799564); ISSN: 09335846
Academic Search Premier

Effective weak and vague convergence of measures on the real line.

Rojas, Diego A. — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799558); ISSN: 09335846
Academic Search Premier

Compositional truth with propositional tautologies and quantifier-free correctness.

Wcisło, Bartosz — Thu, 01 Feb 2024 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2024
(AN 174799565); ISSN: 09335846
Academic Search Premier

A criterion for the strong cell decomposition property.

Tari, Somayyeh — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019920); ISSN: 09335846
Academic Search Premier

Ranks based on strong amalgamation Fraïssé classes.

Guingona, Vincent; Parnes, Miriam — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019921); ISSN: 09335846
Academic Search Premier

Consistency and interpolation in linear continuous logic.

Malekghasemi, Mahya; Bagheri, Seyed-Mohammad — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019922); ISSN: 09335846
Academic Search Premier

Definable Tietze extension property in o-minimal expansions of ordered groups.

Fujita, Masato — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019927); ISSN: 09335846
Academic Search Premier

Questions on cardinal invariants of Boolean algebras.

Santos, Mario Jardón — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019925); ISSN: 09335846
Academic Search Premier

Mathias and silver forcing parametrized by density.

Laguzzi, Giorgio; Mildenberger, Heike; Stuber-Rousselle, Brendan — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019931); ISSN: 09335846
Academic Search Premier

The small index property for countable superatomic boolean algebras.

Truss, J. K. — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019928); ISSN: 09335846
Academic Search Premier

An AEC framework for fields with commuting automorphisms.

Hyttinen, Tapani; Kangas, Kaisa — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019929); ISSN: 09335846
Academic Search Premier

On the non-existence of κ-mad families.

Horowitz, Haim; Shelah, Saharon — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019926); ISSN: 09335846
Academic Search Premier

A syntactic approach to Borel functions: some extensions of Louveau's theorem.

Kihara, Takayuki; Sasaki, Kenta — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019930); ISSN: 09335846
Academic Search Premier

Structure of semisimple rings in reverse and computable mathematics.

Wu, Huishan — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019934); ISSN: 09335846
Academic Search Premier

Recursive Polish spaces.

Arant, Tyler — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019932); ISSN: 09335846
Academic Search Premier

On the complexity of the theory of a computably presented metric structure.

Camrud, Caleb; Goldbring, Isaac; McNicholl, Timothy H. — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019933); ISSN: 09335846
Academic Search Premier

Models of ZFA in which every linearly ordered set can be well ordered.

Howard, Paul; Tachtsis, Eleftherios — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019924); ISSN: 09335846
Academic Search Premier

Correction to: Towers, mad families, and unboundedness.

Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang — Wed, 01 Nov 2023 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2023
(AN 172019923); ISSN: 09335846
Academic Search Premier

Bachmann–Howard derivatives.

Freund, Anton — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964601); ISSN: 09335846
Academic Search Premier

Generic existence of interval P-points.

He, Jialiang; Jin, Renling; Zhang, Shuguo — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964602); ISSN: 09335846
Academic Search Premier

The structure of κ-maximal cofinitary groups.

Fischer, Vera; Switzer, Corey Bacal — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964605); ISSN: 09335846
Academic Search Premier

Glivenko sequent classes and constructive cut elimination in geometric logics.

Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964603); ISSN: 09335846
Academic Search Premier

Independent families and some notions of finiteness.

Hall, Eric; Keremedis, Kyriakos — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964604); ISSN: 09335846
Academic Search Premier

Some implications of Ramsey Choice for families of n-element sets.

Halbeisen, Lorenz; Schumacher, Salome — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964606); ISSN: 09335846
Academic Search Premier

The axiom of choice in metric measure spaces and maximal δ-separated sets.

Dybowski, Michał; Górka, Przemysław — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964612); ISSN: 09335846
Academic Search Premier

A topological completeness theorem for transfinite provability logic.

Aguilera, Juan P. — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964608); ISSN: 09335846
Academic Search Premier

Involutive symmetric Gödel spaces, their algebraic duals and logic.

Di Nola, A.; Grigolia, R.; Vitale, G. — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964610); ISSN: 09335846
Academic Search Premier

Towers, mad families, and unboundedness.

Fischer, Vera; Koelbing, Marlene; Wohofsky, Wolfgang — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964607); ISSN: 09335846
Academic Search Premier

Ideals with Smital properties.

Michalski, Marcin; Rałowski, Robert; Żeberski, Szymon — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964611); ISSN: 09335846
Academic Search Premier

Sets of real numbers closed under Turing equivalence: applications to fields, orders and automorphisms.

Ongay-Valverde, Iván — Sat, 01 Jul 2023 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2023
(AN 163964609); ISSN: 09335846
Academic Search Premier

An infinitary propositional probability logic.

Baratella, Stefano — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121316); ISSN: 09335846
Academic Search Premier

An ordinal-connection axiom as a weak form of global choice under the GCH.

Freire, Rodrigo A.; Holy, Peter — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121317); ISSN: 09335846
Academic Search Premier

Wellfoundedness proof with the maximal distinguished set.

Arai, Toshiyasu — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121318); ISSN: 09335846
Academic Search Premier

On forcing over L(R).

Cunningham, Daniel W. — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121320); ISSN: 09335846
Academic Search Premier

Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse.

Banerjee, Amitayu — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121321); ISSN: 09335846
Academic Search Premier

sQ1-degrees of computably enumerable sets.

Omanadze, Roland Sh. — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121322); ISSN: 09335846
Academic Search Premier

On the rigidity of Souslin trees and their generic branches.

Lamei Ramandi, Hossein — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121319); ISSN: 09335846
Academic Search Premier

Preservation properties for products and sums of metric structures.

Karker, Mary Leah — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121323); ISSN: 09335846
Academic Search Premier

Big Ramsey degrees in universal inverse limit structures.

Dobrinen, Natasha; Wang, Kaiyun — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121324); ISSN: 09335846
Academic Search Premier

On the topological dynamics of automorphism groups: a model-theoretic perspective.

Krupiński, Krzysztof; Pillay, Anand — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121325); ISSN: 09335846
Academic Search Premier

Tameness in generalized metric structures.

Lieberman, Michael; Rosický, Jiří; Zambrano, Pedro — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121326); ISSN: 09335846
Academic Search Premier

Towards a homotopy domain theory.

Martínez-Rivillas, Daniel O.; de Queiroz, Ruy J. G. B. — Mon, 01 May 2023 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2023
(AN 163121327); ISSN: 09335846
Academic Search Premier

Type space functors and interpretations in positive logic.

Kamsma, Mark — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360110); ISSN: 09335846
Academic Search Premier

Second order arithmetic as the model companion of set theory.

Venturi, Giorgio; Viale, Matteo — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360112); ISSN: 09335846
Academic Search Premier

Computable scott sentences for quasi–Hopfian finitely presented structures.

Paolini, Gianluca — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360114); ISSN: 09335846
Academic Search Premier

Involutive Uninorm Logic with Fixed Point enjoys finite strong standard completeness.

Jenei, Sándor — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360118); ISSN: 09335846
Academic Search Premier

Pseudointersection numbers, ideal slaloms, topological spaces, and cardinal inequalities.

Šupina, Jaroslav — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360113); ISSN: 09335846
Academic Search Premier

Filter pairs and natural extensions of logics.

Arndt, Peter; Mariano, Hugo Luiz; Pinto, Darllan Conceição — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360115); ISSN: 09335846
Academic Search Premier

A few more dissimilarities between second-order arithmetic and set theory.

Fujimoto, Kentaro — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360111); ISSN: 09335846
Academic Search Premier

Positive logics.

Shelah, Saharon; Väänänen, Jouko — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360117); ISSN: 09335846
Academic Search Premier

The additive structure of integers with the lower Wythoff sequence.

Khani, Mohsen; Zarei, Afshin — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360120); ISSN: 09335846
Academic Search Premier

Complexity of Σn0-classifications for definable subsets.

Aleksandrova, Svetlana; Bazhenov, Nikolay; Zubkov, Maxim — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360119); ISSN: 09335846
Academic Search Premier

Generalization of Shapiro's theorem to higher arities and noninjective notations.

Kalociński, Dariusz; Wrocławski, Michał — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360116); ISSN: 09335846
Academic Search Premier

Correction to: Generalization of Shapiro's theorem to higher arities and noninjective notations.

Kalociński, Dariusz; Wrocławski, Michał — Wed, 01 Feb 2023 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2023
(AN 161360121); ISSN: 09335846
Academic Search Premier

On extendability to Fσ ideals.

Kwela, Adam — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600698); ISSN: 09335846
Academic Search Premier

On decidability of amenability in computable groups.

Duda, Karol; Ivanov, Aleksander — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600695); ISSN: 09335846
Academic Search Premier

Disjunctive logic programs, answer sets, and the cut rule.

Martin, Éric — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600697); ISSN: 09335846
Academic Search Premier

Weak essentially undecidable theories of concatenation.

Murwanashyaka, Juvenal — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600696); ISSN: 09335846
Academic Search Premier

Dividing lines in unstable theories and subclasses of Baire 1 functions.

Khanaki, Karim — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600693); ISSN: 09335846
Academic Search Premier

On well-splitting posets.

Repovš, Dušan; Zdomskyy, Lyubomyr — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600694); ISSN: 09335846
Academic Search Premier

Enhancing induction in a contraction free logic with unrestricted abstraction: from Z to Z2.

Petersen, Uwe — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600700); ISSN: 09335846
Academic Search Premier

Ramsey degrees of ultrafilters, pseudointersection numbers, and the tools of topological Ramsey spaces.

Dobrinen, Natasha; Navarro Flores, Sonia — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600699); ISSN: 09335846
Academic Search Premier

Destructibility and axiomatizability of Kaufmann models.

Switzer, Corey Bacal — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600701); ISSN: 09335846
Academic Search Premier

Δ10 variants of the law of excluded middle and related principles.

Fujiwara, Makoto — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600702); ISSN: 09335846
Academic Search Premier

Implicit recursion-theoretic characterizations of counting classes.

Dal Lago, Ugo; Kahle, Reinhard; Oitavem, Isabel — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600703); ISSN: 09335846
Academic Search Premier

The existence of states based on Glivenko semihoops.

He, Pengfei; Wang, Juntao; Yang, Jiang — Tue, 01 Nov 2022 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2022
(AN 159600704); ISSN: 09335846
Academic Search Premier

Reflection and not SCH with overlapping extenders.

Gitik, Moti — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928860); ISSN: 09335846
Academic Search Premier

The covering number of the strong measure zero ideal can be above almost everything else.

Cardona, Miguel A.; Mejía, Diego A.; Rivera-Madrid, Ismael E. — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928863); ISSN: 09335846
Academic Search Premier

Monadic k×j-rough Heyting algebras.

Almiñana, Federico; Pelaitay, Gustavo — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928858); ISSN: 09335846
Academic Search Premier

Between Hilbert and Gentzen: four-valued consequence systems and structural reasoning.

Shramko, Yaroslav — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928861); ISSN: 09335846
Academic Search Premier

Many different uniformity numbers of Yorioka ideals.

Klausner, Lukas Daniel; Mejía, Diego Alejandro — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928864); ISSN: 09335846
Academic Search Premier

Remarks on weak amalgamation and large conjugacy classes in non-archimedean groups.

Malicki, Maciej — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928862); ISSN: 09335846
Academic Search Premier

Iterated multiplication in VTC0.

Jeřábek, Emil — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928865); ISSN: 09335846
Academic Search Premier

Reverse mathematics and semisimple rings.

Wu, Huishan — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928867); ISSN: 09335846
Academic Search Premier

Equivalence of generics.

Smythe, Iian B. — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928868); ISSN: 09335846
Academic Search Premier

On the isomorphism problem for some classes of computable algebraic structures.

Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928866); ISSN: 09335846
Academic Search Premier

Hindman's theorem for sums along the full binary tree, Σ20-induction and the Pigeonhole principle for trees.

Carlucci, Lorenzo; Tavernelli, Daniele — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928869); ISSN: 09335846
Academic Search Premier

Mutual algebraicity and cellularity.

Braunfeld, Samuel; Laskowski, Michael C. — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928859); ISSN: 09335846
Academic Search Premier

An alternative proof of the Hilbert-style axiomatization for the {∧,∨}-fragment of classical propositional logic.

González, Luciano J. — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928870); ISSN: 09335846
Academic Search Premier

Antichains of copies of ultrahomogeneous structures.

Kurilić, Miloš S.; Kuzeljević, Boriša — Fri, 01 Jul 2022 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2022
(AN 157928871); ISSN: 09335846
Academic Search Premier

Condensable models of set theory.

Enayat, Ali — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759500); ISSN: 09335846
Academic Search Premier

Combinatory logic with polymorphic types.

Stirton, William R — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759501); ISSN: 09335846
Academic Search Premier

Definable groups in dense pairs of geometric structures.

Berenstein, Alexander; Vassiliev, Evgueni — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759502); ISSN: 09335846
Academic Search Premier

Computability and the game of cops and robbers on graphs.

Stahl, Rachel D. — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759503); ISSN: 09335846
Academic Search Premier

Bounded inductive dichotomy: separation of open and clopen determinacies with finite alternatives in constructive contexts.

Sato, Kentaro — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759504); ISSN: 09335846
Academic Search Premier

Hanf numbers for extendibility and related phenomena.

Baldwin, John T.; Shelah, Saharon — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759505); ISSN: 09335846
Academic Search Premier

Model theory of monadic predicate logic with the infinity quantifier.

Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759506); ISSN: 09335846
Academic Search Premier

Efficient elimination of Skolem functions in LKh.

Komara, Ján — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759507); ISSN: 09335846
Academic Search Premier

Multiplicative finite embeddability vs divisibility of ultrafilters.

Šobot, Boris — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759508); ISSN: 09335846
Academic Search Premier

A note on cut-elimination for classical propositional logic.

Pulcini, Gabriele — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759509); ISSN: 09335846
Academic Search Premier

Coanalytic ultrafilter bases.

Schilhan, Jonathan — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759510); ISSN: 09335846
Academic Search Premier

A criterion for uniform finiteness in the imaginary sorts.

Johnson, Will — Sun, 01 May 2022 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2022
(AN 156759511); ISSN: 09335846
Academic Search Premier

The independence of GCH and a combinatorial principle related to Banach–Mazur games.

Brian, Will; Dow, Alan; Shelah, Saharon — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180826); ISSN: 09335846
Academic Search Premier

Degree structures of conjunctive reducibility.

Chitaia, Irakli; Omanadze, Roland — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180827); ISSN: 09335846
Academic Search Premier

Small u(κ) at singular κ with compactness at κ++.

Honzik, Radek; Stejskalová, Šárka — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180829); ISSN: 09335846
Academic Search Premier

Representability and compactness for pseudopowers.

Eisworth, Todd — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180833); ISSN: 09335846
Academic Search Premier

Does weak quasi-o-minimality behave better than weak o-minimality?

Moconja, Slavko; Tanović, Predrag — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180831); ISSN: 09335846
Academic Search Premier

Normalisation and subformula property for a system of classical logic with Tarski's rule.

Kürbis, Nils — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180828); ISSN: 09335846
Academic Search Premier

Rosenthal families, filters, and semifilters.

Repický, Miroslav — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180832); ISSN: 09335846
Academic Search Premier

On Hilbert algebras generated by the order.

Castiglioni, J. L.; Celani, S. A.; San Martín, H. J. — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180830); ISSN: 09335846
Academic Search Premier

Various forms of infinity for finitely supported structures.

Alexandru, Andrei; Ciobanu, Gabriel — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180834); ISSN: 09335846
Academic Search Premier

A boundedness principle for the Hjorth rank.

Drucker, Ohad — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180835); ISSN: 09335846
Academic Search Premier

Sprague–Grundy theory in bounded arithmetic.

Kuroda, Satoru — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180837); ISSN: 09335846
Academic Search Premier

First-order theories of bounded trees.

Kellerman, Ruaan — Tue, 01 Feb 2022 00:00:00 -0500

Archive for Mathematical Logic; 02/01/2022
(AN 155180836); ISSN: 09335846
Academic Search Premier

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization.

Takemura, Ryo — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974802); ISSN: 09335846
Academic Search Premier

Generalised stability of ultraproducts of finite residue rings.

Bello Aguirre, Ricardo Isaac — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974803); ISSN: 09335846
Academic Search Premier

Short note: Least fixed points versus least closed points.

Jäger, Gerhard — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974804); ISSN: 09335846
Academic Search Premier

Hereditary G-compactness.

Rzepecki, Tomasz — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974805); ISSN: 09335846
Academic Search Premier

Monotonic modal logics with a conjunction.

Menchón, Paula; Celani, Sergio — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974806); ISSN: 09335846
Academic Search Premier

The theories of Baldwin–Shi hypergraphs and their atomic models.

Gunatilleka, Danul K. — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974807); ISSN: 09335846
Academic Search Premier

The automorphism group and definability of the jump operator in the ω-enumeration degrees.

Ganchev, Hristo; Sariev, Andrey C. — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974808); ISSN: 09335846
Academic Search Premier

On the spectra of cardinalities of branches of Kurepa trees.

Poór, Márk — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974809); ISSN: 09335846
Academic Search Premier

Factorizing the Top–Loc adjunction through positive topologies.

Ciraulo, Francesco; Kawai, Tatsuji; Maschio, Samuele — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974810); ISSN: 09335846
Academic Search Premier

Pointwise complexity of the derivative of a computable function.

McCarthy, Ethan — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974811); ISSN: 09335846
Academic Search Premier

Proof-theoretic uniform boundedness and bounded collection principles and countable Heine–Borel compactness.

Kohlenbach, Ulrich — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974812); ISSN: 09335846
Academic Search Premier

The abstract type of the real numbers.

Ferreira, Fernando — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974813); ISSN: 09335846
Academic Search Premier

Definable connectedness of randomizations of groups.

Berenstein, Alexander; Muñoz, Jorge Daniel — Mon, 01 Nov 2021 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2021
(AN 152974814); ISSN: 09335846
Academic Search Premier

Towers and clubs.

Matet, Pierre — Sun, 01 Aug 2021 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2021
(AN 151332518); ISSN: 09335846
Academic Search Premier

Model completeness and relative decidability.

Chubb, Jennifer; Miller, Russell; Solomon, Reed — Sun, 01 Aug 2021 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2021
(AN 151332517); ISSN: 09335846
Academic Search Premier

Forcing the Mapping Reflection Principle by finite approximations.

Miyamoto, Tadatoshi; Yorioka, Teruyuki — Sun, 01 Aug 2021 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2021
(AN 151332519); ISSN: 09335846
Academic Search Premier

Interpreting the compositional truth predicate in models of arithmetic.

Cieśliński, Cezary — Sun, 01 Aug 2021 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2021
(AN 151332520); ISSN: 09335846
Academic Search Premier

Infinite decreasing chains in the Mitchell order.

Ben-Neria, Omer; Müller, Sandra — Sun, 01 Aug 2021 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2021
(AN 151332521); ISSN: 09335846
Academic Search Premier

24th Workshop on Logic, Language, Information and Computation—WoLLIC 2017.

Kennedy, Juliette; de Queiroz, Ruy — Thu, 01 Jul 2021 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2021
(AN 151252181); ISSN: 09335846
Academic Search Premier

Formalism and Hilbert's understanding of consistency problems.

Detlefsen, Michael — Thu, 01 Jul 2021 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2021
(AN 151252178); ISSN: 09335846
Academic Search Premier

Independence-friendly logic without Henkin quantification.

Barbero, Fausto; Hella, Lauri; Rönnholm, Raine — Thu, 01 Jul 2021 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2021
(AN 151252177); ISSN: 09335846
Academic Search Premier

Knowledge, behavior, and rationality: rationalizability in epistemic games.

Stambaugh, Todd; Parikh, Rohit — Thu, 01 Jul 2021 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2021
(AN 151252180); ISSN: 09335846
Academic Search Premier

On ultrafilter extensions of first-order models and ultrafilter interpretations.

Poliakov, Nikolai L.; Saveliev, Denis I. — Thu, 01 Jul 2021 00:00:00 -0400

Archive for Mathematical Logic; 07/01/2021
(AN 151252179); ISSN: 09335846
Academic Search Premier

Tree-like constructions in topology and modal logic.

Bezhanishvili, G.; Bezhanishvili, N.; Lucero-Bryan, J.; van Mill, J. — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649656); ISSN: 09335846
Academic Search Premier

Learning theory in the arithmetic hierarchy II.

Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649657); ISSN: 09335846
Academic Search Premier

Small sets in Mann pairs.

Eleftheriou, Pantelis E. — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649659); ISSN: 09335846
Academic Search Premier

Quantum logic is undecidable.

Fritz, Tobias — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649661); ISSN: 09335846
Academic Search Premier

Cichoń's diagram and localisation cardinals.

Goldstern, Martin; Klausner, Lukas Daniel — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649658); ISSN: 09335846
Academic Search Premier

A fixed-point theorem for definably amenable groups.

Carmona, Juan Felipe; Dávila, Kevin; Onshuus, Alf; Zamora, Rafael — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649660); ISSN: 09335846
Academic Search Premier

Keisler's order via Boolean ultrapowers.

Parente, Francesco — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649662); ISSN: 09335846
Academic Search Premier

The absorption law: Or: how to Kreisel a Hilbert–Bernays–Löb.

Visser, Albert — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649664); ISSN: 09335846
Academic Search Premier

Another method for constructing models of not approachability and not SCH.

Gitik, Moti — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649665); ISSN: 09335846
Academic Search Premier

Sofic profiles of S(ω) and computability.

Ivanov, Aleksander — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649666); ISSN: 09335846
Academic Search Premier

Strong downward Löwenheim–Skolem theorems for stationary logics, II: reflection down to the continuum.

Fuchino, Sakaé; Ottenbreit Maschio Rodrigues, André; Sakai, Hiroshi — Sat, 01 May 2021 00:00:00 -0400

Archive for Mathematical Logic; 05/01/2021
(AN 149649663); ISSN: 09335846
Academic Search Premier

ADR implies that all sets of reals are Θ universally Baire.

Sargsyan, Grigor — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024728); ISSN: 09335846
Academic Search Premier

Strong downward Löwenheim–Skolem theorems for stationary logics, I.

Fuchino, Sakaé; Rodrigues, André Ottenbreit Maschio; Sakai, Hiroshi — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024727); ISSN: 09335846
Academic Search Premier

Logics of left variable inclusion and Płonka sums of matrices.

Bonzio, S.; Moraschini, T.; Pra Baldi, M. — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024726); ISSN: 09335846
Academic Search Premier

First-order concatenation theory with bounded quantifiers.

Kristiansen, Lars; Murwanashyaka, Juvenal — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024730); ISSN: 09335846
Academic Search Premier

Continuous logic and embeddings of Lebesgue spaces.

McNicholl, Timothy H. — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024729); ISSN: 09335846
Academic Search Premier

Selection properties of the split interval and the Continuum Hypothesis.

Banakh, Taras — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024731); ISSN: 09335846
Academic Search Premier

Strong cell decomposition property in o-minimal traces.

Tari, Somayyeh — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024734); ISSN: 09335846
Academic Search Premier

Ring structure theorems and arithmetic comprehension.

Wu, Huishan — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024733); ISSN: 09335846
Academic Search Premier

Some complete ω-powers of a one-counter language, for any Borel class of finite rank.

Finkel, Olivier; Lecomte, Dominique — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024732); ISSN: 09335846
Academic Search Premier

On countably saturated linear orders and certain class of countably saturated graphs.

Kostana, Ziemowit — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024737); ISSN: 09335846
Academic Search Premier

A note on uniform density in weak arithmetical theories.

Pianigiani, Duccio; Sorbi, Andrea — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024736); ISSN: 09335846
Academic Search Premier

Axiomatic theory of betweenness.

Azimipour, Sanaz; Naumov, Pavel — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024738); ISSN: 09335846
Academic Search Premier

Characterising Brouwer's continuity by bar recursion on moduli of continuity.

Fujiwara, Makoto; Kawai, Tatsuji — Fri, 01 Jan 2021 00:00:00 -0500

Archive for Mathematical Logic; 01/01/2021
(AN 148024735); ISSN: 09335846
Academic Search Premier

Incomparability in local structures of s-degrees and Q-degrees.

Chitaia, Irakli; Ng, Keng Meng; Sorbi, Andrea; Yang, Yue — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325214); ISSN: 09335846
Academic Search Premier

On the independence of premiss axiom and rule.

Ishihara, Hajime; Nemoto, Takako — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325211); ISSN: 09335846
Academic Search Premier

End extensions of models of fragments of PA.

Dimitracopoulos, C.; Paschalis, V. — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325212); ISSN: 09335846
Academic Search Premier

Classifying equivalence relations in the Ershov hierarchy.

Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325213); ISSN: 09335846
Academic Search Premier

Tanaka's theorem revisited.

Bahrami, Saeideh — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325215); ISSN: 09335846
Academic Search Premier

A version of κ-Miller forcing.

Mildenberger, Heike; Shelah, Saharon — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325216); ISSN: 09335846
Academic Search Premier

Chang's Conjecture with □ω1,2 from an ω1-Erdős cardinal.

Neeman, Itay; Susice, John — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325218); ISSN: 09335846
Academic Search Premier

Classifying material implications over minimal logic.

Diener, Hannes; McKubre-Jordens, Maarten — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325217); ISSN: 09335846
Academic Search Premier

Bounded-low sets and the high/low hierarchy.

Wu, Huishan — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325221); ISSN: 09335846
Academic Search Premier

Kurepa trees and spectra of Lω1,ω-sentences.

Sinapova, Dima; Souldatos, Ioannis — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325223); ISSN: 09335846
Academic Search Premier

Ideal generalizations of Egoroff's theorem.

Repický, Miroslav — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325220); ISSN: 09335846
Academic Search Premier

Local reflection, definable elements and 1-provability.

Kolmakov, Evgeny — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325224); ISSN: 09335846
Academic Search Premier

Fields with automorphism and valuation.

Beyarslan, Özlem; Hoffmann, Daniel Max; Onay, Gönenç; Pierce, David — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325222); ISSN: 09335846
Academic Search Premier

Special ultrafilters and cofinal subsets of (ωω,<∗).

Nyikos, Peter — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325219); ISSN: 09335846
Academic Search Premier

Easton collapses and a strongly saturated filter.

Shioya, Masahiro — Sun, 01 Nov 2020 00:00:00 -0400

Archive for Mathematical Logic; 11/01/2020
(AN 146325225); ISSN: 09335846
Academic Search Premier

Rank-initial embeddings of non-standard models of set theory.

Kindvall Gorbow, Paul — Sat, 01 Aug 2020 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2020
(AN 144564317); ISSN: 09335846
Academic Search Premier

Reversibility of extreme relational structures.

Kurilić, Miloš S.; Morača, Nenad — Sat, 01 Aug 2020 00:00:00 -0400

Archive for Mathematical Logic; 08/01/2020
(AN 144564318); ISSN: 09335846
Academic Search Premier

More Results...

We have found more results for your search