yusuke1997/dblp-id-title huggingface dataset:
A Model Complete Theory of Valued D-Fields
Recurrence and the existence of Invariant Measures
Splitting P k lambda into Stationary Subsets
Meeting of the Association for Symbolic Logic: Campinas, Brazil, 1985
Quasi-Modal Equivalence of Canonical Structures
A Computable Functor from graphs to Fields
On the Inconsistency of Systems Similar to F * 21
0-D-valued fields
On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers
The Tree Property at the two Immediate Successors of a singular cardinal
Some Independence Results for Peano Arithmetic
Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy
Closed fragments of provability logics of constructive theories
Theories D'Arbres
On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic
THE TREE PROPERTY AT ${\aleph _{{\omega ^2} + 1}}$ AND ${\aleph _{{\omega ^2} + 2}}$
Categorical Semantics of Metric Spaces and continuous Logic
Constructible Lattices of c-Degrees
Lifschitz' Realizability
Pas D'Imaginaires Dans L'Infini!
Deux Remarques a Propos de la Propriete de Recouvrement Fini
Complexity of Index Sets of Descriptive Set-Theoretic Notions
Quantum Logic associated to Finite Dimensional Intervals of Modular ortholattices
Sheaves and Normal Submodels
A dichotomy in classifying quantifiers for finite models
The Undecidability of the D A -Unification Problem
Recursive Well-Orderings
The Ziegler spectrum of the Ring of entire Complex Valued Functions
Small Universal families of graphs on ℵ ω + 1
On the Logic of Quantification
A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field
Espaces Ultrametriques
Formal Systems of Constructive Mathematics
Wildness Implies Undecidability for Lattices over Group Rings
Logics Which Capture Complexity Classes Over The Reals
More on FRéChet-Urysohn ideals
Metarecursive Sets
Killing the GCH everywhere with a single real
An Inelastic Model with Indiscernibles
Continuous Sentences Preserved under Reduced Products
Density-1-Bounding and quasiminimality in the Generic Degrees
Relation algebra reducts of cylindric algebras and complete representations
Two Weak Consequences of 0 #
Further Results on Infinite Valued Predicate Logic
Ordinal Analysis of Simple Cases of Bar Recursion
Generalizations of small profinite structures
Meeting of the Association for Symbolic Logic: Sydney, 1984
Existentially Closed Torsion-Free Nilpotent Groups of Class Three
A System of Completely Independent Axioms for the Sequence of Natural Numbers
DESTRUCTIBILITY OF THE TREE PROPERTY AT ${\aleph _{\omega + 1}}$
Grzegorcyk's Hierarchy and Iep Sigma 1
On Cantor-Bendixson Spectra Containing (1, 1) II
Groups of Finite Morley Rank with Transitive Group Automorphisms
On Initial Segments of Hyperdegrees
On the available partial respects in which an axiomatization for real valued arithmetic can recognize its consistency
Amoeba Reals
Non-Null Implication
Modal Operators and Functional Completeness, II
Metric Abstract Elementary Classes as Accessible Categories
Hyperfine structure theory and gap 1 morasses
Spectra of structures and relations
An Axiomatic Presentation of The Nonstandard Methods in Mathematics
Degrees of Recursively Enumerable Topological Spaces
Undecidable Theories of Lyndon Algebras
The PCF conjecture and large cardinals
A Functional Calculus of First Order Based on Strict Implication
Finite Sets and Frege Structures
Bohr compactifications of Groups and Rings
Toward an Inscriptional Semantics
On the Logic of Theory Change: Partial Meet Contraction and Revision Functions
The Uniqueness of Envelopes in 0 -Categorical, 0 -Stable Structures
Interpolation for extended modal languages
Some Model Theory of Abelian Groups
Post Completeness in Modal Logic
Selection in the monadic theory of a countable ordinal
Model Completeness and Omitting Types
Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions
An Extension of a Theorem of Margaris
Weakly O-Minimal Structures and Some of Their Properties
Inner Models for Set Theory-Part II
Strong density of Definable Types and closed Ordered differential Fields
QE Rings in Characteristic p n
Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory
Low level nondefinability results: Domination and recursive enumeration
Boolean Simple Groups and Boolean Simple Rings
Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic
Hypergraph sequences as a tool for saturation of ultrapowers
The Unsolvability of the Godel Class with Identity
The Model Theory of Differential Fields with Finitely Many Commuting Derivations
A topometric Effros Theorem
Associativity as commutativity
The Definability of the Extender sequence from in
First-Order Logic Based on Inclusion and Abstraction
A Theory of Restricted Quantification I
A Model and Its Subset
Generic Graph Construction
Saturating Ultrafilters on N
An Extension of Basic Logic
A Minimal Canonically Complete M-Valued Proper Logic for Each M
Alef-Symbol 0 - Categorical Structures with Arbitrarily Fast Growth of Algebraic Closure
Making the Hyperreal Line Both Saturated and Complete
Linear Orders Realized by C.E. Equivalence Relations
On the Relationship Between ATR 0 and ID <omega
Semilinear Cell Decomposition
NP search problems in low fragments of bounded arithmetic
Enayat Models of Peano Arithmetic
Frege's Theorem in A Constructive Setting
Completions of PA: Models and Enumerations of Representable Sets
Bounding Minimal Pairs
General Models and Extensionality
Corrigendum to: "On the strength of Ramsey's Theorem for pairs"
Correction to a Paper on Modal Logic
The Word Problem for Cancellation Semigroups with Zero
Simple R. E. Degree Structures
Modulated Fibring and The Collapsing Problem
A Complete, Decidable Theory with Two Decidable Models
On the Symbiosis between Model-Theoretic and Set-Theoretic Properties of Large Cardinals
Multiple Choices Imply the Ingleton and Krein-Milman Axioms
On the Nonexistence of Certain Normal Forms in the Logic of Provability
Power Types in Explicit Mathematics
Universally Baire Sets and Generic Absoluteness
A Baire-Type Theorem for Cardinals
Discouraging results for ultraimaginary independence theory
A Schematic Definition of quantum Polynomial Time Computability
Maltsev conditions for General Congruence Meet-semidistributive Algebras
A Further Consistent Extension of Basic Logic
An Application of sigma 0 4 Determinancy to the Degrees of Unsolvability
Canonical measure assignments
Continuum Cardinals Generalized to Boolean Algebras
On weak and strong interpolation in algebraic logics
Bases and alpha-Dimensions of Countable Vector Spaces with Recursive Operations
Does V Equal L?
The Canary Tree Revisited
On Sequences of Homomorphisms Into Measure Algebras and the Efimov Problem
Two New Series of Principles in the interpretability Logic of All Reasonable Arithmetical Theories
Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules
A Boundedness Theorem In mathrmID1 (W)
Quantifier Elimination in Tame Infinite p-ADIC Fields
Équivalence élémentaire et Isomorphisme des Corps de Courbe sur un Corps Algébriquement Clos
Decision Problem for Separated Distributive Lattices
Independence Results
The Perfect Set Theorem and Definable Wellorderings of the Continuum
On the Inadequacy of Inner Models
Schnorr trivial sets and truth-table reducibility
Lower Bounds for Resolution and Cutting Plane Proofs and Monotone Computations
On the Interpretation of the Sign 'subset of'
On Regular Reduced Products
Diagonally non-computable functions and bi-immunity
Addition in Nonstandard Models of Arithmetic
Undecidability of the Theories of Classes of Structures
An Ideal Game
The Existential Theory of the Pomset of r.e. Degrees with a Predicate for Single Jump Reducibility
A Note on Valuation Definable Expansions of Fields
Quasi-Truth-Functional Systems of Propositional Logic
P kappa lambda Combinatorics II: The RK Ordering Beneath a Supercompact Measure
Weakly Normal Closures of Filters on P kappa lambda
Some pathological examples of precipitous ideals
The Complexity of the Modal Predicate Logic of "True in Every Transitive Model of ZF"
On Topological Spaces Equivalent to Ordinals
Real-Valued Models with Metric Equality and Uniformly Continuous Predicates
Borovik-Poizat Rank and Stability
Meeting of the Association for Symbolic Logic Los Angeles 1971
Universal Recursion Theoretic Properties of R.E. Preordered Structures
A characterization of the 0-basis homogeneous bounding degrees
Dependent pairs
The Hahn Representation Theorem for l-Groups in ZFA
The Logic of Recursive Equations
The Structure of Graphs All of Whose Y-Sections Are Internal Sets
Combinatorics on Ideals and Forcing with Trees
The Index Set {e: W e 1 X}
A note on Hjorth's oscillation theorem
Frege Proof System and TNCdegree
Completeness in the Theory of Types
One Dimensional T.T.T Structures
Computability and the Algebra of Fields: Some Affine Constructions
Interpreting true arithmetic in the Delta 0 2 -enumeration degrees
Completeness of the Gödel-löB Provability Logic for the filter sequence of Normal Measures
Herbrand consistency of some arithmetical theories
Directed free pseudospaces
Another Variant of Natural Deduction
Corrigendum to: "Real closed fields and models of arithmetic"
On the Definition of Negation by a Fixed Proposition in Inferential Calculus
Models of Arithmetic and Upper Bounds for Arithmetic Sets
Shelah's categoricity conjecture from a successor for tame abstract elementary classes
T-height in weakly o-minimal structures
The strength of an Axiom of finite Choice for Branches in Trees
Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures
Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets
Reduction to First Degree in Quantificational S5
Proof of the Independence of the Primitive Symbols of Heyting's Calculus of Propositions
Geometry of forking in simple theories
Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C
Examples in dependent Theories
Countable Models of Multidimensional 0 -Stable Theories
SyméTries et Transvexions, Principalement dans les groupes de rang de Morley fini sans involutions
Tailoring Recursion for Complexity
Thin Equivalence Relations and Effective Decompositions
On Configurations Concerning cardinal characteristics at Regular Cardinals
Hyperclass forcing in Morse-Kelley class Theory
Recursively Enumerable Sets Which are Uniform for Finite Extensions
Universal Classes of Simple Relation Algebras
Third Meeting of the Association for Symbolic Logic
Handmade density Sets
On some Alleged Decision Procedures for S4
Set Theoretic Properties of Loeb Measure
The theory of Liouville functions
On Reduction Properties
Stationary Reflection
A Finitary Metalanguage for Extended Basic Logic
A Proof of the Associated Sheaf Theorem by Means of Categorical Logic
Bad Fields with torsion
Relational structures constructible by quantifier free definable operations
Uniformization Principles
A Note on Nominalism and Recursive Functions
On One-Based Theories
Equality in F 21
The Representations of S5
Independence, dimension and continuity in non-forking frames
The Decision Problem for Standard Classes
Homology groups of types in model theory and the computation of H 2(p)
On Formulas in which no Individual Variable occurs more than Twice
The Strength of Admissibility Without Foundation
Ideal convergence of bounded sequences
Infinite Exponent Partition Relations and Well-Ordered Choice
Dual Borel Conjecture and Cohen reals
Invariant measures on groups satisfying various chain conditions
A partial analysis of modified realizability
Up to equimorphism, hyperarithmetic is recursive
On the Consistency of an Impredicative Subsystem of Quine's NF
On the Use of Dots as Brackets in Logical Expressions
A Strengthening of Jensen's Principles
Expressing cardinality quantifiers in monadic second-order logic over chains
A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains"
Decidability of the Theory of Modules over PRüFER Domains with Infinite residue Fields
The Geometry of Weakly Minimal Types
Extending the First-Order Theory of Combinators with Self-Referential Truth
On Partitions into Stationary Sets
Distributivity and An Axiom of Choice
Sigma 1 Definitions with Parameters
Prefactory Statement to the Index Volume
Relative randomness and real closed fields
Inquisitive Bisimulation
Espaces vectoriels C-minimaux
Punctual Categoricity and Universality
Explicit Henkin Sentences
The tree property at ℵ ω+2
Internal consistency for embedding complexity
Fragments of the Propositional Calculus
An Extended Procedure in Quantificational Logic
On the Schur-Zassenhaus Theorem for Groups of Finite Morley Rank
The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implication
On Categoricity in Successive Cardinals
Meeting of the Association for Symbolic Logic: Washington, D. C., 1985
A New Version of Beth Semantics for Intuitionistic Logic
Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory
The Foundations of Suslin Logic
Fragments of Heyting Arithmetic
Constructing Types in differentially closed Fields that are analysable in the constants
A Class of Connected Theories of Order
Downward Transference of mice and Universality of Local Core Models
The geometry of non-distributive logics
Linear Orderings under One-One Reducibility
Stability Theory and Algebra
Structured pigeonhole principle, search problems and hard tautologies
Coarse Reducibility and Algorithmic Randomness
Some Combinatorics of Imperfect Information
Forcing Isomorphism II
A New Proof for Craig's Theorem
Nonstandard Characterizations of Recursive Saturation and Resplendency
Subgroups of Small Index in Infinite Symmetric Groups II
A Note on Interpretations of Many-Sorted Theories
The Consistency Strength of the Free-Subset Property for omega omega
A Contractionless Semilattice Semantics
Hierarchies of (Virtual) Resurrection Axioms
omega-Homomorphisms and omega-Groups
Decisive creatures and large continuum
Boolean Valued Lie Algebras
Closures in Alef-Symbol 0 -Categorical Bilinear Maps
Computability of Fraïssé limits
The ground axiom
On Nonstandard Models in Higher Order Logic
Index Sets in Ershov's Hierarchy
Nonaxiomatizability Results for Infinitary Systems
Shortening Clopen Games
A Noninitial Segment of Index Sets
Models of Set Theory with More Real Numbers than Ordinals
Sur Les Types Des Propositions Composées
Stabilité Polynômiale des Corps Différentiels
Classification theory and 0 #
Reduction to a Dyadic Predicate
sigma 1 Compactness for Next Admissible Sets
Characterising Subsets of omega 1 Constructible from a Real
Cardinal invariants and the collapse of the continuum by Sacks forcing
Fine Hierarchies and Boolean Terms
Coding in graphs and linear Orderings
The basic intuitionistic logic of proofs
Minimal Upper Bounds for Ascending Sequences of alpha-Recursively Enumerable Degrees
A Counterexample in the Theory of Model Companions
Pebble Games and linear equations
A Purely Topological Form of Non-Aristotelian Logic
Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees
Sentences True in All Constructive Models
Substance and First-Order Quantification Over Individual-Concepts
A delta 0 2 Set with No Infinite Low Subset in Either It or Its Complement
A Note on The Model Theory of Generalized Polygons
A Note On Equational Theories
The generalised type-theoretic interpretation of constructive set theory
The Modal Logic of Inner Models
On Axiomatising Products of Kripke Frames
A Characterization of Jump Operators
Locally Countable Models of sigma 1 -Separation
Prikry Forcing at kappa + and Beyond
The Equivalence of the Disjunction and Existence Properties for Modal Arithmetic
Godel's Second Incompleteness Theorem for Q
Isomorphism on HYP
Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981
T-Convexity and Tame Extensions II
Some Theorems on Extensions of Arithmetic
Distinguishing types of gaps in (omega)/fin
Diversity of Speed-Ups and Embeddability in Computational Complexity
Notions of compactness for special subsets of R I and some weak forms of the axiom of choice
Minimum Models of Analysis
0 # and Inner Models
Sentences Implying Their Own Provability
Minimal Axiomatic Frameworks for Definable Hyperreals with Transfer
Two Semantical Paradoxes
Pseudo-finite Sets, Pseudo-O-Minimality
An Introduction to gamma-Recursion Theory (Or What to Do in KP-Foundation)
UNIVERSAL CLASSES NEAR ${\aleph _1}$
Reduced Products and Nonstandard Logics
Quantification Theory and Empty Individual-Domains
Determinacy of Schmidt's Game and Other Intersection Games
Mathias forcing and Combinatorial Covering Properties of filters
Functors and Ordinal Notations. II: A Functorial Construction of the Bachmann Hierarchy
The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras
The modal logic of affine planes is not finitely axiomatisable
European Meeting of the Association for Symbolic Logic, Kiel, Federal Republic of Germany, 1974
Degrees of Classes of RE Sets
Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien
On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories
Borel's conjecture in topological groups
A Proof of the Cut-Elimination Theorem in Simple Type Theory
On Recursive Enumerability with Finite Repetitions
A Formulation of the Simple Theory of Types
Euclidean numbers and Numerosities
The Elimination of De Re Modalities
On metric types that are definable in an o-minimal structure
AN ANALYSIS OF THE MODELS $L[T_{2n} ]$
Finite Variable Logic, Stability and Finite Models
On the Kleene Degrees of pi 1 1 Sets
Sets with no Subset of Higher Degrees
Rabin's Uniformization Problem
A Borel Reducibility Theory for Classes of Countable Structures
Free Amalgamation and automorphism Groups
On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic
Mathematics and Natural Science
E, R, and gama
Uniform Procedures in uncountable Structures
Maximality in Effective Topology
Semilattices and the Ramsey Property
Banach Games
The Inadequacy of the Neighbourhood Semantics for Modal Logic
Some Contrasts between Degrees and the Arithmetical Hierarchy
Minimum Models of second-order Set Theories
On Nontrivial Types of U-Rank
Epistemic models of shallow depths and decision making in games: Horticulture
Lawvere's Basic Theory of the Category of Categories
Interpolation Theorems for L 2+ k, k
On Simplifying Truth-Functional Formulas
Tensor Product and Theories of Modules
On changing cofinality of partially ordered sets
A parametric, Resource-Bounded Generalization of löB's Theorem, and a robust Cooperation criterion for Open-Source Game Theory
Morasses and the Levy-Collapse
On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines
Axiom Schemes for M-Valued Functional Calculi of First Order: Part I. Definition of Axiom Schemes and Proof of Plausibility
Forking, Imaginaries, and other Features of Acfgacfg\Text {Acfg}
Polynomial Size Proofs of the Propositional Pigeonhole Principle
An incomplete set of shortest descriptions
Finite Powers of Strong Measure Zero Sets
An Interpretation of Martin-Lof's Type Theory in a Type-Free Theory of Propositions
A continuous movement version of the Banach - Tarski paradox: A solution to de Groot's Problem
Uniform Definability of Integers in Reduced indecomposable Polynomial Rings
Closed and Unbounded Classes and the HäRtig Quantifier Model
Théories d'Algébres de Boole Munies d'Idéaux Distingués, II
Two Examples Concerning Existential Undecidability in Fields
PI 1 1 -CA 0 and Order Types of Countable Ordered Groups
Cardinal invariants of monotone and porous sets
Cardinal-preserving extensions
Baire reductions and good Borel reducibilities
Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires
Fragments of bounded arithmetic and the lengths of proofs
Interpreting Groups in omega-Categorical Structures
On Non-Wellfounded Iterations of The Perfect Set Forcing
The Beth-Closure of L(Q alpha ) Is Not Finitely Generated
Implicational Complexity in Intuitionistic Arithmetic
Differential-Algebraic jet Spaces Preserve Internality to the Constants
Relatively exchangeable Structures
A Choice Free Theory of Dedekind Cardinals
Quotients of strongly Proper Forcings and Guessing Models
Successors of Singular Cardinals and Measurability Revisited
The Problem of Interpreting Modal Logic
On the Relative Consistency of Set Theory
Some results about (+) proved by iterated forcing
Jump Equivalence of the triangle 0 2 Hyperhyperimmune Sets
On the Consistency of an Axiom of Enumerability
An Escape from Vardanyan's Theorem
On the Axioms of Order and Succession
Subformula Property in Many-Valued Modal Logics
STRONG MEASURE ZERO SETS ON $2^\kappa $ FOR $\kappa $ INACCESSIBLE
Observations Concerning Elementary Extensions of omega-Models. II
Reducts of stable, CM-trivial theories
Projective well-orderings and bounded forcing axioms
Noncappable Enumeration Degrees Below 0' e
The Noncommutativity of Random and Generic Extensions
Bi-isolation in the d.c.e. degrees
Matrix Development of the Calculus of Relations
Groundwork for Weak Analysis
The Degrees Below A 1-Generic Degree < 0?
Categoricity and Ranks
Infinitary Combinatorics and Modal Logic
Real closed fields and models of Peano arithmetic
Failures of the Silver Dichotomy in the generalized Baire Space
Internal consistency and global co-stationarity of the ground model
Some Model Theory for Almost Real Closed Fields
Iterative differential Galois theory in positive characteristic: A model theoretic approach
The Complexity of The Collection of Countable Linear Orders of The Form I + I
On mathematical instrumentalism
A Guide to Truth Predicates in the Modern Era
Examples in the Theory of Existential Completeness
Lexicographic exponentiation of chains
Effectivity and effective continuity of multifunctions
Controlling the Dependence Degree of a Recursive Enumerable Vector Space
Automorphisms of Supermaximal Subspaces
Skolem Functions and Elementary Embeddings
The range property fails for H
A Hierarchy of Maps Between Compacta
Well Ordering Principles and -Statements: a Pilot Study
Lebesque Measure Zero Subsets of the Real Line and an Infinite Game
Berkeley Cardinals and the Structure of l(Vδ+1)
Existence of Classes and Value Specification of Variables
A note on subsystems of open induction
A la recherche de la definition de la complexite d'espace pour le calcul des polynomes a la maniere de Valiant
On the Computational Content of the Axiom of Choice
Confinitary Groups, Almost Disjoint and Dominating Families
Note on a Device of Quine and Goodman
First order properties on nowhere dense structures
Rangs et Types de Rang Maximum Dans Les Corps Différentiellement Clos
The Role of Parameters in Bar Rule and Bar Induction
Special groups whose isometry relation is a finite union of cosets
Finite Sets in Quine's New Foundations
Eulerian Syllogistic
Groups definable in linear o-minimal structures: the non-compact case
Intensional Logic and Two-Sorted Type Theory
On Easton Support Iteration of Prikry-Type forcing Notions
Free Set Algebras Satisfying Systems of Equations
Definability in Reducts of Algebraically Closed Fields
Σ 1 1 -definability at uncountable regular cardinals
Splittings and the Finite Model Property
The Model of Set Theory Generated by Countably Many Generic Reals
Some Remarks on Changing Cofinalities
A Complete Theory of Natural, Rational, and Real Numbers
Antitheses in Systems of Relevant Implication
Expansions of o-minimal structures by fast sequences
Countable Structures, Ehrenfeucht Stratagies, and Wadge Reductions
A Weak Completeness Theorem for Infinite Valued First-Order Logic
An Algebraic Study of Diodorean Modal Systems
A Spector-Gandy Theorem for cPC d(A) Classes
On Spectra, and the Negative Solution of the Decision Problem for Identities having a Finite Nontrivial Model
A question of van den Dries and a theorem of Lipshitz and Robinson; not everything is standard
There are not Exactly Five Objects
Bi-Interpretation in Weak Set Theories
Two step iteration of almost disjoint families