yusuke1997/dblp-id-title huggingface dataset:
First-order Recognizability in finite and pseudofinite Groups
Converse dual cardinals
On cupping and Ahmad Pairs
Reducts of Structures and Maximal-Closed Permutation Groups
Note on Two Theorems of Mostowski
Two Results on Borel Orders
Provability Logics Relative to a fixed Extension of Peano Arithmetic
Creativeness and Completeness in Recursion Categories of Partial Recursive Operators
A Proof Complexity Conjecture and the Incompleteness Theorem
Mechanical Learners Pay a Price for Bayesianism
Dichotomy Result for Independence-Friendly Prefixes of generalized Quantifiers
Core models in the presence of Woodin cardinals
On the Existence of Large p-Ideals
Measurability and Degrees of Strong Compactness
Complete bipartite Partition Relations in Cohen Extensions
Splittings of effectively speedable sets and effectively levelable sets
Computational Randomness and Lowness
Equivalent Definitions of superstability in Tame Abstract Elementary Classes
Model-Theoretic Properties of Ultrafilters Built by Independent families of Functions
A Generalization of the Limit Lemma and Clopen Games
The Metamathematics of Model Theory: Discovering Language in Action
Proper Forcing and L(Real)
Omitting Types in O-Minimal Theories
Incompatible Extensions of Combinatorial Functions
Completeness of Global Intuitionistic Set Theory
Quelques Precisions sur la D.O.P. et la Profondeur d'Une Theorie
Generix never gives up
Eventually Infinite Time Turing Machine Degrees: Infinite Time Decidable Reals
Isolation and Lattice Embeddings
Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces
Trees and stationary Reflection at double Successors of Regular Cardinals
The Borel Hierarchy Theorem from Brouwer's intuitionistic perspective
Gentzenizations of Relevant Logics Without Distribution, II
Left-orderable Computable Groups
Non-Classical Foundations of Set Theory
New Relations and Separations of conjectures about Incompleteness in the finite Domain
Pair-splitting, pair-reaping and cardinal invariants of F sigma -ideals
The Algebraic Sum of Sets of Real Numbers with Strong Measure Zero Sets
On the Equivalence of Certain Consequences of the Proper Forcing Axiom
Infinite Imprimitive Homogeneous 3-Edge-Colored Complete Graphs
Definable Topological dynamics
Calibrating Determinacy strength in Levels of the Borel Hierarchy
Interpretations of Set Theory and Ordinal Number Theory
Algebraische und Logistische Untersuchungen Über Freie Verbände
Definable sets in Boolean ordered o-minimal structures. II
Thorn-forking in continuous logic
Exact Pairs for the Ideal of the k -Trivial Sequences in the Turing Degrees
A Natural Extension of Natural Deduction
Coinductive aleph 0 -Categorical Theories
Expansions which introduce no new open sets
Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977
Basic Logic: Reflection, Symmetry, Visibility
Separation Principles in the Hierarchy Theory of Pure First-Order Logic
A Direct Proof of the Feferman-Vaught Theorem and Other Preservations Theorems in Products
A geometric zero-one law
Luzin's (n) and Randomness Reflection
Universal Theories and compactly Expandable Models
Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976
Proof Systems for Probabilistic Uncertain Reasoning
Meeting of the Association for Symbolic Logic: Atlanta 1973
A Demonstrably Consistent Mathematics - Part I
Kueker's Conjecture for Stable Theories
There exists an uncountable set of pretabular extensions of the relevant logic R and each logic of this set is generated by a variety of finite height
The Forth Part of the Back and Forth Map in Countable Homogeneous Structures
Local Keisler Measures and NIP Formulas
Strong Negative Partition Above the Continuum
Automorphism-Invariant Measures on aleph 0 -Categorical Structures Without the Independence Property
Models of Logical Systems
Weak Reflection Principle, saturation of the nonstationary Ideal on ω 1 and Diamonds
Time Polynomial in Input or Output
Corrigendum to "Strong normalization proof with CPS-translation for second order classical natural deduction"
On Model-Theoretic Connected Groups
Bounded polynomials and holomorphic mappings between Convex subrings of * $\Mathbb{C}$
Strong Convergence in Finite Model Theory
Hindman's theorem, ultrafilters, and reverse mathematics
Sous-Groupes Definissables d'Un Groupe Stable
Learning correction grammars
Ample dividing
Uniformization of Linear Arrays
Tychonoff's Theorem in the Framework of Formal Topologies
A Quantitative Analysis of Modal Logic
The Ellis Group Conjecture and Variants of Definable Amenability
Axioms for Strong Reduction in Combinatory Logic
On Maximal stable Quotients of Definable Groups in NIP Theories
Comparing Incomparable Kleene Degrees
Minimal Upper Bounds for Arithmetical Degrees
Sets Constructible from Sequences of Ultrafilters
The fundamental Theorem of Central element Theory
The complexity of continuous embeddability between dendrites
Uncountable Theories that are Categorical in a Higher Power
The degree spectra of homogeneous models
Decidability and Undecidability of Theories with a Predicate for the Primes
On Models of the Elementary Theory of (Z, +, 1)
The Gergonne Relations
A form of feasible interpolation for constant depth Frege systems
Some model theory of sheaves of modules
Meeting of the Association for Symbolic Logic: San Antonio, 1987
On Predicates in Algebraically Closed Fields
Accessible Sets and (L 1) t -Equivalence for T 3 Spaces
Models of Arithmetic and Subuniform Bounds for the Arithmetic Sets
Some Two-Cardinal Results for O-Minimal Theories
Note on a System of Aqvist
Initial Self-Embeddings of Models of Set Theory
à la recherche du Tore Perdu
The Torsionfree Part of The Ziegler Spectrum of RG When R Is A Dedekind Domain and G Is A Finite Group
The Relation of A to Prov A in the Lindenbaum Sentence Algebra
The Modal Logic of -Centered forcing and Related forcing Classes
A constructive view on ergodic theorems
Note on Modal Functions
Discrete Metric Spaces: Structure, Enumeration, and 0-1 Laws
A Gentzen-Type Calculus of Sequents for Single-Operator Propositional Logic
Division rings whose vector spaces are pseudofinite
Indiscernibles and Decidable Models
Splitting stationary sets in (λ)
On canonicity and completions of weakly representable relation algebras
The field of P-ADIC numbers with a Predicate for the powers of an Integer
Structural Highness Notions
Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem
Canonization Theorems and Applications
Being low along a sequence and elsewhere
Quantum logic as motivated by quantum computing
Minimal Fields
Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions
Two Variable First-Order Logic over Ordered Domains
Diophantine Sets of polynomials over Algebraic Extensions of the Rationals
On Modal Systems Having Arithmetical Interpretations
The Baire Category Theorem and Cardinals of Countable Cofinality
A Rank for the Class of Elementary Submodels of A Superstable Homogeneous Model
Polyhedral Completeness of Intermediate Logics: the nerve criterion
Heirs of box types in polynomially bounded structures
What is the Conference Board of the Mathematical Sciences?
The Strength of Nonstandard Methods in Arithmetic
Strong tree properties for small cardinals
Model completeness of o-minimal structures expanded by Dedekind cuts
The Status of the Axiom of Choice in Set Theory with a Universal Set
A Normalization Theorem for Set Theory
Undecidable Wreath Products and Skew Power Series Fields
A Homogeneous System for Formal Logic
Some Restrictions on Simple Fixed Points of the Integers
On the Existence of Extensional Partial Combinatory Algebras
A Theorem About Infinite-Valued Sentential Logic
Finite Undecidability in NIP Fields
Universal graphs at the successor of a singular cardinal
Almost Combinatorial Skolem Functions
Degrees of Types and Independent Sequences
The Truth is Never Simple
Analytic Natural Deduction
Groupes Stables, Avec Types Generiques Reguliers
À propos d'Équations Génériques
Changing the heights of automorphism towers by forcing with Souslin trees over L
The Axiom of Determinancy Implies Dependent Choices in L(R)
European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984
Forcing and Reducibilities. II. Forcing in Fragments of Analysis
Delta 3 1 -Stability
A Class of Decidable Intermediate Propositional Logics
Bounded Martin's Maximum, Weak Erdös Cardinals and psi AC
Unification of Universes in Set Theory
Professor Goodstein's Formalisation of the Policeman
Ultrapowers Without the Axiom of Choice
Continuous isomorphisms from R onto a complete abelian group
On Parameter Free Induction Schemas
Questions About Quantifiers
On omega-Consistency and Related Properties
Deciding the chromatic numbers of Algebraic hypergraphs
On the Reduction of the Decision Problem. First Paper. Ackermann Prefix, A Single Binary Predicate
Identity, Equivalence and Isomorphism of Problems
Natural Languages, Sortal Reducibility and Generalized Quantifiers
The pointwise ergodic theorem in subsystems of second-order arithmetic
Decidability for Theories of Modules over Valuation Domains
Near-Equational and Equational Systems of Logic for Partial Functions I
Wadge Hierarchy and Veblen Hierarchy Part I: Borel Sets of Finite Rank
Yet Another Hierarchy Theorem
Predicate logics of constructive arithmetical theories
Definability in Models of Set Theory
On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus
On Ehrenfeucht-Fraïssé Equivalence of Linear Orderings
On Syntactical Categories
Spector Forcing
Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality
A System of Implicit Quantification
On the Cofinality of the Smallest Covering of the Real Line by Meager Sets
The Tukey order on compact Subsets of separable Metric Spaces
The Elementary Class of Products of Totally Ordered Abelian Groups
On the Orbits of Hyperhypersimple Sets
Consequences of the provability of NP ⊆ P/poly
A Completeness Theorem in Modal Logic
Beth's Property Fails in L < omega 1
Almost Disjoint Sets and Martin's Axiom
Polynomial Time Operations in Explicit Mathematics
A Small Reflection Principle for Bounded Arithmetic
Properly Σ 0 2 enumeration degrees and the high/low hierarchy
Equivalence Relations Invariant under Group Actions
A Correction to Lewis and Langford's Symbolic Logic
Meeting of the Association for Symbolic Logic: Auckland, 1986
Krom Formulas with One Dyadic Predicate Letter
Extensions of the Constructive Ordinals
A Universal characterization of Standard Borel Spaces
Categoricity transfer in simple finitary abstract elementary classes
A New Computation of the σ-Ordinal of KP ω
Countable Structures of Given Age
The Morley Rank of a Banach Space
On Representation Theorems for Nonmonotonic Consequence Relations
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic
Almost Local Non-a-Recursiveness
On the Strength of the Interpretation Method
The Use of Kripke's Schema as a Reduction Principle
Existence of Some Sparse Sets of Nonstandard Natural Numbers
Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory
On Generic Extensions Without the Axiom of Choice
Positional Strategies in Long Ehrenfeucht-FraïSSé Games
The Measure Quantifier
A universal extender model without large cardinals in V
Degree of Satisfiability in Heyting Algebras
Forcing closed unbounded subsets of ℵ ω 1 +1
On Finite Lattices of Degrees of Constructibility of Reals
On Cofinal Extensions of Models of Arithmetic
Admissible Ordinals and Intrinsic Consistency
sigma 2 -Collection and the Infinite Injury Priority Method
The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories
Descriptive Set Theory Over Hyperfinite Sets
Small Fields
Additive Covers and the Canonical Base Property
Some Results Concerning Strongly Compact Cardinals
Normal Measures on a Tall cardinal
A Transfer Principle in Harmonic Analysis
The Third Asian Conference in Mathematical Logic
A Simplified Account of Validity and Implication for Quantificational Logic
A Henkin-Style Proof of Completeness for First-order Algebraizable Logics
Promptness does not imply superlow cuppability
The Inconsistency of Certain Formal Logic
L = N L?
Note on a Problem of L. Henkin
The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength
Inference by Complementary Elimination
Corrigendum to: "Transfer methods for o-minimal topology"
Logic based on Inclusion and Abstraction
Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization
The Complexity of Homeomorphism Relations on some Classes of Compacta
Nineteenth Meeting of the Association for Symbolic Logic
lambda-Scales, kappa-Souslin Sets and a New Definition of Analytic Sets
An Interpolation Theorem in Many-Valued Logic
Comparisons of polychromatic and monochromatic Ramsey theory
An Infinitistic Rule of Proof
Nonfinitizability of Classes of Representable Polyadic Algebras
On Countably Closed Complete Boolean Algebras
Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets
An Elementary Definability Theorem for First Order Logic
The bounded functional interpretation of the double negation shift
Weakly Minimal Groups of Unbounded Exponent
Trichotomies for ideals of compact sets
Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik
Frege's Unofficial Arithmetic
On the Rowbottom M-Ultrafilters
Model Constructions in Stationary Logic. Part I. Forcing
The Completeness of a Predicate-Functor Logic
The Cost of A Cycle Is A Square
On the Cardinality of Ultraproduct of Finite Sets
Isolated Types in a Weakly Minimal Set
A Proof Procedure for Quantification Theory
A Structural Dichotomy in the Enumeration Degrees
Omitting Types, Type Spectrums, and Decidability
Meeting of the Association for Symbolic Logic Leeds 1967
Formalisations of Further N 0 -Valued Lukasiewicz Propositional Calculi
Uniform Inductive Definability and Infinitary Languages
Eine Bemerkung zu Henkin's Beweis fur die Vollstandigkeit des Pradikatenkalkuls der Ersten Stufe
Nondiversity in substructures
FraïSSé Limits of Metric Structures
Finitely axiomatizable strongly minimal groups
Near-Equational and Equational Systems of Logic for Partial Functions II
The Axiomatization of Arithmetic
C. C. C. Forcing without Combinatorics
Pure-Projective Modules and Positive Constructibility
The Equational Theory of CA 3 is Undecidable
Laver Indestructability and the Class of Compact Ordinals
Meeting of the Association for Symbolic Logic: Jerusalem, Israel, 1975
The Jiang-SU Algebra as a FRAïSSé Limit
The Independence of Connectives
Finite and Finitely Separable Intermediate Propositional Logics
On Strong Provability Predicates and the Associated Modal Logics
Combinatorics of Ultrafilters on Cohen and Random Algebras
eta-representation of sets and degrees
Independent Axiom Schemata for S5
The Decidability of the Kreisel-Putnam System
Constructive Order Types on Cuts
The Number of Pairwise Non-Elementary-Embeddable Models
Concerning Formulas of the Types A ->B V C, A -< (Ex)B(x)
On Splitting Stationary Subsets of Large Cardinals
A Tableau System of Proof for Predicate-Functor Logic with Identity
Properties of Independently Axiomatizable Bimodal Logics
Transfinite Ordinals in Recursive Number Theory
Completeness of MLL proof-nets w.r.t. weak distributivity
On a Condition for Cohen Extensions which Preserve Precipitous Ideals
Variations sur un THème de Aldama et Shelah
A Characterization of ML in Many-Sorted Arithmetic with Conditional Application
Finite state automata and monadic definability of singular cardinals
Hyperfinite Type Structures
Building Iteration Trees
Finite Models for Inequations
On a Theory of Weak Implications
Functions of Propositions
The order of Reflection
A Reduction Theorem for Normal Algorithms
Bar Recursion and Products of Selection Functions
Leibniz's Interpretation of His Logical Calculi
There Are 2 aleph 0 Many Almost Strongly Minimal Generalized n-gons That Do Not Interpret an Infinite Group
Logical Connectives for Intuitionistic Propositional Logic
On Modal Logic with Propositional Quantifiers
Uniqueness of Normal Proofs of Minimal Formulas
On the Uniform Computational Content of Ramsey's Theorem
Dimension Theory and Homogeneity for Elementary Extensions of a Model
Two-Dimensional Partial Orderings: Undecidability
The Reals in Core Models
A class of Fields with a Restricted Model Completeness Property
An exponential lower bound for a constraint propagation proof system based on ordered binary decision diagrams
Recursive Isomorphism Types of Recursive Boolean Algebras
Turing Machines and the Spectra of First-Order Formulas
Existentially Closed Models in the Framework of Arithmetic
A Continuous Functional with Noncollapsing Hierarchy
On the non-confluence of cut-elimination
Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers
A Note on Many-One Reducibility
Colimit Completions and the Effective Topos
Inconsistency of The Axiom of Choice with The Positive Theory GPK + infinite
Undecidability of Consequence Relation in Full non-Associative Lambek Calculus
Number of Variables Is Equivalent to Space
Projective Planes of Infinite But Isolic Order
T-Convexity and Tame Extensions
Some Filters of Partitions
On pi 1 -Automorphism of Recursive Linear Orders
THE EXPONENTIAL DIOPHANTINE PROBLEM FOR ${\mathbb {Q}}$
Degree Spectra of Relations on Computable Structures in The Presence of delta 0 2 Isomorphisms
The Strong Tree Property at Successors of singular Cardinals
Fragile Measurability
Forcings constructed along morasses
Finite Level Borel Games and a Problem Concerning the Jump Hierarchy
Infinitary Analogs of Theorems from First Order Model Theory
Replacement in Some Modal Systems
Computable Reducibility of Equivalence Relations and an Effective jump operator
Precipitous Ideals
Small substructures and decidability issues for first-order logic with two variables
Mixed Systems
Operative vs. Combinatory Spaces
Measuring Dependence in Metric Abstract Elementary Classes with perturbations
Joint Diamonds and Laver Diamonds
Some Model Theory for Game Logics
On Closed P-Sets with ccc in the Space omega *
The Pi 2 0 Enumeration Degrees Are Not Dense
Diamond at Mahlo Cardinals
Intensional models for the theory of types
Meeting of the Association for Symbolic Logic Santiago, Chile 1970
AD and Patterns of Singular Cardinals below Theta
Hierarchies Based on Objects of Finite Type
Δ 0 3 -determinacy, comprehension and induction
Remarks on an Infinitary Language with Constructive Formulas
On Resurrection Axioms
Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul
The Weak □* is Really Weaker than the Full □
Ultrafilters which Extend Measures
On the Existence of Strong Chains in P(omega 1 )/Fin
Successors of singular cardinals and coloring theorems {II}
Some Properties of Large Filters
Reduction to a Symmetric Predicate
Strict Implication, Deducibility and the Deduction Theorem
Computing strength of Structures Related to the field of Real numbers
Recursive Equivalence Types and Groups
Ramsey Cardinals, alpha-Erdös Cardinals, and the Core Model
The minimal cofinality of an ultrapower of ω and the cofinality of the symmetric groupcan be larger than +
Generalized Cohesiveness
Almost Weakly 2-Generic Sets
Scott Incomplete Boolean Ultrapowers of the Real Line
Completeness of the Propositional Calculus
Termination and Confluence in Infinitary Term Rewriting
A perfect set of reals with finite self-information
Definability of Measures and Ultrafilters
Extending Godel's Negative Interpretation to ZF
Steps Toward a Constructive Nominalism
Countable Vector Spaces with Recursive Operations. Part II
Kueker's Conjecture for Superstable Theories
Co-Immune Subspaces and Complementation in V
Functional interpretation and inductive definitions
Further Consistency and Independence Results in NF Obtained by the Permutation Method
A Remark on Free Choice Sequences and the Topological Completeness Proofs
Actions by The Classical Banach Spaces
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics
The number of openly generated Boolean algebras
Addendum to "Logic of Reduced Power Structures"
Free spectra of linear equivalential algebras
Semiproper Forcing Axiom Implies Martin Maximum but Not PFA +
Metrics for Formal Structures, with an Application to Kripke Models and their dynamics
Computable trees of Scott rank ω 1 CK , and computable approximation
Undecidability and Initial Segments of the R.E. tt-Degrees
All Intermediate Logics with Extra Axions in One Variable, Except Eight, Are Not Strongly omega-Complete
A Formal Proof of Gödel's Theorem
Effective Versions of Ramsey's Theorem: Avoiding the Cone above 0'
Supercompactness within The Projective Hierarchy
Squares, Ascent Paths, and Chain conditions
Weak Distributivity implying Distributivity
The cofinality of the infinite symmetric group and groupwise density
Substructural fuzzy logics
Dominions and Primitive positive Functions
Some Elementary Degree-Theoretic Reasons Why Structures Need Similarity Types
Groups of Morley rank 4
Correction to a Definition of Negation
Gentzenizations of Relevant Logics With Distribution
On the Number of Independent Partitions
Stable division rings
The Least Measurable Can Be Strongly Compact and Indestructible
Some Consequences of the Axiom of Power-Set
Effective Operations in a General Setting
Properties of Subtle Cardinals
Weakly Compact Cardinals in Models of Set Theory
Amalgamation of Nonstandard Models of Arithmetic
Degree Problems for Modular Machines
On dp-minimal ordered structures
On Adding (xi) to Weak Equality in Combinatory Logic
Simplified Morasses with Linear Limits
A Version of o-Minimality for the p-adics
An Extension of Computational Logic
An Algebra whose Subalgebras are characterized by density
On a Problem of C. H. Dowker
An Addition to Rosser's Theorem
Innocuous Substitutions
Variations on \Diamond
On the Number of Countable Homogeneous Models
Limit Complexities, Minimal Descriptions, and n -Randomness
Regular Enumerations
Attention a la Marche!
Elimination of Imaginaries in Ordered Abelian Groups with Bounded Regular Rank
Syntactic Characterisations of Amalgamation, Convexity and Related Properties
A proof of completeness for continuous first-order logic
An Application of Invariant Sets to Global Definability
Spaces of Types in positive Model Theory
Higher Order Reflection Principles
The Hypothesis That Infinite Classes are Similar
A constructive Galois connection between closure and interior
Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K
Prime Models and Almost Decidability
Random Models and the Maslov Class
Undefinability of Multiplication in Presburger Arithmetic with Sets of powers
Representation of Symmetric Probability Models
Forking and Fundamental Order in Simple Theories
Local Supersimplicity and Related Concepts
Definability in Number Fields
Some Results on Combinators in The System TRC
Strong Completeness of Provability Logic for Ordinal Spaces
Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability
Some Anomalies in Fitch's System QD
A sound and complete axiomatization for Dynamic Topological Logic
On the Ultrafilters and Ultrapowers of Strong Partition Cardinals
Happy and MAD families in l(ℝ)
The Inverse of a Regressive Object
Ideals and Combinatorial Principles
Note on implying
A Constructive Analysis of RM
Quantification and the Empty Domain
Recursive Functions in Basic Logic
An Interpolation Lemma for the Pure Implicational Calculus
Consistency Notions in Illative Combinatory Logic
Burgess' PV is Robinson's Q
Models Without Indiscernibles
Disturbing Arithmetic
Coordinatisation by binding groups and unidimensionality in simple theories
THE WEIHRAUCH LATTICE AT THE LEVEL OF $\boldsymbol {\Pi }^1_1{-}\mathsf{CA}_0$ : THE CANTOR-BENDIXSON THEOREM
Algebraic Theories with Definable Skolem Functions
A Simplified Ordinal Analysis of First-order Reflection
Topological dynamics and definable groups
Solovay models and forcing extensions
Completeness Theorem for Biprobability Models
Categoricity Regained